- Logic Program Transformations and Intelligent Agents1999 | Faculty of Mathematics and Physics
- Effective Datalog-like representation of procedural programs2012 | Faculty of Mathematics and Physics
- Optimizing Transformations of Dynamic Languages Compiled to Intermediate Representations2020 | Faculty of Mathematics and Physics
- Public politics : transformation public needs into public programs2008 | Publication without faculty affiliation
- Improving Efficiency of Prolog Programs by Fully Automated Unfold/Fold Transformation2007 | Faculty of Mathematics and Physics
- Bulk Evaluation of XQuery2012 | Faculty of Mathematics and Physics