- Using Static Code Analysis to Improve Coarse Task Granularity in Bobox2015 | Matematicko-fyzikální fakulta
- Using Static Code Analysis for Improvement of Job Data Availability in Bobox Task Scheduling2015 | Matematicko-fyzikální fakulta
- Automatická konstrukce přiměřeného prostředí pro Java komponenty2009 | Matematicko-fyzikální fakulta
- Heuristická redukce paralelismu v prostředí komponentyPublikace bez příslušnosti k fakultě