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

[2015-36] Almeida J, Shahzamanian M.. The rank of variants of nilpotent pseudovarieties .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, 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. 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 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. 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

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

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, Weil P. Profinite categories and semidirect products. J. Pure Appl. Algebra. 1998;123:1-50.Edit

[2005-41] Almeida J. Engel elements in groups and dynamical systems defining nilpotency in finite groups .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

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

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

Almeida J, Zeitoun M. Tameness of some locally trivial pseudovarieties. Comm. Algebra. 2003;31:61-77.Edit

[2006-39] Almeida J, Zeitoun M. A bottom-up minimization DFA algorithm and applications .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. A classification of aperiodic power monoids. J. Algebra. 1994;170:355-387.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

Almeida J, Trotter PG. Hyperdecidability of pseudovarieties of orthogroups. Glasg. Math. J.. 2001;43:67-83.Edit