- Analýza proudového spracování XSLT pomocí schémy2008 | Matematicko-fyzikální fakulta
- Schema-Based Transformations of Logic Programs in lambdaProlog2002 | Publikace bez příslušnosti k fakultě
- Experience with Teaching Different Modeling Techniques on the example of Glucose Insulin Regulation Model2020 | 1. lékařská fakulta
- Příběh jednoho neuskutečněného projektu: Pokus o vícehlasou narativní rekonstrukci politického konfliktu2017 | Pedagogická fakulta