Promotionen, Habilitationen

Andreas Noack
Unified Quality Measures for Clusterings, Layouts, and Orderings of Graphs, and Their Application as Software Design Criteria
PhD Thesis, Brandenburgische Technische Universität Cottbus, Juli 2007.
2007[07] UBICO

Heinrich Rust
A non-Standard Approach to Operational Semantics for Timed Systems
Habilitation, BTU Cottbus, 26.05.2004
2004[05]

Dirk Beyer
Formale Verifikation von Realzeit-Systemen mittels Cottbus Timed Automata
Mensch & Buch Verlag, Berlin, ISBN 3-89820-450-2, 2002. Zugl. Dissertation, Brandenburgische Technische Universität Cottbus, 2002.
2002[01] UBICO

Frank Simon
Meßwertbasierte Qualitätssicherung - ein generisches Distanzmaß zur Erweiterung bisheriger Softwareproduktmaße
Dissertation, BTU Cottbus, 2001
2001[13]

Hans-Ulrich Kobialka
Implementing Support for Software Processes in a Process-centered Software Engineering Environment
Dissertation, GMD Research Series, 1998, No. 15/1998, ISBN3-88457-339-X
1998[02]
