[2017-9] Almeida J, Klíma O. Towards a pseudoequational proof theory .Edit

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

Almeida J. Some order properties of the lattice of varieties of commutative semigroups. Canad. J. Math.. 1986;38:19-47.Edit

[2009-3] Almeida J, Costa JC, Zeitoun M. Iterated periodicity over finite aperiodic semigroups .Edit

[2007-18] Almeida J, Volkov M, Goldberg S.. Complexity of the identity checking problem for finite semigroups .Edit

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

Almeida J, Volkov M. Profinite identities for finite semigroups whose subgroups belong to a given pseudovariety. J. Algebra Appl.. 2003;2:137-163.Edit

[2009-39] Almeida J, Klíma O. New decidable upper bound of the second level in the Straubing-Thérien concatenation hierarchy .Edit

Almeida J. Finite semigroups and universal algebra. Vol 3 World Scientific Publishing Co., Inc., River Edge, NJ 1994.Edit

Almeida J, Pin J., Weil P. Semigroups whose idempotents form a subsemigroup. Math. Proc. Cambridge Philos. Soc.. 1992;111:241-253.Edit

Almeida J, Steinberg B. Matrix mortality and the Černý-Pin conjecture. In: Developments in language theory. Vol 5583. Springer, Berlin; 2009. 6. p. 67-80p. (Lecture Notes in Comput. Sci.; vol 5583).Edit

[2015-34] Almeida J, Klíma O. Representations of relatively free profinite semigroups, irreducibility, and order primitivity .Edit

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

[2009-13] Almeida J, Steinberg B. Matrix Mortality and the Cerny-Pin Conjecture .Edit

Almeida J, Costa JC, Zeitoun M. Factoriality and the Pin-Reutenauer procedure. Discrete Math. Theor. Comput. Sci.. 2016;18:Paper No. 1, 23.Edit

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

[2004-18] Almeida J, Escada AP. The globals of pseudovarieties of ordered semigroups containing $B_2$ and an application to a proble .Edit

[2010-1] Almeida J. Presentations of Schutzenberger groups of minimal subshifts .Edit

Almeida J. On pseudovarieties, varieties of languages, filters of congruences, pseudoidentities and related topics. Algebra Universalis. 1990;27:333-350.Edit

Almeida J, Costa JC, Zeitoun M. Pointlike sets with respect to $\bf R$ and $\bf J$. J. Pure Appl. Algebra. 2008;212:486-499.Edit

[2011-19] Almeida J, Costa A. On the transition semigroups of centrally labeled Rauzy graphs .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. A notion of branching rank for semilattices with descending chain condition. Order. 1988;4:397-409.Edit

[2016-2] Almeida J, Klíma O, Kunc M.. The omega-inequality problem for concatenation hierarchies of star-free languages .Edit

Almeida J, Escada AP. The globals of pseudovarieties of ordered semigroups containing $B_2$ and an application to a problem proposed by Pin. Theor. Inform. Appl.. 2005;39:1-29.Edit