Publications
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
A Hitchhiker's Guide to descriptional complexity through analytic combinatorics. Theoret. Comput. Sci.. 2014;528:85-100.Edit
[2014-37] Kleene Algebra Completeness DCC-FC & CMUP, Universidade do Porto .Edit
On the average number of states of partial derivative automata. In: Developments in language theory. Vol 6224. Springer, Berlin; 2010. 1. p. 112-123p. (Lecture Notes in Comput. Sci.; vol 6224).Edit
[2014-36] Derivative Based Methods for Deciding SKA and SKAT DCC-FC & CMUP, Universidade do Porto .Edit
Automata for Regular Expressions with Shuffle. Information and Computation. 2017.
On the Average Size of Glushkov and Partial Derivative Automata. International Journal of Foundations of Computer Science. 2012;23:969-984.
Partial Derivative Automaton for Regular Expressions with Shuffle. In: Shallit J, Okhotin A, editors. Proceedings of the 17th Int. Workshop on Descriptional Complexity of Formal Systems (DCFS15). Springer; 2015. 2. p. 21-32p. Edit
On the Average Size of Glushkov and Equation Automata for KAT Expressions. In: FCT. United Kingdom, Liverpool: Springer; 2013. 7. p. 72-83p.
[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
On subgroup depth. Int. Electron. J. Algebra. 2011;9:133-166.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 irreducible subgroups of simple algebraic groups. Mathematische Annalen. 2017;367(3-4):1259-1309.Edit
Irreducible almost simple subgroups of classical algebraic groups. Memoirs of the American Mathematical Society. 2015;236:vi+110.Edit