- SharpDetect: Dynamic Analysis Framework for C#/.NET Programs2020 | Faculty of Mathematics and Physics
- Automated Evaluation of Regular Lab Assignments: A Bittersweet Experience?2013 | Faculty of Mathematics and Physics
- Pattern4Net: Efficient Development Using Design Patterns2011 | Faculty of Mathematics and Physics
- Physiological Model Creation and Sharing2011 | First Faculty of Medicine