- Zavádění podpory pro vývoj vestavěných a real-time zařízení do existujích komponentových systémů2011 | Matematicko-fyzikální fakulta
- Modelové úlohy pro verifikaci systémů reálného času2010 | Matematicko-fyzikální fakulta
- Srovnání komponentových frameworků pro vestavěné systémy reálného času2010 | Matematicko-fyzikální fakulta
- DEECo C++ Framework for Real-Time Embedded SystemsPublikace bez příslušnosti k fakultě
- Towards modular sonic EEG neurofeedback interface2023 | Filozofická fakulta
- Property networks allowing oracle-based mode-change propagation in hierarchical components2012 | Matematicko-fyzikální fakulta
- Scale_it: Converting time series data into musical scales2023 | Filozofická fakulta
- Software Confederations and the Maintenance of Global Software Systems2002 | Publikace bez příslušnosti k fakultě
- Task Scheduling in Hybrid CPU-GPU Systems2012 | Matematicko-fyzikální fakulta