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) |