- Deciding some Maltsev conditions in finite idempotent algebras2020 | Matematicko-fyzikální fakulta
- Finitely Related Algebras in Congruence Distributive Varieties Have Near Unanimity Terms2013 | Matematicko-fyzikální fakulta
- Finitely related algebras in congruence modular varieties have few subpowers2018 | Matematicko-fyzikální fakulta
- ON FINITE DIMENSIONAL ALGEBRAS WHICH ARE SUMS OF TWO SUBALGEBRAS2019 | Matematicko-fyzikální fakulta
- Finitely generated algebraic structures with various divisibility conditions2012 | Matematicko-fyzikální fakulta
- Deciding absorption in relational structures2017 | Matematicko-fyzikální fakulta
- Typical Martingale Diverges at a Typical Point2016 | Matematicko-fyzikální fakulta
- 2-Generated nilpotent algebras and Eggert's conjecture2012 | Matematicko-fyzikální fakulta
- Algoritmus pro volné algebry2010 | Matematicko-fyzikální fakulta
- Deciding absorption2016 | Matematicko-fyzikální fakulta
- Deciding the Existence of Minority Terms2020 | Matematicko-fyzikální fakulta
- Torsion classes, wide subcategories and localisations2017 | Matematicko-fyzikální fakulta
- CC-CIRCUITS AND THE EXPRESSIVE POWER OF NILPOTENT ALGEBRAS2022 | Matematicko-fyzikální fakulta
- Taylor term does not imply any nontrivial linear one-equality Maltsev condition2019 | Matematicko-fyzikální fakulta
- Existence of cube terms in finite algebras2021 | Matematicko-fyzikální fakulta
- Preconditioning and the Conjugate Gradient Method in the Context of Solving PDEs2015 | Matematicko-fyzikální fakulta
- Sensitive Instances of the Constraint Satisfaction Problem2020 | Matematicko-fyzikální fakulta
- Pseudo-loop conditions2019 | Matematicko-fyzikální fakulta