Publications
On the Equivalence of Automata for KAT-expressions. Vol 8493. Beckmann A, Csuhaj-Varjú E, Meer K, editors 2014.Edit
Automata for Regular Expressions with Shuffle. Information and Computation. 2017.
Average Size of Automata Constructions from Regular Expressions. Bulletin of the European Association for Theoretical Computer Science. 2015:167-192.Edit
Deciding Synchronous Kleene Algebra with Derivatives. In: Drewes F, editor. Implementation and Application of Automata, 20th International Conference (CIAA 2015). Vol 9223.; 2015. 4. p. 49-62p. (LNCS; vol 9223).Edit
On the Average Complexity of Strong Star Normal Form. In: Pighizzini G, Câmpeanu C, editors. Description Complexity of Formal Systems (DCFS 2017). Vol 10316. Springer; 2017. 7. p. 77-88p. (LNCS; vol 10316).Edit
[2014-37] Kleene Algebra Completeness DCC-FC & CMUP, Universidade do Porto .Edit
On the Average Size of Glushkov and Partial Derivative Automata. International Journal of Foundations of Computer Science. 2012;23:969-984.
On the Average Size of Glushkov and Equation Automata for KAT Expressions. In: FCT. United Kingdom, Liverpool: Springer; 2013. 7. p. 72-83p.
On the Mother of All Automata: the Position Automaton. In: Developments in Language Theory.; 2017. Edit
[2014-36] Derivative Based Methods for Deciding SKA and SKAT DCC-FC & CMUP, Universidade do Porto .Edit
[2008-41] Equilibrium staes for interval maps: potentials with $\sup \phi - \inf \phi < \htop(f)$ .Edit
[2007-24] Return time statistics for invariant measures for interval maps with positive Lyapounov exponent .Edit
Partitions of a finite Boolean lattice into intervals. European J. Combin.. 2009;30:1801-1809.Edit
Integral Appell $F_3$-transformation with respect to parameters. In: Complex analysis and applications '85 (Varna, 1985). Publ. House Bulgar. Acad. Sci., Sofia; 1986. 1. p. 135-140p. Edit
Non-commutative integral forms and twisted multi-derivations. J. Noncommut. Geom.. 2010;4:289-312.Edit
Minimal presentations for monoids with the ascending chain condition on principal ideals. Semigroup Forum. 2012;85:185-190.Edit
Subgroups of depth three. In: Surveys in differential geometry. Volume XV. Perspectives in mathematics and physics. Vol 15. Int. Press, Somerville, MA; 2011. 1. p. 17-36p. Edit
On subgroup depth. Int. Electron. J. Algebra. 2011;9:133-166.Edit
Irreducible almost simple subgroups of classical algebraic groups. Memoirs of the American Mathematical Society. 2015;236:vi+110.Edit
On irreducible subgroups of simple algebraic groups. Mathematische Annalen. 2017;367(3-4):1259-1309.Edit