Page Content
to Navigation
| Habilitation thesis: Methoden der Analyse kontinuierlicher Systeme |
| Demonstration lecture (November 19, 2008) - Stabilisierung linearer Systeme unter Berücksichtigung eines ratenbeschränkten deterministischen Kanals in der Rückführung |
| Habilitation lecture (January 21, 2009) - Bestimmung diskreter Abstraktionen beliebiger Gedächtnistiefe |
| Conferring the right to teach System Theory |
| Referees: Prof. Dr. Dr. Boche, Prof. Dr. Mathis (Universität Hannover), Prof. Dr. Barton (Massachusetts Institute of Technology) |
| Habilitation thesis: Multiparadigm Constraint Programming Languages |
| Demonstration lecture (May 26, 2009) - Techniken der automatischen Speicherverwaltung (Garbage Collection) |
| Habilitation lecture (June 10, 2009) - Constraint-basierte Multiparadigmen-Programmiersprachen (Multiparadigm Constraint Programming Languages) |
| Conferring the right to teach Informatik |
| Referees: Prof. Dr. Pepper, Prof. Dr.-Ing. Jähnichen, Prof. Dr. Kazunori Ueda (Waseda University, Tokyo) |