2015 |
Bnjamin Cabrera. Numerical schemes for calculating the discrete wasserstein distance. Master's thesis, University of Bonn, Germany, 2015. |
|
Christine Mika. Ein generisches Werkzeug für Sprachäquivalenz bei gewichteten Automaten. Master's thesis, Universität Duisburg-Essen, 2015. |
|
2012 |
Sebastian Küpper. Abschlusseigenschaften für graph-sprachen mit anwendungen auf terminierungsanalyse. Master's thesis, Universität Duisburg-Essen, 2012. |
|
Dennis Nolte. Automatische Verifikation von Bisimulationsäquivalenzen in Graphtransformationssystemen. Master's thesis, Universität Duisburg-Essen, 2012. |
|
2011 |
Henning Kerstan. Trace semantics for probabilistic transition systems – a coalgebraic approach. Diplomarbeit, Universität Duisburg-Essen, sep 2011. |
|
Sebastian Küpper. Matchings und totale dominanz. Master's thesis, Universität Duisburg-Essen, 2011. |
|
2010 |
Jan Stückrath. Inkrementelle Interaktionsmodellierung mit farbigen Petri-Netzen - Formale Beschreibung und Implementierung. Master's thesis, Universität Duisburg-Essen, März 2010. |
|
2008 |
Christoph Blume. Graphsprachen für die Spezifikation von Invarianten bei verteilten und dynamischen Systemen. Master's thesis, Universität Duisburg-Essen, Nov. 2008. |
|
2001 |
H.J. Sander Bruggink. Discourse representation by hypergraphs. Master's thesis, Utrecht University, 2001. |
|
1995 |
Barbara König. Heuristiken zur Ein-Depot-Tourenplanung. Master's thesis, Technische Universität München, 1995. (in German). |
|