Alessandra Cherubini

Nicoletta Sabadini

Simone Tini

Theor. Comput. Sci., 2021

2020

Some completely semisimple HNN-extensions of inverse semigroups.

[BibT_eX]

[DOI]

Mohammed Abu Ayyash

Int. J. Algebra Comput., 2020

2017

Composing short 3-compressing words on a 2-letter alphabet.

[BibT_eX]

[DOI]

Zuhua Liu

Discret. Math. Theor. Comput. Sci., 2017

2016

Recognizing 3-collapsing words over a binary alphabet.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 2016

2014

Binary 3-compressible automata.

[BibT_eX]

[DOI]

Proceedings of the 15th Italian Conference on Theoretical Computer Science, 2014

2013

Expressiveness and complexity of regular pure two-dimensional context-free languages.

[BibT_eX]

[DOI]

Marcello M. Bersani

Int. J. Comput. Math., 2013

2011

Multilinear Equations in Amalgams of Finite Inverse Semigroups.

[BibT_eX]

[DOI]

C. Nuccio

Emanuele Rodaro

Int. J. Algebra Comput., 2011

A unifying approach to picture grammars.

[BibT_eX]

[DOI]

Inf. Comput., 2011

On Some Classes of 2D Languages and Their Relations.

[BibT_eX]

[DOI]

Marcello M. Bersani

Proceedings of the Combinatorial Image Analysis - 14th International Workshop, 2011

Short 3-Collapsing Words over a 2-Letter Alphabet.

[BibT_eX]

[DOI]

Brunetto Piochi

Proceedings of the Developments in Language Theory - 15th International Conference, 2011

2009

Collapsing words, permutation conditions and coherent colorings of trees.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 2009

On the length of shortest 2-collapsing words.

[BibT_eX]

[DOI]

Brunetto Piochi

Discret. Math. Theor. Comput. Sci., 2009

Alphabetical Satisfiability Problem for Trace Equations.

[BibT_eX]

[DOI]

Acta Cybern., 2009

Picture Languages: From Wang Tiles to 2D Grammars.

[BibT_eX]

[DOI]

Proceedings of the Algebraic Informatics, Third International Conference, 2009

2008

Regional Languages and Tiling: A Unifying Approach to Picture Grammars.

[BibT_eX]

[DOI]

Proceedings of the Mathematical Foundations of Computer Science 2008, 2008

NP-completeness of the alphabetical satisfiability problem for trace equations.

[BibT_eX]

Proceedings of the Automata and Formal Languages, 12th International Conference, 2008

2007

Generalizing T-Conorms to Face Saturation in Mamdani Fuzzy Inference Systems.

[BibT_eX]

[DOI]

Mario Arrigoni Neri

Int. J. Uncertain. Fuzziness Knowl. Based Syst., 2007

Regular Languages and Associative Language Descriptions.

[BibT_eX]

[DOI]

Marcella Anselmo

Discret. Math. Theor. Comput. Sci., 2007

Development of a multimode navigation system for an assistive robotics project.

[BibT_eX]

[DOI]

Proceedings of the 2007 IEEE International Conference on Robotics and Automation, 2007

2006

Picture languages: Tiling systems versus tile rewriting grammars.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 2006

A Combinatorial Approach to Collapsing Words.

[BibT_eX]

[DOI]

Proceedings of the Mathematical Foundations of Computer Science 2006, 2006

Recognizing Collapsing Words is co-NP-Complete.

[BibT_eX]

Proceedings of the 8th International Workshop on Descriptional Complexity of Formal Systems - DCFS 2006, Las Cruces, New Mexico, USA, June 21, 2006

The ASPICE project: inclusive design for the motor disabled.

[BibT_eX]

[DOI]

Fabio Aloise

Febo Cincotti

Fabio Babiloni

Maria Grazia Marciani

Proceedings of the working conference on Advanced visual interfaces, 2006

2005

A Complete Formulation of Generalized Affine Equivalence.

[BibT_eX]

[DOI]

Proceedings of the Theoretical Computer Science, 9th Italian Conference, 2005

A formal approach supporting the specification and verification of business conversation requirements.

[BibT_eX]

Proceedings of the AC 2005, 2005

2004

On the Generalized Linear Equivalence of Functions Over Finite Fields.

[BibT_eX]

[DOI]

Marco Macchetti

Proceedings of the Advances in Cryptology, 2004

2003

Image reducing words and subgroups of free groups.

[BibT_eX]

[DOI]

Dimitry S. Ananichev

Mikhail V. Volkov

Theor. Comput. Sci., 2003

Timing in the Cospan-Span Model.

[BibT_eX]

[DOI]

Nicoletta Sabadini

Robert F. C. Walters

Proceedings of the Workshop of the COMETA Project on Computational Metamodels, 2003

2002

Associative language descriptions.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 2002

An Inverse Automata Algorithm for Recognizing 2-Collapsing Words.

[BibT_eX]

[DOI]

Dimitry S. Ananichev

Mikhail V. Volkov

Proceedings of the Developments in Language Theory, 6th International Conference, 2002

2001

Some Structural Properties of Associative Language Descriptions.

[BibT_eX]

[DOI]

Proceedings of the Theoretical Computer Science, 7th Italian Conference, 2001

2000

Tree Adjoining Languages and Multipushdown Languages.

[BibT_eX]

[DOI]

Theory Comput. Syst., 2000

1999

Modeling Operating Systems Schedulers with Multi-Stack-Queue Grammars.

[BibT_eX]

[DOI]

Proceedings of the Fundamentals of Computation Theory, 12th International Symposium, 1999

1996

A Polynomial-Time Parsing Algorithm for K-Depth Languages.

[BibT_eX]

[DOI]

J. Comput. Syst. Sci., 1996

Multi-Push-Down Languages and Grammars.

[BibT_eX]

[DOI]

Int. J. Found. Comput. Sci., 1996

1995

Deterministic Parsing for Augmented Context-free Grammars.

[BibT_eX]

[DOI]

Proceedings of the Mathematical Foundations of Computer Science 1995, 1995

1993

Fair First Languages and Parallel Programme Schemes.

[BibT_eX]

Proceedings of the Developments in Language Theory, 1993

1992

Real-Time Scheduling by Queue Automata.

[BibT_eX]

[DOI]

Proceedings of the Formal Techniques in Real-Time and Fault-Tolerant Systems, 1992

1991

QRT FIFO Automata, Breath-First Grammars and Their Relations.

[BibT_eX]

[DOI]

Dino Mandrioli

Theor. Comput. Sci., 1991

1990

Breath and Depth Grammars and Deque Automata.

[BibT_eX]

[DOI]

Dino Mandrioli

Int. J. Found. Comput. Sci., 1990

1989

An Integrated Expert-System Builder.

[BibT_eX]

[DOI]

IEEE Softw., 1989

1988

Breadth-First Phrase Structure Grammars and Queue Automata.

[BibT_eX]

[DOI]

E. Allevi