- Symbol and his role today2011 | Faculty of Education
- Logic ColloquiumPublication without faculty affiliation
- Theory-Specific Proof Steps Witnessing Correctness of SMT Executions2021 | Faculty of Mathematics and Physics
- Randomized feasible interpolation and monotone circuits with a local oracle2018 | Faculty of Mathematics and Physics
- Ladislav Hejdánek as a student at the Charles University (1946-1952)2022 | Faculty of Arts
- K-Triviality, Oberwolfach Randomness, and Differentiability2012 | Faculty of Mathematics and Physics
- On the computational complexity of finding hard tautologies2014 | Faculty of Mathematics and Physics