- SharpDetect: Dynamic Analysis Framework for C#/.NET Programs2020 | Matematicko-fyzikální fakulta
- Automated Evaluation of Regular Lab Assignments: A Bittersweet Experience?2013 | Matematicko-fyzikální fakulta
- Pattern4Net: Efficient Development Using Design Patterns2011 | Matematicko-fyzikální fakulta
- Physiological Model Creation and Sharing2011 | 1. lékařská fakulta