- Výuka formálních metod: Modely chování a analýza kódu2009 | Matematicko-fyzikální fakulta
- Mapování dynamických jazykových konstruktů do statických abstraktních stromů2010 | Matematicko-fyzikální fakulta
- Heuristická redukce paralelismu v prostředí komponentyPublikace bez příslušnosti k fakultě
- Použitelnost model checkeru BLAST: průmyslová případová studie2010 | Matematicko-fyzikální fakulta
- Automatická konstrukce přiměřeného prostředí pro Java komponenty2009 | Matematicko-fyzikální fakulta