Publications
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
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 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
Profinite categories and semidirect products. J. Pure Appl. Algebra. 1998;123:1-50.Edit
Automatic multilead VCG based approach for QT interval measurement. In: {Computers in Cardiology}. Vol {33}.; 2006. {. {p. 369-372p. }.Edit
On the irreducibility of pseudovarieties of semigroups. Journal of Pure and Applied Algebra. 2016;220(4):1517-1524.Edit
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
A classification of aperiodic power monoids. J. Algebra. 1994;170:355-387.Edit
Some quasi-ordered classes of finite commutative semigroups. Semigroup Forum. 1985;32:189-200.Edit
Presentations of Schützenberger groups of minimal subshifts. Israel J. Math.. 2013;196:1-31.Edit
Tameness of some locally trivial pseudovarieties. Comm. Algebra. 2003;31:61-77.Edit
Reducibility vs. definability for pseudovarieties of semigroups. International Journal of Algebra and Computation. 2016;26(7):1483-1495.Edit
Semisimple Synchronizing Automata and the Wedderburn-Artin Theory. In: Development in Language Theory, DLT 2014. Vol LNCS, 8633.; 2014. 4. p. 49-60p. 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
Hyperdecidability of pseudovarieties of orthogroups. Glasg. Math. J.. 2001;43:67-83.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
Semidirectly closed pseudovarieties of locally trivial semigroups. Semigroup Forum. 1990;40:315-323.Edit
Complete reducibility of systems of equations with respect to $\ssf R$. Port. Math. (N.S.). 2007;64:445-508.Edit