- Introducing Support for Embedded and Real-time Devices into Existing Hierarchical Component System: Lessons Learned2011 | Faculty of Mathematics and Physics
- Challenge Benchmarks for Verification of Real-time Programs2010 | Faculty of Mathematics and Physics
- Comparison of Component Frameworks for Real-time Embedded Systems2010 | Faculty of Mathematics and Physics
- DEECo C++ Framework for Real-Time Embedded SystemsPublication without faculty affiliation
- Towards modular sonic EEG neurofeedback interface2023 | Faculty of Arts
- Property networks allowing oracle-based mode-change propagation in hierarchical components2012 | Faculty of Mathematics and Physics
- Scale_it: Converting time series data into musical scales2023 | Faculty of Arts
- Software Confederations and the Maintenance of Global Software Systems2002 | Publication without faculty affiliation
- Task Scheduling in Hybrid CPU-GPU Systems2012 | Faculty of Mathematics and Physics