|
|
|
|
|
Programmiersprachen und ÜbersetzerDissertationen
Laufend
- Marcus Crestani: Concurrent Reactive Programming
- Steffi Druckenmüller: Qualitätsoptimierung der onkologischen Versorgung durch digitale und videounterstützte Kommunikationsvernetzung (Zusammenarbeit mit Universitätsklinikum Tübingen)
- Mandeep Singh-Multani: A Hybrid Declarative Framework for Multi Agent Systems (HDFMAS)
- Felix Werner: Vision-Based Topological Localization (Zusammenarbeit mit Queensland University of Technology)
2008
- Mashud Kabir: A Universal Intelligent System for Fault Diagnosis in Automotive Applications
- Eric Knauel: A flow-analysis framework for realistic Scheme programs
2006
- Martin Gasbichler: Fully-Parameterized, First-Class Modules with Hygienic Macros
2005
- Holger Gast: A Generator for Type Checkers
2004
- Christian Wege: Interdependence between architecture evolution and development process evolution in agile methodologies (Zusammenarbeit mit DaimlerChrysler)
2003
- Ulrich Guddat: Automatisierte Tests von Telematiksystemen in Automobilen (Zusammenarbeit mit DaimlerChrysler)
2001
- Frank Gerhardt: Integrating Programming Environments for Platform Migration (Zusammenarbeit mit DaimlerChrysler)
2000
- Michael Sperber: Computer-Assisted Lighting Design and Control
1999
1998
- Martin Plümicke: Algebraische Beschreibung von Typklassen
- Christoph Schmitz: Objektorientierte Algebraische Spezifikationen
1994
- Friedemann Banhard: Objektorientierte Benutzersichten auf eine relationale Datenbank für ein klinisches Forschungs-Informationssystem und einen graph. Anfragegenerator (Zusammenarbeit mit Augenheilkunde II)
1991
- Peter Thiemann: Konzepte zur effizienten Implementierung strukturell rekursiver Programme
|
