Publications
The pseudovariety $\bf J$ is hyperdecidable. RAIRO Inform. Théor. Appl.. 1997;31:457-482.Edit
[2017-9] Towards a pseudoequational proof theory .Edit
On power varieties of semigroups. J. Algebra. 1989;120:1-17.Edit
Tameness of pseudovariety joins involving R. Monatsh. Math.. 2005;146:89-111.Edit
Exploring QT variability dependence from heart rate in coma and brain death on pediatric patients. In: Computing in Cardiology. Vol 40.; 2013. 6. p. 61-64p. Edit
Reduced factorizations in free profinite groups and join decompositions of pseudovarieties. Internat. J. Algebra Comput.. 1994;4:375-403.Edit
Dynamics of finite semigroups. In: Semigroups, algorithms, automata and languages (Coimbra, 2001). World Sci. Publ., River Edge, NJ; 2002. 2. p. 269-292p. Edit
Factoriality and the Pin-Reutenauer procedure. Discrete Math. Theor. Comput. Sci.. 2016;18:Paper No. 1, 23.Edit
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
Gérard Lallement (1935–2006). Semigroup Forum. 2009;78:379-383.Edit
Idempotent-generated semigroups and pseudovarieties. Proceedings of the Edinburgh Mathematical Society. 2011;54:545-568.Edit
On fixed points of the lower set operator. Int. J. Algebra Comput.. 2015;25(1-2):259-292.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
An addendum: ``The gap between partial and full'' [Internat. J. Algebra Comput. \bf 8 (1998), no. 3, 399–430; MR1627844 (99g:20102)]. Internat. J. Algebra Comput.. 2001;11:131-135.Edit
Some algorithmic problems for pseudovarieties. Publ. Math. Debrecen. 1999;54:531-552.Edit
Automatic multilead VCG based approach for QT interval measurement. In: {Computers in Cardiology}. Vol {33}.; 2006. {. {p. 369-372p. }.Edit