Master's Theses

2015

Bnjamin Cabrera. Numerical schemes for calculating the discrete wasserstein distance. Master's thesis, University of Bonn, Germany, 2015.
PDF (2 MB)
Info
Christine Mika. Ein generisches Werkzeug für Sprachäquivalenz bei gewichteten Automaten. Master's thesis, Universität Duisburg-Essen, 2015.
PDF (1 MB)
Info

2012

Sebastian Küpper. Abschlusseigenschaften für graph-sprachen mit anwendungen auf terminierungsanalyse. Master's thesis, Universität Duisburg-Essen, 2012.
PDF (678 kB)
Info
Dennis Nolte. Automatische Verifikation von Bisimulationsäquivalenzen in Graphtransformationssystemen. Master's thesis, Universität Duisburg-Essen, 2012.
PDF (4 MB)
Info

2011

Henning Kerstan. Trace semantics for probabilistic transition systems – a coalgebraic approach. Diplomarbeit, Universität Duisburg-Essen, sep 2011.
PDF (813 kB)
Info
Sebastian Küpper. Matchings und totale dominanz. Master's thesis, Universität Duisburg-Essen, 2011.
PDF (524 kB)
Info

2010

Jan Stückrath. Inkrementelle Interaktionsmodellierung mit farbigen Petri-Netzen - Formale Beschreibung und Implementierung. Master's thesis, Universität Duisburg-Essen, März 2010.
PDF (1 MB)
Info

2008

Christoph Blume. Graphsprachen für die Spezifikation von Invarianten bei verteilten und dynamischen Systemen. Master's thesis, Universität Duisburg-Essen, Nov. 2008.
PDF (1 MB)
Info

2001

H.J. Sander Bruggink. Discourse representation by hypergraphs. Master's thesis, Utrecht University, 2001.
PDF (455 kB)
Info

1995

Barbara König. Heuristiken zur Ein-Depot-Tourenplanung. Master's thesis, Technische Universität München, 1995. (in German).
GZipped PostScript (212 kB)
PDF (456 kB)
Info
© University of Duisburg-Essen, Theoretical Computer Science group