- Deciding some Maltsev conditions in finite idempotent algebras2020 | Matematicko-fyzikální fakulta
- Taylor term does not imply any nontrivial linear one-equality Maltsev condition2019 | Matematicko-fyzikální fakulta
- Loop conditions2020 | Matematicko-fyzikální fakulta
- Local-global property for G-invariant terms2022 | Matematicko-fyzikální fakulta
- Mal'tsev conditions, lack of absorption, and solvability2015 | Matematicko-fyzikální fakulta
- Loop conditions for strongly connected digraphs2020 | Matematicko-fyzikální fakulta
- Deciding the Existence of Minority Terms2020 | Matematicko-fyzikální fakulta
- Deciding the Existence of Quasi Weak Near Unanimity Terms in Finite Algebras2021 | Matematicko-fyzikální fakulta