- On Protocols for Monotone Feasible Interpolation2023 | Matematicko-fyzikální fakulta
- CONSISTENCY OF CIRCUIT LOWER BOUNDS WITH BOUNDED THEORIES2020 | Matematicko-fyzikální fakulta
- Conspiracies Between Learning Algorithms, Circuit Lower Bounds, and Pseudorandomness2017 | Matematicko-fyzikální fakulta
- Addition Is Exponentially Harder Than Counting for Shallow Monotone Circuits2017 | Matematicko-fyzikální fakulta
