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

[2011-31] Almeida J, Klíma O. On the irreducibility of pseudovarieties of semigroups .Edit

Almeida J. The algebra of implicit operations. Algebra Universalis. 1989;26:16-32.Edit

Almeida J. Profinite groups associated with weakly primitive substitutions. Fundam. Prikl. Mat.. 2005;11:13-48.Edit

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

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

[2015-34] Almeida J, Klíma O. Representations of relatively free profinite semigroups, irreducibility, and order primitivity .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

Almeida J. Power pseudovarieties of semigroups. I, II. Semigroup Forum. 1986;33:357-373, 375-390.Edit

Almeida J. A classification of aperiodic power monoids. J. Algebra. 1994;170:355-387.Edit

Almeida J, Shahzamanian M., Steinberg B.. The pro-nilpotent group topology on a free group. Journal of Algebra. 2017;480:332-345.Edit

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

Almeida R, Silva M., Rocha AP. 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

Almeida J, Zeitoun M. Tameness of some locally trivial pseudovarieties. Comm. Algebra. 2003;31:61-77.Edit

[2017-5] Almeida J, Ésik Z, Pin J-. Commutative positive varieties of languages .Edit

Almeida J. On direct product decompositions of finite $\scr J$-trivial semigroups. Internat. J. Algebra Comput.. 1991;1:329-337.Edit

Almeida J, Klíma O. A counterexample to a conjecture concerning concatenation hierarchies. Inform. Process. Lett.. 2009;110:4-7.Edit

[2005-26] Almeida J, Margolis SW, Steinberg B, Volkov M. Modular and threshold subword counting and matrix representations of finite monoids .Edit

[2011-19] Almeida J, Costa A. On the transition semigroups of centrally labeled Rauzy graphs .Edit

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

Almeida J, Klíma O. Reducibility vs. definability for pseudovarieties of semigroups. International Journal of Algebra and Computation. 2016;26(7):1483-1495.Edit

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

[2005-1] Almeida J. Profinite groups associated with weakly primitive substitutions .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