Almeida J, Cano A., Klíma O, Pin J.. On fixed points of the lower set operator. Int. J. Algebra Comput.. 2015;25(1-2):259-292.Edit

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

Almeida J, Higgins PM, Volkov M. An addendum: ``The gap between partial and full'' [Internat. J. Algebra Comput. \bf 8 (1998), no. 3, 399–430; MR1627844 (99g:20102)]. Internat. J. Algebra Comput.. 2001;11:131-135.Edit

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

Almeida J, Rodaro E. Semisimple Synchronizing Automata and the Wedderburn-Artin Theory. In: Development in Language Theory, DLT 2014. Vol LNCS, 8633.; 2014. 4. p. 49-60p. Edit

Almeida J, Rodaro E. Semisimple synchronizing automata and the Wedderburn-Artin theory. Internat. J. Foundat. Comput. Sci.. 2016;27(2):127-145.Edit

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

Almeida J. Equations for pseudovarieties. In: Formal properties of finite automata and applications (Ramatuelle, 1988). Vol 386. Springer, Berlin; 1989. 1. p. 148-164p. (Lecture Notes in Comput. Sci.; vol 386).Edit

Almeida J, Costa JC, Zeitoun M. Complete reducibility of pseudovarieties. In: Semigroups and formal languages. World Sci. Publ., Hackensack, NJ; 2007. 9. p. 9-25p. Edit

Almeida J. Minimal nonpermutative pseudovarieties of semigroups. III. Algebra Universalis. 1985;21:256-279.Edit

Almeida J. Some algorithmic problems for pseudovarieties. Publ. Math. Debrecen. 1999;54:531-552.Edit

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

Almeida J. Semigrupos finitos e álgebra universal Universidade de São Paulo, Instituto de Matemática e Estatí stica, São Paulo 1991.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. 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, Moura A. Idempotent-generated semigroups and pseudovarieties. Proceedings of the Edinburgh Mathematical Society. 2011;54:545-568.Edit

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

Almeida J, Weil P. Relatively free profinite monoids: an introduction and examples. In: Semigroups, formal languages and groups (York, 1993). Vol 466. Kluwer Acad. Publ., Dordrecht; 1995. 7. p. 73-117p. (NATO Adv. Sci. Inst. Ser. C Math. Phys. Sci.; vol 466).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

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

[2017-26] Almeida J, Kufleitner M., Shahzamanian M.. Nilpotency and strong nilpotency for finite semigroups .Edit

Almeida J. Dynamics of implicit operations and tameness of pseudovarieties of groups. Trans. Amer. Math. Soc.. 2002;354:387-411 (electronic).Edit

[2006-19] Almeida J, Costa JC, Zeitoun M. Complete reducibility of pseudovarieties .Edit

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