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

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, Silva PV. SC-hyperdecidability of $\bf R$. Theoret. Comput. Sci.. 2001;255:569-591.Edit

Almeida J, Rodaro E. Semisimple synchronizing automata and the Wedderburn-Artin theory. Internat. J. Foundat. Comput. Sci.. 2016;27(2):127-145.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. 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 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

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

[2006-20] Almeida J, Margolis SW, Steinberg B, Volkov M. Representation theory of finite semigroups, semigroup radicals and formal language theory .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 R, Gouveia S., Rocha AP, Pueyo E, Martínez JP, Laguna P. QT variability and HRV interactions in ECG: Quantification and reliability. {IEEE TRANSACTIONS ON BIOMEDICAL ENGINEERING}. 2006;{53}:{1317-1329}.Edit

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

[2005-41] Almeida J. Engel elements in groups and dynamical systems defining nilpotency in finite groups .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

[2017-1] Almeida J, Costa A, Costa JC, Zeitoun M. The linear nature of pseudowords .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

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

[2006-39] Almeida J, Zeitoun M. A bottom-up minimization DFA algorithm and applications .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

[2015-36] Almeida J, Shahzamanian M.. The rank of variants of nilpotent pseudovarieties .Edit

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