Advanced Transactions in Enterprise JavaBeans. - Marek Prochazka (EDO, 2000)

Jironde: A Flexible Framework for Making Components Transactional. - Marek Prochazka (DAIS, 2003)

On Enhancing Component-Based Middleware with Transactions. - Marek Prochazka; Romain Rouvoy; Thierry Coupaye (OTM Workshops, 2003)

Preemptible Atomic Regions for Real-Time Java. - Jeremy Manson; Jason Baker; Antonio Cunei; Suresh Jagannathan; Marek Prochazka; Bin Xin 001; Jan Vitek (RTSS, 2005)

RTJBench: A Real-Time Java Benchmarking Framework. - Marek Prochazka; Andrey Madan; Jan Vitek; Wenchang Liu (Stud. Inform. Univ., 2005)

A Real-time Java Virtual Machine for Avionics - An Experience Report. - Jason Baker; Antonio Cunei; Chapman Flack; Filip Pizlo; Marek Prochazka; Jan Vitek; Austin Armbruster; Edward Pla; David Holmes (IEEE Real Time Technology and Applications Symposium, 2006)

A real-time Java virtual machine with applications in avionics. - Austin Armbruster; Jason Baker; Antonio Cunei; Chapman Flack; David Holmes; Filip Pizlo; Edward Pla; Marek Prochazka; Jan Vitek (ACM Trans. Embed. Comput. Syst., 2007)