- Circuit lower bounds in bounded arithmetics2015 | Matematicko-fyzikální fakulta
- Conspiracies Between Learning Algorithms, Circuit Lower Bounds, and Pseudorandomness2017 | Matematicko-fyzikální fakulta
- CONSISTENCY OF CIRCUIT LOWER BOUNDS WITH BOUNDED THEORIES2020 | Matematicko-fyzikální fakulta
- Data Structures Lower Bounds and Popular Conjectures2021 | Matematicko-fyzikální fakulta