- Finitely Related Algebras in Congruence Distributive Varieties Have Near Unanimity Terms2013 | Matematicko-fyzikální fakulta
- Deciding the Existence of Quasi Weak Near Unanimity Terms in Finite Algebras2021 | Matematicko-fyzikální fakulta
- Deciding absorption2016 | Matematicko-fyzikální fakulta
- ABSORBING SUBALGEBRAS, CYCLIC TERMS, AND THE CONSTRAINT SATISFACTION PROBLEM2012 | Matematicko-fyzikální fakulta
- Sensitive Instances of the Constraint Satisfaction Problem2020 | Matematicko-fyzikální fakulta