- NP vyhledávací problémy ve slabých fragmentech omezené aritmetiky2007 | Matematicko-fyzikální fakulta
- Circuit lower bounds in bounded arithmetics2015 | Matematicko-fyzikální fakulta
- LOGICAL STRENGTH OF COMPLEXITY THEORY AND A FORMALIZATION OF THE PCP THEOREM IN BOUNDED ARITHMETIC2015 | Matematicko-fyzikální fakulta
- Models of Bounded Arithmetic and variants of the Pigeonhole Principle2023 | Matematicko-fyzikální fakulta
- Expander Construction in VNC12017 | Matematicko-fyzikální fakulta
- Expander construction in VNC12020 | Matematicko-fyzikální fakulta
- Forcing with random variables and Proof Complexity2011 | Matematicko-fyzikální fakulta
- H-colouring dichotomy in proof complexity2021 | Matematicko-fyzikální fakulta
- A saturation property of structures obtained by forcing with a compact family of random variables2013 | Matematicko-fyzikální fakulta
- Proof Systems that Take Advice2011 | Matematicko-fyzikální fakulta
- Randomized feasible interpolation and monotone circuits with a local oracle2018 | Matematicko-fyzikální fakulta