- Redundancy Elimination in Highly Parallel Solutions of Motion Coordination Problems +12011 | Faculty of Mathematics and Physics
- Improving Solutions of Problems of Motion on Graphs by Redundancy Elimination2010 | Faculty of Mathematics and Physics
- Labelled Superposition for PLTL2012 | Faculty of Mathematics and Physics