Almeida M, Moreira N, Reis R. Finite automata minimization algorithms. Wang J, editor Chapman and Hall/CRC Press 2012.Edit

[2013-10] Almeida J, Couceiro M, Waldhauser T. On the topological semigroup of equational classes of finite functions under composition .Edit

Almeida J, Weil P. Reduced factorizations in free profinite groups and join decompositions of pseudovarieties. Internat. J. Algebra Comput.. 1994;4:375-403.Edit

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

Almeida R, Martínez JP, Rocha AP, Olmos S., Laguna P. Improved QT variability quantification by multilead automatic delineation. In: {32nd Annual Conference on Computers in Cardiology}. Vol {32}. {IEEE}; 2005. {. {p. 503-506p. }.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

[2016-26] Almeida J, Costa A. Equidivisible pseudovarieties of semigroups .Edit

Almeida J. Recent developments in the theory of implicit operations. In: Monoids and semigroups with applications (Berkeley, CA, 1989). World Sci. Publ., River Edge, NJ; 1991. 1. p. 105-117p. Edit

Almeida R, Dias C, Silva ME, Rocha AP. ARFIMA-GARCH Modeling of HRV: Clinical Application in Acute Brain Injury. In: Complexity and Nonlinearity in Cardiovascular Signals. Cham: Springer International Publishing; 2017. 4. p. 451-468p. Edit

Almeida J, Perrin D. Gérard Lallement (1935–2006). Semigroup Forum. 2009;78:379-383.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

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

[2004-18] Almeida J, Escada AP. The globals of pseudovarieties of ordered semigroups containing $B_2$ and an application to a proble .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

[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