Publications
Incremental DFA Minimisation. In: Domaratzki M, Salomaa K, editors. Proceedings of the 15th International Conference on Implementation and Application of Automata (CIAA 2010). Winnipeg, MA, Canada; 2011. 3. p. 39-48p. Edit
Semidirectly closed pseudovarieties of locally trivial semigroups. Semigroup Forum. 1990;40:315-323.Edit
Complete reducibility of systems of equations with respect to $\ssf R$. Port. Math. (N.S.). 2007;64:445-508.Edit
The equational theory of ω-terms for finite $\scr R$-trivial semigroups. In: Semigroups and languages. World Sci. Publ., River Edge, NJ; 2004. 1. p. 1-22p. Edit
On the hyperdecidability of semidirect products of pseudovarieties. Comm. Algebra. 1998;26:4065-4077.Edit
A syntactical proof of locality of DA. Internat. J. Algebra Comput.. 1996;6:165-177.Edit
[2017-1] The linear nature of pseudowords .Edit
Some pseudovariety joins involving the pseudovariety of finite groups. Semigroup Forum. 1988;37:53-57.Edit
On the equation $\bf V\ast\bf G=\scr E\,\bf V$. J. Pure Appl. Algebra. 2002;166:1-28.Edit
A wavelet-based method for assessing fetal cardiac rhythms from abdominal ECGs. In: Computing in Cardiology. Vol 40.; 2013. 2. p. 289-292p. Edit
Locally commutative power semigroups and counting factors of words. Theoret. Comput. Sci.. 1993;108:3-16.Edit
On the transition semigroups of centrally labeled Rauzy graphs. Internat. J. Algebra Comput.. 2012;22:1250018, 25.Edit
Syntactic and global semigroup theory: a synthesis approach. In: Algorithmic problems in groups and semigroups (Lincoln, NE, 1998). Birkhäuser Boston, Boston, MA; 2000. 1. p. 1-23p. (Trends Math.).Edit
Overlapping of words in rational languages. In: Combinatorics on words (Waterloo, Ont., 1982). Academic Press, Toronto, ON; 1983. 1. p. 119-131p. Edit
Implicit operations on finite $\scr J$-trivial semigroups and a conjecture of I. Simon. J. Pure Appl. Algebra. 1991;69:205-218.Edit
[2008-21] Rational Codes and Free Profinite Monoids .Edit
Representation theory of finite semigroups, semigroup radicals and formal language theory. Trans. Amer. Math. Soc.. 2009;361:1429-1461.Edit
A wavelet-based method for assessing fetal cardiac rhythms from abdominal ECGs. In: Computing in Cardiology Conference (CinC), 2013. Spain, Zaragoza: IEEE; 2013. 2. p. 289-292p. Edit
[2017-9] Towards a pseudoequational proof theory .Edit
The gap between partial and full. Internat. J. Algebra Comput.. 1998;8:399-430.Edit