Publications
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
[2015-34] Representations of relatively free profinite semigroups, irreducibility, and order primitivity .Edit
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
On hyperdecidable pseudovarieties of simple semigroups. Internat. J. Algebra Comput.. 2000;10:261-284.Edit
Improved QT variability quantification by multilead automatic delineation. In: {32nd Annual Conference on Computers in Cardiology}. Vol {32}. {IEEE}; 2005. {. {p. 503-506p. }.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
McCammond's normal forms for free aperiodic semigroups revisited. LMS J. Comput. Math.. 2015;18:130-147.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
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
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
The mathematician Hugo Ribeiro. Portugal. Math.. 1995;52:1-14.Edit
Globals of pseudovarieties of commutative semigroups: the finite basis problem, decidability and gaps. Proc. Edinb. Math. Soc. (2). 2001;44:27-47.Edit
A wavelet-based method for assessing fetal cardiac rhythms from abdominal ECGs. In: Computing in Cardiology Conference (CinC), 2013. Spain, Zaragoza: IEEE; 2013. 2. p. 289-292p. Edit
[2009-39] New decidable upper bound of the second level in the Straubing-Thérien concatenation hierarchy .Edit
QT variability and HRV interactions in ECG: Quantification and reliability. {IEEE TRANSACTIONS ON BIOMEDICAL ENGINEERING}. 2006;{53}:{1317-1329}.Edit