- Deciding some Maltsev conditions in finite idempotent algebras2020 | Matematicko-fyzikální fakulta
- Existence of cube terms in finite algebras2021 | Matematicko-fyzikální fakulta
- Taylor term does not imply any nontrivial linear one-equality Maltsev condition2019 | Matematicko-fyzikální fakulta
- Deciding absorption2016 | Matematicko-fyzikální fakulta
- Idempotentní podredukty polomodulů nad komutativními polokruhy2009 | Matematicko-fyzikální fakulta
- Deciding the Existence of Minority Terms2020 | Matematicko-fyzikální fakulta
- SUBDIRECTLY IRREDUCIBLE DIFFERENTIAL MODES2012 | Matematicko-fyzikální fakulta
- Sensitive Instances of the Constraint Satisfaction Problem2020 | Matematicko-fyzikální fakulta
- Pseudo-loop conditions2019 | Matematicko-fyzikální fakulta