- Optimalizace prologovských programů plně automatickou transformační procedurou2008 | Matematicko-fyzikální fakulta
- Zlepšování efektivity prologovských programů pomocí plně automatizované transformace2007 | Matematicko-fyzikální fakulta
- Platform for Automated Previews of Linked Data2017 | Matematicko-fyzikální fakulta
- Od textových use-casů ke komponentovým aplikacím2010 | Matematicko-fyzikální fakulta
- Tool-supported Interactive Correction and Semantic Annotation of Narrative Clinical Reports2017 | 1. lékařská fakulta