Almeida J, Escada AP. On the equation $\bf V\ast\bf G=\scr E\,\bf V$. J. Pure Appl. Algebra. 2002;166:1-28.Edit

Almeida J. 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

Almeida J. Some key problems on finite semigroups. Semigroup Forum. 2002;64:159-179.Edit

Almeida J, Higgins PM, Volkov M. An addendum: ``The gap between partial and full'' [Internat. J. Algebra Comput. \bf 8 (1998), no. 3, 399–430; MR1627844 (99g:20102)]. Internat. J. Algebra Comput.. 2001;11:131-135.Edit

Almeida J, Azevedo A. Globals of pseudovarieties of commutative semigroups: the finite basis problem, decidability and gaps. Proc. Edinb. Math. Soc. (2). 2001;44:27-47.Edit

Almeida J, Trotter PG. Hyperdecidability of pseudovarieties of orthogroups. Glasg. Math. J.. 2001;43:67-83.Edit

Almeida J, Trotter PG. The pseudoidentity problem and reducibility for completely regular semigroups. Bull. Austral. Math. Soc.. 2001;63:407-433.Edit

Almeida J, Silva PV. SC-hyperdecidability of $\bf R$. Theoret. Comput. Sci.. 2001;255:569-591.Edit

Almeida J, Delgado M.. Sur certains systèmes d'équations avec contraintes dans un groupe libre–-addenda. Port. Math. (N.S.). 2001;58:379-387.Edit

Almeida J, Steinberg B. On the decidability of iterated semidirect products with applications to complexity. Proc. London Math. Soc. (3). 2000;80:50-74.Edit

Almeida J, Azevedo A, Teixeira L. On finitely based pseudovarieties of the form $\bf V\ast\bf D$ and $\bf V\ast\bf D_n$. J. Pure Appl. Algebra. 2000;146:1-15.Edit

Almeida J. On hyperdecidable pseudovarieties of simple semigroups. Internat. J. Algebra Comput.. 2000;10:261-284.Edit

Almeida J, Steinberg B. 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

Almeida J. Tameness of pseudovarieties of semigroups. S\=urikaisekikenky\=usho Kōky\=uroku. 2000:8-16.Edit

Almeida J. Hyperdecidable pseudovarieties and the calculation of semidirect products. Internat. J. Algebra Comput.. 1999;9:241-261.Edit

Almeida J. Power exponents of aperiodic pseudovarieties. Semigroup Forum. 1999;59:18-32.Edit

Almeida J, Azevedo A, Zeitoun M. Pseudovariety joins involving $\scr J$-trivial semigroups. Internat. J. Algebra Comput.. 1999;9:99-112.Edit

Almeida J. Some algorithmic problems for pseudovarieties. Publ. Math. Debrecen. 1999;54:531-552.Edit

Almeida J, Delgado M.. Sur certains systèmes d'équations avec contraintes dans un groupe libre. Portugal. Math.. 1999;56:409-417.Edit

Almeida J, Volkov M. The gap between partial and full. Internat. J. Algebra Comput.. 1998;8:399-430.Edit

Almeida J, Silva PV. On the hyperdecidability of semidirect products of pseudovarieties. Comm. Algebra. 1998;26:4065-4077.Edit

Almeida J. On a problem of Brzozowski and Fich. In: Semigroups and applications (St. Andrews, 1997). World Sci. Publ., River Edge, NJ; 1998. 1. p. 1-17p. Edit

Almeida J, Weil P. Profinite categories and semidirect products. J. Pure Appl. Algebra. 1998;123:1-50.Edit

Almeida J, Weil P. Free profinite $\scr R$-trivial monoids. Internat. J. Algebra Comput.. 1997;7:625-671.Edit

Almeida J, Higgins PM. Monoids respecting $n$-chains of intervals. J. Algebra. 1997;187:183-202.Edit