Publications
Description and analysis of a bottom-up DFA minimization algorithm. Inform. Process. Lett.. 2008;107:52-59.Edit
Pointlike sets with respect to $\bf R$ and $\bf J$. J. Pure Appl. Algebra. 2008;212:486-499.Edit
Complete reducibility of systems of equations with respect to $\ssf R$. Port. Math. (N.S.). 2007;64:445-508.Edit
Complete reducibility of pseudovarieties. In: Semigroups and formal languages. World Sci. Publ., Hackensack, NJ; 2007. 9. p. 9-25p. Edit
An automata-theoretic approach to the word problem for ω-terms over $\ssfR$. Theoret. Comput. Sci.. 2007;370:131-169.Edit
Subword complexity of profinite words and subgroups of free profinite semigroups. Internat. J. Algebra Comput.. 2006;16:221-258.Edit
Profinite semigroups and applications. In: Structural theory of automata, semigroups, and universal algebra. Vol 207. Springer, Dordrecht; 2005. 1. p. 1-45p. (NATO Sci. Ser. II Math. Phys. Chem.; vol 207).Edit
Profinite groups associated with weakly primitive substitutions. Fundam. Prikl. Mat.. 2005;11:13-48.Edit
Tameness of pseudovariety joins involving R. Monatsh. Math.. 2005;146:89-111.Edit
The pseudovariety of semigroups of triangular matrices over a finite field. Theor. Inform. Appl.. 2005;39:31-48.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
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
The globals of some subpseudovarieties of DA. Internat. J. Algebra Comput.. 2004;14:525-549.Edit
José Morgado: in memoriam. Bol. Soc. Port. Mat.. 2004:1-18.Edit
Semidirect products with the pseudovariety of all finite groups. In: Words, languages & combinatorics, III (Kyoto, 2000). World Sci. Publ., River Edge, NJ; 2003. 1. p. 1-21p. Edit
Profinite identities for finite semigroups whose subgroups belong to a given pseudovariety. J. Algebra Appl.. 2003;2:137-163.Edit
Tameness of some locally trivial pseudovarieties. Comm. Algebra. 2003;31:61-77.Edit
Dynamics of finite semigroups. In: Semigroups, algorithms, automata and languages (Coimbra, 2001). World Sci. Publ., River Edge, NJ; 2002. 2. p. 269-292p. Edit
Finite semigroups: an introduction to a unified theory of pseudovarieties. In: Semigroups, algorithms, automata and languages (Coimbra, 2001). World Sci. Publ., River Edge, NJ; 2002. 3. p. 3-64p. Edit
Some key problems on finite semigroups. Semigroup Forum. 2002;64:159-179.Edit
On the equation $\bf V\ast\bf G=\scr E\,\bf V$. J. Pure Appl. Algebra. 2002;166:1-28.Edit
Dynamics of implicit operations and tameness of pseudovarieties of groups. Trans. Amer. Math. Soc.. 2002;354:387-411 (electronic).Edit
Sur certains systèmes d'équations avec contraintes dans un groupe libre–-addenda. Port. Math. (N.S.). 2001;58:379-387.Edit
Globals of pseudovarieties of commutative semigroups: the finite basis problem, decidability and gaps. Proc. Edinb. Math. Soc. (2). 2001;44:27-47.Edit
The pseudoidentity problem and reducibility for completely regular semigroups. Bull. Austral. Math. Soc.. 2001;63:407-433.Edit