- Transformation of Pipeline Stage Algorithms to Event-Driven Code2014 | Faculty of Mathematics and Physics
- Transforming procedural code for streaming environments2017 | Faculty of Mathematics and Physics
- Czech Republic, in The Private International Law of Companies in Europe2019 | Faculty of Law
- BUBEN: Automated Library Abstractions Enabling Scalable Bug Detection for Large Programs with I/O and Complex Environment2019 | Faculty of Mathematics and Physics