- Deciding some Maltsev conditions in finite idempotent algebras2020 | Faculty of Mathematics and Physics
- Existence of cube terms in finite algebras2021 | Faculty of Mathematics and Physics
- Taylor term does not imply any nontrivial linear one-equality Maltsev condition2019 | Faculty of Mathematics and Physics
- Deciding absorption2016 | Faculty of Mathematics and Physics
- Idempotent Subreducts of Semimodules over Commutative Semirings2009 | Faculty of Mathematics and Physics
- Deciding the Existence of Minority Terms2020 | Faculty of Mathematics and Physics
- SUBDIRECTLY IRREDUCIBLE DIFFERENTIAL MODES2012 | Faculty of Mathematics and Physics
- Sensitive Instances of the Constraint Satisfaction Problem2020 | Faculty of Mathematics and Physics
- Pseudo-loop conditions2019 | Faculty of Mathematics and Physics