Dissertationen
2010
Ahmed Mahmoud Hany Aly Awad
A Compliance Management Framework for Business Process Models
Jarungjit Parnjai
Behavioral Service Substition: Analysis and Synthesis
Daniela Weinberg
Deciding Service Substitution – Termination guaranteed
Artem Polyvyanyy
Structuring Process Models
Niels Lohmann
Correctness of Services and their Composition
Sergey Smirnov
Business Process Model Abstraction
2003
Thomas Mailund
Sweeping the State Space: A Sweep-Line State Space Exploration Method
2001
Sibylle Peuker
Halbordnungsbasierte Verfeinerung zur Verifikation verteilter Algorithmen