- Sorting Short Integers2021 | Matematicko-fyzikální fakulta
- Small Circuits and Dual Weak PHP in the Universal Theory of p-time Algorithms2021 | Matematicko-fyzikální fakulta
- SORTING SHORT INTEGERS: THE EXPOSITION2021 | Matematicko-fyzikální fakulta
- Recognition of tractable DNFs representable by a constant number of intervals2017 | 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