- Sorting Short Integers2021 | Faculty of Mathematics and Physics
- Small Circuits and Dual Weak PHP in the Universal Theory of p-time Algorithms2021 | Faculty of Mathematics and Physics
- SORTING SHORT INTEGERS: THE EXPOSITION2021 | Faculty of Mathematics and Physics
- Recognition of tractable DNFs representable by a constant number of intervals2017 | Faculty of Mathematics and Physics
- CONSISTENCY OF CIRCUIT LOWER BOUNDS WITH BOUNDED THEORIES2020 | Faculty of Mathematics and Physics
- Conspiracies Between Learning Algorithms, Circuit Lower Bounds, and Pseudorandomness2017 | Faculty of Mathematics and Physics