- On the computational complexity of finding hard tautologies2014 | Faculty of Mathematics and Physics
- Notes on Condensed Detachment2011 | Faculty of Arts
- Different Approaches to Proof Systems2010 | Faculty of Mathematics and Physics
- Nisan-Wigderson generatos in proof systems with forms of interpolation2011 | Faculty of Mathematics and Physics
- A LIMITATION ON THE KPT INTERPOLATION2020 | Faculty of Mathematics and Physics
- Proof Systems that Take Advice2011 | Faculty of Mathematics and Physics
- Short Propositional Refutations for Dense Random 3CNF Formulas2012 | Faculty of Mathematics and Physics
- H-colouring dichotomy in proof complexity2021 | Faculty of Mathematics and Physics