- Collision Detection and Visualization in Computer-Aided Scheduling2010 | Faculty of Mathematics and Physics
- Metro-NG: Computer-Aided Scheduling and Collision Detection2015 | Faculty of Mathematics and Physics
- The Stochastic Walk Algorithms for Point Location in Pseudo-triangulations2011 | Faculty of Science
- Computability in Amorphous Structures2007 | Faculty of Mathematics and Physics
- A Model of an Amorphous Computer and Its Communication Protocol2007 | Faculty of Mathematics and Physics
- A Family of Real-time Java Benchmarks2011 | Faculty of Mathematics and Physics