- Logic Program Transformations and Intelligent Agents1999 | Matematicko-fyzikální fakulta
- Effective Datalog-like representation of procedural programs2012 | Matematicko-fyzikální fakulta
- Optimizing Transformations of Dynamic Languages Compiled to Intermediate Representations2020 | Matematicko-fyzikální fakulta
- Veřejné politiky : transformace veřejných potřeb na veřejné výdajové programy2008 | Publikace bez příslušnosti k fakultě
- Zlepšování efektivity Prologovských programů pomocí plně automatizované transformace rozvinutí/svinutí2007 | Matematicko-fyzikální fakulta
- Bulk Evaluation of XQuery2012 | Matematicko-fyzikální fakulta
