Almeida J. Residually finite congruences and quasiregular subsets in uniform algebras. In: Proceedings of the Second Meeting of Portuguese Algebraists (Portuguese) (Porto, 1987). Univ. Porto, Porto; 1987. 1. p. 11-31p. Edit

Almeida J, Escada AP. The globals of some subpseudovarieties of DA. Internat. J. Algebra Comput.. 2004;14:525-549.Edit

Almeida J, Silva PV. On the hyperdecidability of semidirect products of pseudovarieties. Comm. Algebra. 1998;26:4065-4077.Edit

Almeida J. A unified syntactical approach to theorems of Putcha, Margolis, and Straubing on finite power semigroups. Semigroup Forum. 1993;46:90-97.Edit

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

Almeida J, Margolis S, Steinberg B, Volkov M. Characterization of group radicals with an application to Mal\cprime cev products. Illinois J. Math.. 2010;54:199-221.Edit

Almeida J. Dynamics of implicit operations and tameness of pseudovarieties of groups. Trans. Amer. Math. Soc.. 2002;354:387-411 (electronic).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, Rodaro E. Semisimple synchronizing automata and the Wedderburn-Artin theory. In: Developments in Language Theory, 2014. Vol Developments in Language Theory. Russia, Ekaterinburg: Springer; 2014. 4. p. 49-60p. Edit

[2009-29] Almeida J, Margolis SW, Steinberg B, Volkov M. Characterization of group radicals with an application to Mal'cev products .Edit

Almeida J. On the membership problem for pseudovarieties of commutative semigroups. Semigroup Forum. 1991;42:47-51.Edit

Almeida J, Volkov M, Goldberg S.. Complexity of the identity checking problem for finite semigroups. Zap. Nauchn. Sem. S.-Peterburg. Otdel. Mat. Inst. Steklov. (POMI). 2008;358:5-22, 301.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, Teixeira L. On finitely based pseudovarieties of the form $\bf V\ast\bf D$ and $\bf V\ast\bf D_n$. J. Pure Appl. Algebra. 2000;146:1-15.Edit

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

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

Almeida J, Weil P. Profinite categories and semidirect products. J. Pure Appl. Algebra. 1998;123:1-50.Edit

[2007-18] Almeida J, Volkov M, Goldberg S.. Complexity of the identity checking problem for finite semigroups .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

[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. 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. Overlapping of words in rational languages. In: Combinatorics on words (Waterloo, Ont., 1982). Academic Press, Toronto, ON; 1983. 1. p. 119-131p. Edit

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

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