Proceedings of the 13th International Conference on Computer Aided Systems Theory: Part I (R. Moreno-Díaz and F. Pichler and A. Quesada-Arencibia), volume 6927 of LNCS, pages 256-263, 2012, Springer.
Extended Abstracts of EUROCAST 2011 – 13th International Conference on Computer Aided Systems Theory (Alexis Quesada-Arencibia and others), pages 247-249, 2011.
July 2010, Master’s thesis, Vienna University of Technology, Institute of Computer Graphics and Algorithms.
Note: supervised by G.~Raidl and M.~Ruthmair