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

Almeida M, Moreira N, Reis R. Incremental DFA Minimisation. RAIRO - Theoretical Informatics and Applications. 2014;48:173-186.Edit

Almeida J, Costa A. A geometric interpretation of the Schützenberger group of a minimal subshift. Arkiv för Matematik. 2016;54(2):243-275.Edit

[2004-21] Almeida J, Costa JC, Zeitoun M. Tameness of pseudovariety joins involving R .Edit

[2009-28] Almeida J, Costa JC, Teixeira M.. Semidirect product with an order-computable pseudovariety and tameness .Edit

Almeida J. Some pseudovariety joins involving the pseudovariety of finite groups. Semigroup Forum. 1988;37:53-57.Edit

Almeida J, Zeitoun M. 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

[2006-44] Almeida J, Costa JC, Zeitoun M. Pointlike sets with respect to R and J .Edit

Almeida J, Costa JC, Zeitoun M. McCammond's normal forms for free aperiodic semigroups revisited. LMS J. Comput. Math.. 2015;18:130-147.Edit

Almeida J. A syntactical proof of locality of DA. Internat. J. Algebra Comput.. 1996;6:165-177.Edit

Almeida J, Costa A. On the transition semigroups of centrally labeled Rauzy graphs. Internat. J. Algebra Comput.. 2012;22:1250018, 25.Edit

[2006-20] Almeida J, Margolis SW, Steinberg B, Volkov M. Representation theory of finite semigroups, semigroup radicals and formal language theory .Edit

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. Locally commutative power semigroups and counting factors of words. Theoret. Comput. Sci.. 1993;108:3-16.Edit

Almeida J. Implicit operations on finite $\scr J$-trivial semigroups and a conjecture of I. Simon. J. Pure Appl. Algebra. 1991;69:205-218.Edit

Almeida J, Margolis S, Steinberg B, Volkov M. Representation theory of finite semigroups, semigroup radicals and formal language theory. Trans. Amer. Math. Soc.. 2009;361:1429-1461.Edit

Almeida J, Cardoso Â. A sequence of weakly monotonic automata with increasing level. Int. J. Algebra. 2013;7:91-100.Edit

[2015-35] Almeida J, Shahzamanian M., Steinberg B. The pro-nilpotent group topology on a free group .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

[2005-41] Almeida J. Engel elements in groups and dynamical systems defining nilpotency in finite groups .Edit

Almeida J. Semidirect products of pseudovarieties from the universal algebraist's point of view. J. Pure Appl. Algebra. 1989;60:113-128.Edit

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

Almeida J. Some algorithms on the star operation applied to finite languages. Semigroup Forum. 1984;28:187-197.Edit

[2006-39] Almeida J, Zeitoun M. A bottom-up minimization DFA algorithm and applications .Edit

Almeida J, Borlido C. Complete κ-reducibility of pseudovarieties of the form DRH. International Journal of Algebra and Computation. 2017;27(2):189-235.Edit