[2004-38] Almeida J, Zeitoun M. An automata-theoretic approach to the word problem for ω-terms over R .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

Almeida J, Silva PV. SC-hyperdecidability of $\bf R$. Theoret. Comput. Sci.. 2001;255:569-591.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, Borlido C. Complete kappa-reducibility of pseudovarieties of the form DRH. International Journal of Algebra and Computation. 2017;27(02):189-236.Edit

[2015-35] Almeida J, Shahzamanian M., Steinberg B. The pro-nilpotent group topology on a free group .Edit

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

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

Almeida FD, Fernandes R. Iterated Kantorovich versus Kulkarni method for Fredholm integral equations. Vol Integral Methods in Science and Engineering. Vol. 2: Practical Applications Italy, Padova: Birkhäuser Basel 2017.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 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

Almeida J, Costa A. A note on pseudovarieties of completely regular semigroups. Bulletin of the Australian Mathematical Society. 2015;92(2):233-237.Edit

[2007-34] Almeida J. Decidability and tameness in the theory of finite semigroups .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, Costa A. Equidivisible pseudovarieties of semigroups. Publicationes Mathematicae. 2017;90(3-4):435-453.Edit

Almeida J. Some algorithms on the star operation applied to finite languages. Semigroup Forum. 1984;28:187-197.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. Dynamics of implicit operations and tameness of pseudovarieties of groups. Trans. Amer. Math. Soc.. 2002;354:387-411 (electronic).Edit

Almeida J. On the membership problem for pseudovarieties of commutative semigroups. Semigroup Forum. 1991;42:47-51.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

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

Almeida J, Azevedo A, Teixeira L. On finitely based pseudovarieties of the form $\bf V\ast\bf D$ and $\bf V\ast\bf D_n$. J. Pure Appl. Algebra. 2000;146:1-15.Edit