- Using Static Code Analysis to Improve Coarse Task Granularity in Bobox2015 | Faculty of Mathematics and Physics
- Using Static Code Analysis for Improvement of Job Data Availability in Bobox Task Scheduling2015 | Faculty of Mathematics and Physics
- Automated Construction of Reasonable Environment for Java Components2009 | Faculty of Mathematics and Physics
- Heuristic Reduction of Parallelism in Component EnvironmentPublication without faculty affiliation