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

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

[2005-2] Almeida J. O grupo profinito de uma substituição primitiva .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, 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

[2004-21] Almeida J, Costa JC, Zeitoun M. Tameness of pseudovariety joins involving R .Edit

[2009-17] Almeida J, Klíma O. A counterexample to some conjectures concerning concatenation hierarchies .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. RAIRO - Theoretical Informatics and Applications. 2014;48:173-186.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

[2009-28] Almeida J, Costa JC, Teixeira M.. Semidirect product with an order-computable pseudovariety and tameness .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

[2006-44] Almeida J, Costa JC, Zeitoun M. Pointlike sets with respect to R and J .Edit

Almeida R, Martínez JP, Rocha AP, Laguna P. P wave delineation using spatially projected leads from wavelet transform loops. In: Murray A, editor. {37th Annual Conference of the Computing-in-Cardiology}. Vol {37}. {IEEE}; 2010. {. {p. 1003-1006p. }.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, 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

[2006-20] Almeida J, Margolis SW, Steinberg B, Volkov M. Representation theory of finite semigroups, semigroup radicals and formal language theory .Edit