Diplomarbeiten Formale Konzepte
Offene Themen:
- Untersuchungen zur stabilen Semantik erweiterter Logikprogramme
- Modellbasierte Diagnose in der Medizin
- Erweiterung und Implementation von VIVA (Vivid Agents)
- Entscheidbarkeit in der Graphentheorie
Abgeschlossene Arbeiten:
- Loebe, Frank: An Analysis of Roles: Towards Ontology-Based Modelling, 2003
- Nguyen Thanh Hai: Ontologische und begriffliche Grundlagen der objektorientierten Datenmodellierung, 1999
- Ho Ngoc Duc: Reasoning about Rational, but Not Logically Omniscient
Agents, 1996
- Nanette Meckelburg: Objektorientierte Analyse beim Business Process
Re-Emgineering, 1995
- Knut Hartmann: Konzeption und prototypische Implementation eines
Abstraktionsbeweisers, 1995
- Sven Biedermann: Objektbauelemente und Objektbaugruppen für die
Wiederverwendung von Software, 1995
- Thomas Kasimir: Verifikation paralleler SDL-Prozesse, 1995
- Zoltan Rigo: Untersuchungen zum automatischen Beweisen für Modallogiken,
1995
- Ralf Apel: Untersuchungen zum Resolventenkalkül, 1995