- On monotone circuits with local oracles and clique lower bounds2019 | Matematicko-fyzikální fakulta
- Addition Is Exponentially Harder Than Counting for Shallow Monotone Circuits2017 | Matematicko-fyzikální fakulta
- Randomized feasible interpolation and monotone circuits with a local oracle2018 | Matematicko-fyzikální fakulta
- Backdoor Decomposable Monotone Circuits and Propagation Complete Encodings2021 | Matematicko-fyzikální fakulta