- Text v kontextu: Detekce chyb na úrovni tokenů v textech vygenerovaných z tabulkových dat2021 | Matematicko-fyzikální fakulta
- Efektivní detekce chyb v Java komponentách s použitím náhodného prostředí a restartů2010 | Matematicko-fyzikální fakulta
- Opravy XML Dokumentů a Analýza XQuery Pomocí Analyzeru2011 | Matematicko-fyzikální fakulta
- Principy interpretace laboratorních testů2020 | 3. lékařská fakulta
- Automatická konstrukce přiměřeného prostředí pro Java komponenty2009 | Matematicko-fyzikální fakulta
- Zlepšení korektor: Případová studie s nativní a non-rodilého Čecha2015 | Matematicko-fyzikální fakulta, Filozofická fakulta