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

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

[2006-39] Almeida J, Zeitoun M. A bottom-up minimization DFA algorithm and applications .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 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

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

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

[2005-26] Almeida J, Margolis SW, Steinberg B, Volkov M. Modular and threshold subword counting and matrix representations of finite monoids .Edit

Almeida J, Weil P. Profinite categories and semidirect products. J. Pure Appl. Algebra. 1998;123:1-50.Edit

[2004-9] Almeida J, Margolis SW, Volkov M. The Pseudovariety of Semigroups of Triangular Matrices over a Finite Field .Edit

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

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

Almeida J, Zeitoun M. Tameness of some locally trivial pseudovarieties. Comm. Algebra. 2003;31:61-77.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. On direct product decompositions of finite $\scr J$-trivial semigroups. Internat. J. Algebra Comput.. 1991;1:329-337.Edit

Almeida J, Klíma O. A counterexample to a conjecture concerning concatenation hierarchies. Inform. Process. Lett.. 2009;110:4-7.Edit