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

[2017-9] Almeida J, Klíma O. Towards a pseudoequational proof theory .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

Almeida J, Delgado M.. Sur certains systèmes d'équations avec contraintes dans un groupe libre–-addenda. Port. Math. (N.S.). 2001;58:379-387.Edit

[2017-25] Almeida J, Klíma O. On the insertion of n-powers .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

Almeida J. On the power semigroup of a finite semigroup. Portugal. Math.. 1992;49:295-331.Edit

Almeida J, Klíma O. New decidable upper bound of the second level in the Straubing-Thérien concatenation hierarchy of star-free languages. Discrete Math. Theor. Comput. Sci.. 2010;12:41-58.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. Decidability and tameness in the theory of finite semigroups. Bull. Iranian Math. Soc.. 2008;34:1-22.Edit

Almeida R, Gonçalves H, Bernardes J, Rocha AP. Fetal QRS detection and heart rate estimation: A wavelet-based approach. Physiological Measurement. 2014;35:1723-1735.Edit

Almeida R, Gonçalves H, Rocha AP, Bernardes J. A wavelet-based method for assessing fetal cardiac rhythms from abdominal ECGs. In: Computing in Cardiology. Vol 40.; 2013. 2. p. 289-292p. Edit

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

Almeida J, Steinberg B. On the decidability of iterated semidirect products with applications to complexity. Proc. London Math. Soc. (3). 2000;80:50-74.Edit

Almeida J, Silva PV. SC-hyperdecidability of $\bf R$. Theoret. Comput. Sci.. 2001;255:569-591.Edit

[2009-17] Almeida J, Klíma O. A counterexample to some conjectures concerning concatenation hierarchies .Edit

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

Almeida J, Costa A. A note on pseudovarieties of completely regular semigroups. Bulletin of the Australian Mathematical Society. 2015;92(2):233-237.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. The algebra of implicit operations. Algebra Universalis. 1989;26:16-32.Edit

Almeida J, Costa JC, Zeitoun M. Tameness of pseudovariety joins involving R. Monatsh. Math.. 2005;146:89-111.Edit

Almeida J, Moura A. Idempotent-generated semigroups and pseudovarieties. Proceedings of the Edinburgh Mathematical Society. 2011;54:545-568.Edit

Almeida J, Zeitoun M. The pseudovariety $\bf J$ is hyperdecidable. RAIRO Inform. Théor. Appl.. 1997;31:457-482.Edit

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

Almeida J. Minimal nonpermutative pseudovarieties of semigroups. I, II. Pacific J. Math.. 1986;121:257-270, 271-279.Edit