Publications
Alphabetical satisfiability problem for trace equations. Acta Cybernetica. 2009;19(2):479-497.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
Amalgams of inverse semigroups and reversible two-counter machines. J. Pure Appl. Algebra. 2013;217:585-597.
Amalgams of inverse semigroups and reversible two-counter machines. Journal of Pure and Applied Algebra. 2013;217(4):585-597.
Amalgams vs Yamamura’s HNN-extensions of inverse semigroups. Algebra Colloquium. 2011;18(4):647-657.Edit
Bicyclic subsemigroups in amalgams of finite inverse semigroups. International Journal of Algebra and Computation. 2010;20(1):89-113.
Decidability of the word problem in Yamamura’s HNN extensions of finite inverse semigroups. Semigroup Forum. 2008;77:163-186.Edit
Finitely generated synchronizing automata. In: Language and Automata Theory and Applications, LATA 2009. Vol LNCS, 5457.; 2009. 6. p. 672-683p. Edit
Fixed points of endomorphisms of graph groups. J. Group Theory. 2013;16:573-583.Edit
Fixed points of Endomorphisms of Graph Groups. Journal of Group Theory. 2013;16(4):573-583.
[2012-32] Fixed points of endomorphisms of trace monoids .
Fixed points of endomorphisms of trace monoids. Semigroup Forum. 2014;89:266-279.
A geometric approach to (semi)-groups defined by automata via dual transducers. Geometriae Dedicata. In Press.Edit
Groups and Semigroups Defined by Colorings of Synchronizing Automata. International Journal of Algebra and Computation. In Press.Edit
Ideal regular languages and strongly connected synchronizing automata. Theoretical Computer Science. 2016;653:97-107.
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.
Maximal subgroups of amalgams of finite inverse semigroups. Semigroup Forum. In Press.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
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.