- Congruence modularity implies cyclic terms for finite algebras2009 | Faculty of Mathematics and Physics
- Quantum phase transitions in finite algebraic systems2011 | Faculty of Mathematics and Physics
- Existence of cube terms in finite algebras2021 | Faculty of Mathematics and Physics
- Building a finite algebraic structure2002 | Faculty of Education
- Deciding the Existence of Quasi Weak Near Unanimity Terms in Finite Algebras2021 | Faculty of Mathematics and Physics
- RECONSTRUCTING THE TOPOLOGY OF CLONES2017 | Faculty of Mathematics and Physics
- Cyclic terms for SDv varieties revisited2010 | Faculty of Mathematics and Physics
- Classifying generalized lattices: some examples as an introduction2010 | Faculty of Mathematics and Physics
- A finite set of functions with an EXPTIME-complete composition problem2008 | Faculty of Mathematics and Physics
- A 2exptime complete varietal membership problem2009 | Faculty of Mathematics and Physics
- Constraint Satisfaction Problems over Finite Structures2021 | Faculty of Mathematics and Physics
- Decidability of absorption in relation structures of bounded width2015 | Faculty of Mathematics and Physics
- Torsion classes, wide subcategories and localisations2017 | Faculty of Mathematics and Physics
- Finitely related algebras in congruence modular varieties have few subpowers2018 | Faculty of Mathematics and Physics
- Mal'tsev conditions, lack of absorption, and solvability2015 | Faculty of Mathematics and Physics
- Local-global property for G-invariant terms2022 | Faculty of Mathematics and Physics