- Malá inventura ve škatulkách2010 | Filozofická fakulta
- Models of Bounded Arithmetic and variants of the Pigeonhole Principle2023 | Matematicko-fyzikální fakulta
- Small Circuits and Dual Weak PHP in the Universal Theory of p-time Algorithms2021 | Matematicko-fyzikální fakulta
- On Proof Complexity of Resolution over Polynomial Calculus2022 | Matematicko-fyzikální fakulta
- Patience with God : The story of Zacchaeus continuing in us2014 | Filozofická fakulta
- Na pochybách: Pascal a Descartes2023 | Fakulta humanitních studií
- Geduld met God : Twijfel als brug tussen geloven en niet-geloven2014 | Filozofická fakulta
- On Search Complexity of Discrete Logarithm2021 | Matematicko-fyzikální fakulta
- H-colouring dichotomy in proof complexity2021 | Matematicko-fyzikální fakulta
