- Podpora distribuce v komponentovém systému založeném na RTSJ2008 | Matematicko-fyzikální fakulta
- jPapaBenchPublikace bez příslušnosti k fakultě
- Component-Oriented Development for Real-Time Java2012 | Matematicko-fyzikální fakulta
- Systematické testování kritických aplikací reálného času v Javě2010 | Matematicko-fyzikální fakulta