Has participated in:
-
Über die kreuzungsfreie, rechtwinklige Einbettung von gewichteten Graphen in die Ebene
-
Lgc++ : ein Werkzeug zur Implementierung von Logiken als abstrakte Datentypen in C++ ; (Benutzeranleitung)
-
Aspekte der Technischen Informatik : Festschrift zum 60. Geburtstag von Bernd Becker
-
Decision diagrams : concepts and applications ; 24.01.1999 - 29.01.1999