Page Content
| Habilitation thesis: Risk-Sensitive Approaches for Learning Control Strategies |
| Demonstration lecture (January 9, 2006): Vergleich von Sequenzen in der Bioinformatik |
| Habilitation lecture (February 17, 2006): Risiko-sensitive Ansätze beim Reinforcement Learning |
| Conferring the right to teach Practical Computer Science |
| Referees: Prof. Wysotzki, Prof. Riedmiller (Universität Osnabrück) |
| Habilitation thesis: Interactive Theorem Proving in Software Engineering |
| Demonstration lecture (November 28, 2006): Einführung in die Funktionale Programmierung |
| Habilitation lecture (December 13, 2006): Interaktives Theorembeweisen im Software Engineering |
| Conferring the right to teach Computer Science |
| Referees: Prof. Mahr, Dr. Sanders (LMH Oxford/UK) |
| Habilitation thesis: Bewegung von Robotern: Computerunterstützte Methoden zur Modellierung, Simulation und Regelung der Bewegung |
| Demonstration lecture (October 17, 2006): Softwaretechnik zur Steuerung komplexer technischer Systeme |
| Habilitation lecture (October 25, 2006): Bewegung von Robotern: Computerunterstützte Methoden zur Modellierung, Simulation und Regelung der Bewegung |
| Conferring the right to teach Computer Engineering |
| Referees: Prof. Dr.-Ing. Hommel, Prof. Dr.-Ing. Dillmann (Universität Karlsruhe), Prof. Dr. von Stryk (TU Darmstadt) |
| Habilitation thesis: Formal Specification and Rule-Based Refinement of Software Components – Abstract, Full text (pdf) |
| Demonstration lecture (January 24, 2006): CommUnity: Eine kategorielle Sprache für das Architektur-Design |
| Habilitation lecture (February 15, 2006): Formale Spezifikation und regelbasierte Verfeinerung von Software-Komponenten - Eine formale Komponententechnik |
| Conferring the right to teach Theoretical Computer Science |
| Referees: Prof. Ehrig, Prof. Rozenberg (Universiteit Leiden), Prof. Orejas, (UPC, Spanien) |
| Habilitation thesis: Security Engineering: Requirements Analysis, Specification, and Implementation |
| Demonstration lecture (December 1, 2006): Theoriebildung und Beweisautomatisierung in der Stufenlogik |
| Habilitation lecture (December 13, 2006): Security Engineering: Anforderungsanalyse, Spezifikation und Implementierung |
| Conferring the right to teach Computer Science |
| Referees: Prof. Dr. Jähnichen, Prof. Dr. Pfitzmann (TU Dresden) |
| Habilitation thesis: Stereoanalyse und Bildsynthese |
| Demonstration lecture (January 26, 2006): Einführung in die Transformationscodierung |
| Habilitation lecture (June 14, 2006): Stereoanalyse und Bildsynthese in modernen 3D-TV Konzepten |
| Conferring the right to teach Computer Vision/Video Communication |
| Referees: Prof. Sikora, Prof. Hellwich, Prof. Koch (Christian-Albrecht-Unviersität Kiel), Prof. Ohm (RWTH Aachen) |
| Habilitation thesis: Integration von Windkraftanlagen in Energieversorgungsnetze - Stand der Technik und Perspektiven für die dezentrale Stromerzeugung |
| Demonstration lecture (June 15, 2005): Stabilität der Leistungsübertragung auf langen Drehstromleitungen |
| Habilitation lecture (January 18, 2006): Windenergie im Stromnetz - Störfaktor oder Chance? |
| Conferring the right to teach Renewable Energy Systems in Parallel Network Operation |
| Referees: Prof. Dr.-Ing. Hanitsch, Prof. Dr. Kazmierkowski (Universität Warschau), Prof. Dr. Belmans (KU Leuven) |
| Titel der Habilitation thesis: Theoretical Framework and Algorithmic Solutions for Resource Allocations Problems in Wireless Communication Networks |
| Demonstration lecture (October 18, 2006): Einführung in den Entwurf von Korrelationssignalen |
| Habilitation lecture (November 22, 2006): Dynamische Ressourcenallokation in drahtlosen Kommunikationsnetzen |
| Conferring the right to teach Communications Engineering |
| Referees: Prof. Dr. Dr. Boche, Prof. Dr. Mathar (RWTH Aachen), Prof. Dr. Tassiulas (Univ. Maryland, USA) |
| Habilitation thesis: OFDM Downlink Air Interface for UMTS Long Term Evolution: Fundamental Capacity and Practical Design |
| Demonstration lecture (November 29, 2006): Über das Abtasttheorem |
| Habilitation lecture (December 12, 2006): Informationstheoretische Kapazität und Design von OFDM Systemen für den Einsatz in der UMTS Abwärtsstrecke |
| Conferring the right to teach Electical Engineering/Communications Engineering |
| Rferees: Prof. Dr. Dr. Boche, Prof. Paulraj (Stanford University), Prof. Litsyn (Tel Aviv University) |
| Habilitation thesis: Stochastic Discrete Event Systems - Modeling, Evaluation, Applications |
| Demonstration lecture (May 29, 2006): Rechnerarchitektur Eingebetteter Systeme |
| Habilitation lecture (June 14, 2006): Modellierung und Untersuchung Stochastischer Ereignisdiskreter Systeme |
| Conferring the right to teach Computer Engineering |
| Referees: Prof. Hommel, Prof. Schnieder (TU Braunschweig), Prof. Silva (Universidad de Zaragoza) |
Zusatzinformationen / Extras
Quick Access:
Schnellnavigation zur Seite über Nummerneingabe
Auxiliary Functions
This site uses Matomo for anonymized webanalysis. Visit Data Privacy for more information and opt-out options.