- Distributivní svazy kongruencí algeber s permutujícími kongruencemi2007 | Matematicko-fyzikální fakulta
- The equation solvability problem over supernilpotent algebras with Mal'cev term2018 | Matematicko-fyzikální fakulta
- Deciding some Maltsev conditions in finite idempotent algebras2020 | Matematicko-fyzikální fakulta