- Algebraic properties of word equations2015 | Matematicko-fyzikální fakulta
- Mathematics++ : Selected Topics Beyond the Basic Courses2015 | Matematicko-fyzikální fakulta
- Polynomial graph invariants from homomorphism numbers2016 | Matematicko-fyzikální fakulta
- On Proof Complexity of Resolution over Polynomial Calculus2022 | Matematicko-fyzikální fakulta