Jens Brandt & Klaus Schneider (Hrsg.) - Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen

Stefan Winkler - EvoTrace: Evolution-Aware Trace Retrieval

Simone Kirstein-Jost - Auflösung von Anaphern im Rahmen der Informationsextraktion für Ontologie-Management im Bereich Life Sciences

Frank Eschmann - Dezentrale Ablaufplanung für selbstverteilende parallele Systeme

Dmytro Rud - Performancebewertung und -sicherung von orchestrierten Serviceangeboten

Marc Jansen - Integrating Smart Devices in Java Applications

Conrad Kuck - Intuitionistic Set Theory

Thomas Kunstmann - Rechnergestützte Simulation und Planung auf der Grundlage von Tabellenkalkulation