2016 |
Henning Kerstan. Coalgebraic Behavior Analysis – From Qualitative to Quantitative Analyses. PhD thesis, Universität Duisburg-Essen, Fakultät für Ingenieurwissenschaften, Abteilung für Informatik und Angewandte Kognitionswissenschaft, may 2016. |
|
Jan Stückrath. Verification of well-structured graph transformation systems. PhD thesis, Universität Duisburg-Essen, 2016. |
|
2014 |
Christoph Blume. Graph automata and their application to the verification of dynamic systems. PhD thesis, University of Duisburg-Essen, 2014. |
|
2013 |
Harsh Beohar. Refinement of communication and states in models of embedded systems. PhD thesis, Department of Mathematics and Computer Science, Eindhoven university of technology, January 2013. |
|
2008 |
H.J. Sander Bruggink. Equivalence of reductions in higher-order rewriting. PhD thesis, Utrecht University, 2008. |
|
2004 |
Barbara König. Analysis and verification of systems with dynamically evolving structures. Habilitation thesis, Universität Stuttgart, December 2004. |
|
1999 |
Barbara König. Description and verification of mobile processes with graph rewriting techniques. PhD thesis, Technische Universität München, 1999. |
|