- On the computational complexity of finding hard tautologies2014 | Matematicko-fyzikální fakulta
- Notes on Condensed Detachment2011 | Filozofická fakulta
- Různé přístupy k důkazovým systémům2010 | Matematicko-fyzikální fakulta
- Nisan-Wigderson generatos in proof systems with forms of interpolation2011 | Matematicko-fyzikální fakulta
- A LIMITATION ON THE KPT INTERPOLATION2020 | Matematicko-fyzikální fakulta
- Proof Systems that Take Advice2011 | Matematicko-fyzikální fakulta
- Short Propositional Refutations for Dense Random 3CNF Formulas2012 | Matematicko-fyzikální fakulta
- H-colouring dichotomy in proof complexity2021 | Matematicko-fyzikální fakulta