Publications
A notion of branching rank for semilattices with descending chain condition. Order. 1988;4:397-409.Edit
The globals of pseudovarieties of ordered semigroups containing $B_2$ and an application to a problem proposed by Pin. Theor. Inform. Appl.. 2005;39:1-29.Edit
[2017-9] Towards a pseudoequational proof theory .Edit
On regular implicit operations. Portugal. Math.. 1993;50:35-61.Edit
Iterated periodicity over finite aperiodic semigroups. European J. Combin.. 2014;37:115-149.Edit
Some key problems on finite semigroups. Semigroup Forum. 2002;64:159-179.Edit
On finite simple semigroups. Proc. Edinburgh Math. Soc. (2). 1991;34:205-215.Edit
Infinite-vertex free profinite semigroupoids and symbolic dynamics. J. Pure Appl. Algebra. 2009;213:605-631.Edit
Factoriality and the Pin-Reutenauer procedure. Discrete Math. Theor. Comput. Sci.. 2016;18:Paper No. 1, 23.Edit
[2015-34] Representations of relatively free profinite semigroups, irreducibility, and order primitivity .Edit
Idempotent-generated semigroups and pseudovarieties. Proceedings of the Edinburgh Mathematical Society. 2011;54:545-568.Edit
On hyperdecidable pseudovarieties of simple semigroups. Internat. J. Algebra Comput.. 2000;10:261-284.Edit
[2013-10] On the topological semigroup of equational classes of finite functions under composition .Edit
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
The join of the pseudovarieties of $\scr R$-trivial and $\scr L$-trivial monoids. J. Pure Appl. Algebra. 1989;60:129-137.Edit
Subword complexity of profinite words and subgroups of free profinite semigroups. Internat. J. Algebra Comput.. 2006;16:221-258.Edit
Generalized varieties of commutative and nilpotent semigroups. Semigroup Forum. 1984;30:77-98.Edit
SC-hyperdecidability of $\bf R$. Theoret. Comput. Sci.. 2001;255:569-591.Edit
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
[2004-21] Tameness of pseudovariety joins involving R .Edit
The mathematician Hugo Ribeiro. Portugal. Math.. 1995;52:1-14.Edit