- Databázové systémy2013 | Matematicko-fyzikální fakulta
- Aplikace prostorového modelování v životním prostředí2006 | Přírodovědecká fakulta
- XCase - nástroj pro konceptuální modelování XML dat2010 | Matematicko-fyzikální fakulta
- Testování homogenity stochastických procesů2007 | Matematicko-fyzikální fakulta