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

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

Almeida J. Semidirectly closed pseudovarieties of locally trivial semigroups. Semigroup Forum. 1990;40:315-323.Edit

Almeida J, Costa JC, Zeitoun M. Complete reducibility of systems of equations with respect to $\ssf R$. Port. Math. (N.S.). 2007;64:445-508.Edit

Almeida J. Minimal nonpermutative pseudovarieties of semigroups. I, II. Pacific J. Math.. 1986;121:257-270, 271-279.Edit

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

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

[2017-1] Almeida J, Costa A, Costa JC, Zeitoun M. The linear nature of pseudowords .Edit

[2008-21] Almeida J, Steinberg B. Rational Codes and Free Profinite Monoids .Edit

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

[2005-26] Almeida J, Margolis SW, Steinberg B, Volkov M. Modular and threshold subword counting and matrix representations of finite monoids .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

[2012-3] Almeida J, Costa JC, Zeitoun M. McCammond's normal forms for free aperiodic semigroups revisited .Edit

[2007-34] Almeida J. Decidability and tameness in the theory of finite semigroups .Edit

Almeida J. Locally commutative power semigroups and counting factors of words. Theoret. Comput. Sci.. 1993;108:3-16.Edit

[2005-1] Almeida J. Profinite groups associated with weakly primitive substitutions .Edit

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

Almeida R, Pueyo E, Martínez JP, Rocha AP, Olmos S., Laguna P. A parametric model approach for quantification of short term QT variability uncorrelated with heart rate variability. In: Murray A, editor. {30th Annual Meeting on Computers in Cardiology}. Vol {30}. {IEEE}; 2003. {. {p. 165-168p. }.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

[2004-9] Almeida J, Margolis SW, Volkov M. The Pseudovariety of Semigroups of Triangular Matrices over a Finite Field .Edit

[2015-36] Almeida J, Shahzamanian M.. The rank of variants of nilpotent pseudovarieties .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

[2016-25] Almeida J, Shahzamanian M.. The finite basis and finite rank properties for pseudovarieties of semigroups .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