Publications by Dennis Nolte

To appear

Barbara König, Dennis Nolte, Julia Padberg, and Arend Rensink. A tutorial on graph transformation. In Festschrift in Memory of Hartmut Ehrig. Springer, To appear.
Info

2017

Andrea Corradini, Barbara König, and Dennis Nolte. Specifying graph languages with type graphs. In Proc. of ICGT '17 (International Conference on Graph Transformation), pages 73–89. Springer, 2017. LNCS 10373.
Info
Extended version
Dennis Nolte. Analysis and abstraction of graph transformation systems via type graphs. In Proc. of ICGT '17 (International Conference on Graph Transformation), Proc. of the Doctoral Symposium. Springer, 2017.
PDF (182 kB)
Info
Conference version

2016

Hans Zantema, Dennis Nolte, and Barbara König. Termination of term graph rewriting. In Proc. of WST '16 (Workshop on Termination), 2016.
Info

2015

H.J. Sander Bruggink, Barbara König, Dennis Nolte, and Hans Zantema. Proving termination of graph transformation systems using weighted type graphs over semirings. In Proc. of ICGT '15 (International Conference on Graph Transformation), volume 9151 of LNCS. Springer, 2015.
PDF (391 kB)
Info
Extended version

2012

Dennis Nolte. Automatische Verifikation von Bisimulationsäquivalenzen in Graphtransformationssystemen. Master's thesis, Universität Duisburg-Essen, 2012.
PDF (4 MB)
Info
© University of Duisburg-Essen, Theoretical Computer Science group