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

Almeida R, Pueyo E, Martínez JP, Rocha AP, Laguna P. Quantification of the QT variability related to HRV: Robustness study facing automatic delineation and noise on the ECG. In: {31st Annual Scientific Meeting on Computers in Cardiology}. Vol {31}. {IEEE}; 2004. {. {p. 769-772p. }.Edit

Almeida J. Finite semigroups: an introduction to a unified theory of pseudovarieties. In: Semigroups, algorithms, automata and languages (Coimbra, 2001). World Sci. Publ., River Edge, NJ; 2002. 3. p. 3-64p. Edit

[2007-34] Almeida J. Decidability and tameness in the theory of finite semigroups .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 R, Martínez JP, Rocha AP, Laguna P. Are 2 Electrocardiographic Leads Enough for Multilead Wave Boundary Location and QT Measuring? In: Murray A, editor. {36th Annual Computers in Cardiology Conference (CinC 2009)}. Vol {36}. {IEEE}; 2009. {. {p. 593-596p. }.Edit

Almeida J. On iterated semidirect products of finite semilattices. J. Algebra. 1991;142:239-254.Edit

Almeida J, Steinberg B. Rational codes and free profinite monoids. J. Lond. Math. Soc. (2). 2009;79:465-477.Edit

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

Almeida J. Tameness of pseudovarieties of semigroups. S\=urikaisekikenky\=usho Kōky\=uroku. 2000:8-16.Edit

[2004-38] Almeida J, Zeitoun M. An automata-theoretic approach to the word problem for ω-terms over R .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, Moura A. Idempotent-generated semigroups and pseudovarieties. Proceedings of the Edinburgh Mathematical Society. 2011;54:545-568.Edit

Almeida J. Residually finite congruences and quasi-regular subsets in uniform algebras. Portugal. Math.. 1989;46:313-328.Edit

Almeida J, Zeitoun M. An automata-theoretic approach to the word problem for ω-terms over $\ssfR$. Theoret. Comput. Sci.. 2007;370:131-169.Edit

Almeida J. Some quasi-ordered classes of finite commutative semigroups. Semigroup Forum. 1985;32:189-200.Edit

Almeida J, Costa A. A geometric interpretation of the Schützenberger group of a minimal subshift. Arkiv för Matematik. 2016;54(2):243-275.Edit

Almeida J, Azevedo A, Zeitoun M. Pseudovariety joins involving $\scr J$-trivial semigroups. Internat. J. Algebra Comput.. 1999;9:99-112.Edit

Almeida J, Weil P. Free profinite semigroups over semidirect products. Izv. Vyssh. Uchebn. Zaved. Mat.. 1995:3-31.Edit

Almeida J, Delgado M. Tameness of the pseudovariety of abelian groups. Internat. J. Algebra Comput.. 2005;15:327-338.Edit

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

Almeida J, Azevedo A. Implicit operations on certain classes of semigroups. In: Semigroups and their applications (Chico, Calif., 1986). Reidel, Dordrecht; 1987. 1. p. 1-11p. Edit

Almeida J, Machiavelo A. José Morgado: in memoriam. Bol. Soc. Port. Mat.. 2004:1-18.Edit

[2009-14] Almeida J, Costa JC, Zeitoun M. Some structural properties of the free profinite aperiodic semigroup .Edit

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