- Real-time Java ve vesmíru: Potenciální výhody a otevřené problémy2009 | Matematicko-fyzikální fakulta
- A Family of Real-time Java Benchmarks2011 | Matematicko-fyzikální fakulta
- Component-Oriented Development for Real-Time Java2012 | Matematicko-fyzikální fakulta
- Replicating Real-Time Garbage Collector2011 | Matematicko-fyzikální fakulta
- Modelové úlohy pro verifikaci systémů reálného času2010 | Matematicko-fyzikální fakulta
- Systematické testování kritických aplikací reálného času v Javě2010 | Matematicko-fyzikální fakulta
- jPapaBenchPublikace bez příslušnosti k fakultě
- Kritické aplikace reálného času v Javě2010 | Matematicko-fyzikální fakulta
- Přesná automatická správa paměti v prostředích bez kontroly nad zásobníkem2009 | Matematicko-fyzikální fakulta