- Automated Deduction in Geometry, volume 6877 of Lecture Notes in Computer Science, page 68-77. Springer, (2010)
- Bildverarbeitung für die Medizin, page 45-49. Springer, (2005)
- Bildverarbeitung für die Medizin, volume 116 of CEUR Workshop Proceedings, page 244-248. CEUR-WS.org, (2004)


author