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