- Alfred Tarski: Sémantická koncepce pravdy a základy sémantiky2007 | Filozofická fakulta
- Program Tarski's World a výuka jazyka predikátové logiky2006 | Filozofická fakulta
- Relatives of Robinson Arithmetic2009 | Filozofická fakulta
- Truth and (Un)Provability2023 | Filozofická fakulta
- Model theory and foundations of logic2016 | Filozofická fakulta
- k-sektory vzdáleností existují +12010 | Matematicko-fyzikální fakulta
- COMPLEXITY OF COMPUTING INTERVAL MATRIX POWERS FOR SPECIAL CLASSES OF MATRICES2020 | Matematicko-fyzikální fakulta