Publications
Decidability of the word problem in Yamamura’s HNN extensions of finite inverse semigroups. Semigroup Forum. 2008;77:163-186.Edit
Mortality problem for 2 × 2 integer matrices. In: Current Trends in Theory and Practice of Computer Science, SOFSEM 2008. Vol LNCS, 4910.; 2008. 4. p. 400-405p. Edit
Alphabetical satisfiability problem for trace equations. Acta Cybernetica. 2009;19(2):479-497.Edit
Finitely generated synchronizing automata. In: Language and Automata Theory and Applications, LATA 2009. Vol LNCS, 5457.; 2009. 6. p. 672-683p. Edit
Bicyclic subsemigroups in amalgams of finite inverse semigroups. International Journal of Algebra and Computation. 2010;20(1):89-113.
State complexity of prefix, suffix, bifix and infix op- erators on regular languages. Vol LNCS, 6224 2010.Edit
Amalgams vs Yamamura’s HNN-extensions of inverse semigroups. Algebra Colloquium. 2011;18(4):647-657.Edit
Multilinear equations in amalgams of finite inverse semigroups. International Journal of Algebra and Computation. 2011;21(1-2):35-59.Edit
Never minimal automata and the rainbow bipartite sub- graph problem. In: Development in Language Theory, DLT 2011. Vol LNCS, 6795.; 2011. 3. p. 374-385p.
Recognizing Synchronizing Automata with Finitely Many Minimal Synchronizing Words is PSPACE-Complete. In: Computability in Europe, CiE 2011. Vol LNCS, 6735.; 2011. 2. p. 230-238p. Edit
State complexity for code operators. International Journal of Foundations of Computer Science. 2011;22(7):1669-1681.Edit
Synchronizing automata with finitely many minimal synchronizing words. Information and Computation. 2011;209(3):568-579.Edit
Amalgams of finite inverse semigroups and deterministic context-free languages. Semigroup Forum. 2012;85(1):129-146.Edit
Amalgams of finite inverse semigroups and deterministic context-free languages. Semigroup Forum. 2012;85(1):129-146.Edit
[2012-32] Fixed points of endomorphisms of trace monoids .
A stochastic continuous cellular automata traffic flow model with a multi-agent fuzzy system. In: EWGT2012 - 15th Meeting of the EURO Working Group on Transportation, September 2012, Paris. Vol Procedia - Social and Behavioral Sciences vol. 54.; 2012. p. pp. p. 1350-1359p. Edit
Amalgams of inverse semigroups and reversible two-counter machines. Journal of Pure and Applied Algebra. 2013;217(4):585-597.
Amalgams of inverse semigroups and reversible two-counter machines. J. Pure Appl. Algebra. 2013;217:585-597.
Fixed points of Endomorphisms of Graph Groups. Journal of Group Theory. 2013;16(4):573-583.
Fixed points of endomorphisms of graph groups. J. Group Theory. 2013;16:573-583.Edit
The Language of Initially Connected Deterministic Finite Automata (Extended Abstract). In: Proceedings of 14th Italian Conference on Theoretical Computer Science.; 2013. 1. p. 179-184p.