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

[2006-39] Almeida J, Zeitoun M. A bottom-up minimization DFA algorithm and applications .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. In: Domaratzki M, Salomaa K, editors. Proceedings of the 15th International Conference on Implementation and Application of Automata (CIAA 2010). Winnipeg, MA, Canada; 2011. 3. p. 39-48p. 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

[2005-26] Almeida J, Margolis SW, Steinberg B, Volkov M. Modular and threshold subword counting and matrix representations of finite monoids .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, Delgado M. Tameness of the pseudovariety of abelian groups. Internat. J. Algebra Comput.. 2005;15:327-338.Edit

[2011-31] Almeida J, Klíma O. On the irreducibility of pseudovarieties of semigroups .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

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

[2015-36] Almeida J, Shahzamanian M.. The rank of variants of nilpotent pseudovarieties .Edit

[2004-9] Almeida J, Margolis SW, Volkov M. The Pseudovariety of Semigroups of Triangular Matrices over a Finite Field .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

Almeida R, Martínez JP, Rocha AP, Laguna P. Multilead ECG Delineation Using Spatially Projected Leads From Wavelet Transform Loops. {IEEE TRANSACTIONS ON BIOMEDICAL ENGINEERING}. 2009;{56}:{1996-2005}.Edit

[2005-1] Almeida J. Profinite groups associated with weakly primitive substitutions .Edit

[2016-25] Almeida J, Shahzamanian M.. The finite basis and finite rank properties for pseudovarieties of semigroups .Edit

[2011-19] Almeida J, Costa A. On the transition semigroups of centrally labeled Rauzy graphs .Edit

Almeida J. The algebra of implicit operations. Algebra Universalis. 1989;26:16-32.Edit

Almeida J. Profinite groups associated with weakly primitive substitutions. Fundam. Prikl. Mat.. 2005;11:13-48.Edit