- Finitely related algebras in congruence modular varieties have few subpowers2018 | Matematicko-fyzikální fakulta
- Short Definitions in Constraint Languages +12023 | Matematicko-fyzikální fakulta
- Existence of cube terms in finite algebras2021 | Matematicko-fyzikální fakulta
- Deciding absorption2016 | Matematicko-fyzikální fakulta