Almeida J, Klíma O. New decidable upper bound of the second level in the Straubing-Thérien concatenation hierarchy of star-free languages. Discrete Math. Theor. Comput. Sci.. 2010;12:41-58.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

Almeida J, Delgado M.. Sur certains systèmes d'équations avec contraintes dans un groupe libre–-addenda. Port. Math. (N.S.). 2001;58:379-387.Edit

Almeida J. The equation $\bf PX=\bf PJ$. In: Proceedings of the International Symposium on the Semigroup Theory and its Related Fields (Kyoto, 1990). Shimane Univ., Matsue; 1990. 1. p. 1-11p. Edit

Almeida J. Decidability and tameness in the theory of finite semigroups. Bull. Iranian Math. Soc.. 2008;34:1-22.Edit

[2015-37] Almeida J, Borlido C. Complete kappa-reducibility of pseudovarieties of the form DRH .Edit

[2017-1] Almeida J, Costa A, Costa JC, Zeitoun M. The linear nature of pseudowords .Edit

Almeida R, Martínez JP, Rocha AP, Olmos S., Laguna P. Automatic multilead VCG based approach for QT interval measurement. In: {Computers in Cardiology}. Vol {33}.; 2006. {. {p. 369-372p. }.Edit

Almeida J, Silva PV. SC-hyperdecidability of $\bf R$. Theoret. Comput. Sci.. 2001;255:569-591.Edit

Almeida J, Steinberg B. On the decidability of iterated semidirect products with applications to complexity. Proc. London Math. Soc. (3). 2000;80:50-74.Edit

Almeida J, Zeitoun M. The pseudovariety $\bf J$ is hyperdecidable. RAIRO Inform. Théor. Appl.. 1997;31:457-482.Edit

[2004-38] Almeida J, Zeitoun M. An automata-theoretic approach to the word problem for ω-terms over R .Edit

Almeida J, Rodaro E. Semisimple Synchronizing Automata and the Wedderburn-Artin Theory. In: Development in Language Theory, DLT 2014. Vol LNCS, 8633.; 2014. 4. p. 49-60p. Edit

Almeida J. On power varieties of semigroups. J. Algebra. 1989;120:1-17.Edit

Almeida J, Costa JC, Zeitoun M. Tameness of pseudovariety joins involving R. Monatsh. Math.. 2005;146:89-111.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, 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, Weil P. Reduced factorizations in free profinite groups and join decompositions of pseudovarieties. Internat. J. Algebra Comput.. 1994;4:375-403.Edit

Almeida J, Delgado M. Tameness of the pseudovariety of abelian groups. Internat. J. Algebra Comput.. 2005;15:327-338.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. Dynamics of finite semigroups. In: Semigroups, algorithms, automata and languages (Coimbra, 2001). World Sci. Publ., River Edge, NJ; 2002. 2. p. 269-292p. Edit

Almeida M, Moreira N, Reis R. Finite automata minimization algorithms. Wang J, editor Chapman and Hall/CRC Press 2012.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. Recent developments in the theory of implicit operations. In: Monoids and semigroups with applications (Berkeley, CA, 1989). World Sci. Publ., River Edge, NJ; 1991. 1. p. 105-117p. Edit