- Sekvenčnost a souběžnost v rozhovorech: jazykové prostředky projektování, překryvů replik, dodatků a oprav v českých neformálních rozhovorech2017 | Faculty of Arts
- Parallelism of Opposites. The Pictorial Mythology of Hans von Marées and Its Interpreters: Wölfflin, Rintelen and Worringer2020 | Faculty of Arts
- Automated Construction of Reasonable Environment for Java Components2009 | Faculty of Mathematics and Physics
- Formal Verification of Components in Java2008 | Faculty of Mathematics and Physics
- Efficient Detection of Errors in Java Components Using Random Environment and Restarts2010 | Faculty of Mathematics and Physics
- Rosacea2017 | First Faculty of Medicine