- Nisan-Wigderson generatos in proof systems with forms of interpolation2011 | Matematicko-fyzikální fakulta
- On the proof complexity of the Nisan-Wigderson generator2011 | Matematicko-fyzikální fakulta
- Nisan-Wigderson generators in proof complexity: new lower bounds2022 | Matematicko-fyzikální fakulta
- PSEUDO-FINITE HARD INSTANCES FOR A STUDENT-TEACHER GAME WITH A NISAN-WIGDERSON GENERATOR2012 | Matematicko-fyzikální fakulta
- On the computational complexity of finding hard tautologies2014 | Matematicko-fyzikální fakulta