Publications
The algebra of implicit operations. Algebra Universalis. 1989;26:16-32.Edit
Profinite groups associated with weakly primitive substitutions. Fundam. Prikl. Mat.. 2005;11:13-48.Edit
[2009-39] New decidable upper bound of the second level in the Straubing-Thérien concatenation hierarchy .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
Profinite categories and semidirect products. J. Pure Appl. Algebra. 1998;123:1-50.Edit
A classification of aperiodic power monoids. J. Algebra. 1994;170:355-387.Edit
Presentations of Schützenberger groups of minimal subshifts. Israel J. Math.. 2013;196:1-31.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
[2004-21] Tameness of pseudovariety joins involving R .Edit
Reducibility vs. definability for pseudovarieties of semigroups. International Journal of Algebra and Computation. 2016;26(7):1483-1495.Edit
Tameness of some locally trivial pseudovarieties. Comm. Algebra. 2003;31:61-77.Edit
On direct product decompositions of finite $\scr J$-trivial semigroups. Internat. J. Algebra Comput.. 1991;1:329-337.Edit
A counterexample to a conjecture concerning concatenation hierarchies. Inform. Process. Lett.. 2009;110:4-7.Edit
A sequence of weakly monotonic automata with increasing level. Int. J. Algebra. 2013;7:91-100.Edit
Hyperdecidability of pseudovarieties of orthogroups. Glasg. Math. J.. 2001;43:67-83.Edit
[2006-44] Pointlike sets with respect to R and J .Edit
Semidirectly closed pseudovarieties of locally trivial semigroups. Semigroup Forum. 1990;40:315-323.Edit
[2016-26] Equidivisible pseudovarieties of semigroups .Edit
Complete reducibility of systems of equations with respect to $\ssf R$. Port. Math. (N.S.). 2007;64:445-508.Edit