- Algebraic properties of word equations2015 | Faculty of Mathematics and Physics
- Mathematics++ : Selected Topics Beyond the Basic Courses2015 | Faculty of Mathematics and Physics
- Polynomial graph invariants from homomorphism numbers2016 | Faculty of Mathematics and Physics
- On Proof Complexity of Resolution over Polynomial Calculus2022 | Faculty of Mathematics and Physics