Publications
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
Residually finite congruences and quasiregular subsets in uniform algebras. In: Proceedings of the Second Meeting of Portuguese Algebraists (Portuguese) (Porto, 1987). Univ. Porto, Porto; 1987. 1. p. 11-31p. Edit
The globals of some subpseudovarieties of DA. Internat. J. Algebra Comput.. 2004;14:525-549.Edit
Dynamics of implicit operations and tameness of pseudovarieties of groups. Trans. Amer. Math. Soc.. 2002;354:387-411 (electronic).Edit
Reducibility of pointlike problems. Semigroup Forum. 2017;94(2):325-335.Edit
[2013-10] On the topological semigroup of equational classes of finite functions under composition .Edit
A unified syntactical approach to theorems of Putcha, Margolis, and Straubing on finite power semigroups. Semigroup Forum. 1993;46:90-97.Edit
Characterization of group radicals with an application to Mal\cprime cev products. Illinois J. Math.. 2010;54:199-221.Edit
[2017-25] On the insertion of n-powers .Edit
On finitely based pseudovarieties of the form $\bf V\ast\bf D$ and $\bf V\ast\bf D_n$. J. Pure Appl. Algebra. 2000;146:1-15.Edit
Commutative positive varieties of languages. Acta Cybernetica. 2017;23(1):91-111.Edit
On the membership problem for pseudovarieties of commutative semigroups. Semigroup Forum. 1991;42:47-51.Edit
Complexity of the identity checking problem for finite semigroups. Zap. Nauchn. Sem. S.-Peterburg. Otdel. Mat. Inst. Steklov. (POMI). 2008;358:5-22, 301.Edit
[2004-21] Tameness of pseudovariety joins involving R .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
[2006-44] Pointlike sets with respect to R and J .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
The algebra of implicit operations. Algebra Universalis. 1989;26:16-32.Edit