- Coherent randomness tests and computing the K-trivial sets2016 | Matematicko-fyzikální fakulta
- COMPUTING K-TRIVIAL SETS BY INCOMPLETE RANDOM SETS2014 | Matematicko-fyzikální fakulta
- K-Triviality, Oberwolfach Randomness, and Differentiability2012 | Matematicko-fyzikální fakulta
- Nízké dolní hranice ideálů2009 | Matematicko-fyzikální fakulta
- Topology is relevant (in a dichotomy conjecture for infinite-domain constraint satisfaction problems)2019 | Matematicko-fyzikální fakulta