- Optimization of prolog programs by fully automated transformation procedure2008 | Faculty of Mathematics and Physics
- Improving Efficiency of Prolog Programs by Fully Automated Transformation2007 | Faculty of Mathematics and Physics
- Platform for Automated Previews of Linked Data2017 | Faculty of Mathematics and Physics
- From Textual Use-Cases to Component-Based Applications2010 | Faculty of Mathematics and Physics
- Tool-supported Interactive Correction and Semantic Annotation of Narrative Clinical Reports2017 | First Faculty of Medicine