Almeida J. Implicit operations and Knast's theorem. In: Semigroups (Luino, 1992). World Sci. Publ., River Edge, NJ; 1993. 1. p. 1-16p. Edit

Almeida J, Klíma O. On the irreducibility of pseudovarieties of semigroups. Journal of Pure and Applied Algebra. 2016;220(4):1517-1524.Edit

Almeida J. On iterated semidirect products of finite semilattices. J. Algebra. 1991;142:239-254.Edit

Almeida J, Steinberg B. Rational codes and free profinite monoids. J. Lond. Math. Soc. (2). 2009;79:465-477.Edit

[2015-33] Almeida J, Costa JC, Zeitoun M. Factoriality and the Pin-Reutenauer procedure .Edit

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

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

Almeida J. Tameness of pseudovarieties of semigroups. S\=urikaisekikenky\=usho Kōky\=uroku. 2000:8-16.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, Costa A. Presentations of Schützenberger groups of minimal subshifts. Israel J. Math.. 2013;196:1-31.Edit

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

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

Almeida J. Residually finite congruences and quasi-regular subsets in uniform algebras. Portugal. Math.. 1989;46:313-328.Edit

Almeida J, Zeitoun M. An automata-theoretic approach to the word problem for ω-terms over $\ssfR$. Theoret. Comput. Sci.. 2007;370:131-169.Edit

Almeida J. Some quasi-ordered classes of finite commutative semigroups. Semigroup Forum. 1985;32:189-200.Edit

Almeida M, Moreira N, Reis R. Incremental DFA Minimisation. In: Domaratzki M, Salomaa K, editors. Proceedings of the 15th International Conference on Implementation and Application of Automata (CIAA 2010). Winnipeg, MA, Canada; 2011. 3. p. 39-48p. Edit

[2016-2] Almeida J, Klíma O, Kunc M.. The omega-inequality problem for concatenation hierarchies of star-free languages .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, Silva PV. On the hyperdecidability of semidirect products of pseudovarieties. Comm. Algebra. 1998;26:4065-4077.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, Azevedo A. Implicit operations on certain classes of semigroups. In: Semigroups and their applications (Chico, Calif., 1986). Reidel, Dordrecht; 1987. 1. p. 1-11p. Edit

Almeida J, Machiavelo A. José Morgado: in memoriam. Bol. Soc. Port. Mat.. 2004:1-18.Edit

[2012-26] Almeida J, Cardoso Â. A Sequence of Weakly Monotonic Automata with Increasing Level .Edit

Almeida J, Weil P. Free profinite semigroups over semidirect products. Izv. Vyssh. Uchebn. Zaved. Mat.. 1995:3-31.Edit

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