Publications
SC-hyperdecidability of $\bf R$. Theoret. Comput. Sci.. 2001;255:569-591.Edit
On the topological semigroup of equational classes of finite functions under composition. J. of Mult.-Valued Logic & Soft Computing. 2017;28(1):5-28.Edit
McCammond's normal forms for free aperiodic semigroups revisited. LMS J. Comput. Math.. 2015;18:130-147.Edit
Sur certains systèmes d'équations avec contraintes dans un groupe libre. Portugal. Math.. 1999;56:409-417.Edit
Tameness of the pseudovariety of abelian groups. Internat. J. Algebra Comput.. 2005;15:327-338.Edit
A notion of branching rank for semilattices with descending chain condition. Order. 1988;4:397-409.Edit
The globals of pseudovarieties of ordered semigroups containing $B_2$ and an application to a problem proposed by Pin. Theor. Inform. Appl.. 2005;39:1-29.Edit
Monoids respecting $n$-chains of intervals. J. Algebra. 1997;187:183-202.Edit
Idempotent-generated semigroups and pseudovarieties. Proceedings of the Edinburgh Mathematical Society. 2011;54:545-568.Edit
Some key problems on finite semigroups. Semigroup Forum. 2002;64:159-179.Edit
Some order properties of the lattice of varieties of commutative semigroups. Canad. J. Math.. 1986;38:19-47.Edit
[2008-21] Rational Codes and Free Profinite Monoids .Edit
On regular implicit operations. Portugal. Math.. 1993;50:35-61.Edit
Iterated periodicity over finite aperiodic semigroups. European J. Combin.. 2014;37:115-149.Edit
Complete κ-reducibility of pseudovarieties of the form DRH. International Journal of Algebra and Computation. 2017;27(2):189-235.Edit
On hyperdecidable pseudovarieties of simple semigroups. Internat. J. Algebra Comput.. 2000;10:261-284.Edit
Exploring QT variability dependence from heart rate in coma and brain death on pediatric patients. In: Computing in Cardiology. Vol 40.; 2013. 6. p. 61-64p. Edit
The pro-nilpotent group topology on a free group. Journal of Algebra. 2017;480:332-345.Edit
On finite simple semigroups. Proc. Edinburgh Math. Soc. (2). 1991;34:205-215.Edit
Infinite-vertex free profinite semigroupoids and symbolic dynamics. J. Pure Appl. Algebra. 2009;213:605-631.Edit
[2013-10] On the topological semigroup of equational classes of finite functions under composition .Edit
A sequence of weakly monotonic automata with increasing level. Int. J. Algebra. 2013;7:91-100.Edit
The join of the pseudovarieties of $\scr R$-trivial and $\scr L$-trivial monoids. J. Pure Appl. Algebra. 1989;60:129-137.Edit
Subword complexity of profinite words and subgroups of free profinite semigroups. Internat. J. Algebra Comput.. 2006;16:221-258.Edit