Almeida J. Residually finite congruences and quasi-regular subsets in uniform algebras. Portugal. Math.. 1989;46:313-328.Edit

Almeida J, Volkov M. Subword complexity of profinite words and subgroups of free profinite semigroups. Internat. J. Algebra Comput.. 2006;16:221-258.Edit

[2006-39] Almeida J, Zeitoun M. A bottom-up minimization DFA algorithm and applications .Edit

Almeida J. On a problem of Brzozowski and Fich. In: Semigroups and applications (St. Andrews, 1997). World Sci. Publ., River Edge, NJ; 1998. 1. p. 1-17p. Edit

Almeida J. The mathematician Hugo Ribeiro. Portugal. Math.. 1995;52:1-14.Edit

Almeida J, Couceiro M, Waldhauser T. On the topological semigroup of equational classes of finite functions under composition. J. of Mult.-Valued Logic & Soft Computing. 2017;28(1):5-28.Edit

Almeida J, Azevedo A. Implicit operations on certain classes of semigroups. In: Semigroups and their applications (Chico, Calif., 1986). Reidel, Dordrecht; 1987. 1. p. 1-11p. Edit

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

Almeida J, Escada AP. Semidirect products with the pseudovariety of all finite groups. In: Words, languages & combinatorics, III (Kyoto, 2000). World Sci. Publ., River Edge, NJ; 2003. 1. p. 1-21p. Edit

[2017-25] Almeida J, Klíma O. On the insertion of n-powers .Edit

Almeida J, Costa A. A note on pseudovarieties of completely regular semigroups. Bulletin of the Australian Mathematical Society. 2015;92(2):233-237.Edit

Almeida J. Counting factors in words, semidirect products and power semigroups. In: Words, languages and combinatorics (Kyoto, 1990). World Sci. Publ., River Edge, NJ; 1992. 1. p. 1-15p. Edit

Almeida J, Costa JC, Teixeira M.. Semidirect product with an order-computable pseudovariety and tameness. Semigroup Forum. 2010;81:26-50.Edit

Almeida M, Moreira N, Reis R. Incremental DFA Minimisation. RAIRO - Theoretical Informatics and Applications. 2014;48:173-186.Edit

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

Almeida J, Silva PV. On the hyperdecidability of semidirect products of pseudovarieties. Comm. Algebra. 1998;26:4065-4077.Edit

Almeida J, Azevedo A. Globals of pseudovarieties of commutative semigroups: the finite basis problem, decidability and gaps. Proc. Edinb. Math. Soc. (2). 2001;44:27-47.Edit

Almeida J, Klíma O. Reducibility vs. definability for pseudovarieties of semigroups. International Journal of Algebra and Computation. 2016;26(7):1483-1495.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, Zeitoun M. Description and analysis of a bottom-up DFA minimization algorithm. Inform. Process. Lett.. 2008;107:52-59.Edit

[2010-1] Almeida J. Presentations of Schutzenberger groups of minimal subshifts .Edit

[2007-18] Almeida J, Volkov M, Goldberg S.. Complexity of the identity checking problem for finite semigroups .Edit

Almeida J. Power exponents of aperiodic pseudovarieties. Semigroup Forum. 1999;59:18-32.Edit

Almeida J, Weil P. Free profinite $\scr R$-trivial monoids. Internat. J. Algebra Comput.. 1997;7:625-671.Edit

[2015-34] Almeida J, Klíma O. Representations of relatively free profinite semigroups, irreducibility, and order primitivity .Edit