- The Small Inventory in Pigeonholes2010 | Faculty of Arts
- Models of Bounded Arithmetic and variants of the Pigeonhole Principle2023 | Faculty of Mathematics and Physics
- Small Circuits and Dual Weak PHP in the Universal Theory of p-time Algorithms2021 | Faculty of Mathematics and Physics
- On Proof Complexity of Resolution over Polynomial Calculus2022 | Faculty of Mathematics and Physics
- Patience with God : The story of Zacchaeus continuing in us +12014 | Faculty of Arts
- In doubt: Pascal and Descartes2023 | Faculty of Humanities
- On Search Complexity of Discrete Logarithm2021 | Faculty of Mathematics and Physics
- H-colouring dichotomy in proof complexity2021 | Faculty of Mathematics and Physics
