| 2013 | Amalgams of inverse semigroups and reversible two-counter machines |
Journal of Pure and Applied Algebra | 2013 | article | ||
| 2013 | Fixed points of endomorphisms of graph groups |
Journal of Group Theory | 2013 | article | ||
| 2013 | Regular ideal languages and synchronizing automata |
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) | 2013 | inproceedings | ||
| 2012 | A stochastic continuous cellular automata traffic flow model with a multi-agent fuzzy system |
Proceedings of Ewgt 2012 - 15th Meeting of the Euro Working Group on Transportation | 2012 | inproceedings | ||
| 2012 | Amalgams of finite inverse semigroups and deterministic context-free languages |
Semigroup Forum | 2012 | article | ||
| 2011 | Amalgams vs Yamamura's HNN-Extensions of Inverse Semigroups |
Algebra Colloquium | 2011 | article | ||
| 2011 | Multilinear Equations in Amalgams of Finite Inverse Semigroups |
International Journal of Algebra and Computation | 2011 | article | ||
| 2011 | Never minimal automata and the rainbow bipartite subgraph problem |
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) | 2011 | inproceedings | ||
| 2011 | Recognizing synchronizing automata with finitely many minimal synchronizing words is PSPACE-complete |
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) | 2011 | inproceedings | ||
| 2011 | State Complexity of Code Operators |
International Journal of Foundations of Computer Science | 2011 | article | ||
| 2011 | Synchronizing automata with finitely many minimal synchronizing words |
Information and Computation | 2011 | article | ||
| 2010 | Bicyclic Subsemigroups in Amalgams of Finite Inverse Semigroups |
International Journal of Algebra and Computation | 2010 | article | ||
| 2010 | State Complexity of Prefix, Suffix, Bifix and Infix Operators on Regular Languages |
Developments in Language Theory | 2010 | inproceedings | ||
| 2009 | Alphabetical satisfiability problem for trace equations |
Acta Cybernetica | 2009 | inproceedings | ||
| 2009 | Finitely Generated Synchronizing Automata |
Language and Automata Theory and Applications | 2009 | inproceedings | ||
| 2008 | Decidability of the word problem in Yamamura's HNN extensions of finite inverse semigroups |
Semigroup Forum | 2008 | article | ||
| 2008 | HNN-estensioni ed amalgami di semigruppi inversi finiti |
Matematica nella Societa e nella Cultura | 2008 | article | ||
| 2008 | Mortality problem for 2x2 integer matrices |
Sofsem 2008: Theory and Practice of Computer Science | 2008 | inproceedings |
