- Technical Dimensions of Programming Systems2023 | Faculty of Mathematics and Physics
- Filling the gap between manual and automatic parallelization2011 | Faculty of Mathematics and Physics
- Notes on pragmatic agent-programming with Jason2012 | Faculty of Mathematics and Physics
- Ascending the Ladder to Self-Sustainability: Achieving Open Evolution in an Interactive Graphical System2022 | Faculty of Mathematics and Physics