2019 |
|
Andrea Corradini, Barbara König, and Dennis Nolte. Specifying graph languages with type graphs. Journal of Logical and Algebraic Methods in Programming, 104:176–200, 2019. |
|
|
Andrea Corradini, Tobias Heindel, Barbara König, Dennis Nolte, and Arend Rensink. Rewriting abstract structures: Materialization explained categorically. In Proc. of FOSSACS '19, pages 169–188. Springer, 2019. LNCS/ARCoSS 11425. |
|
2018 |
|
Barbara König, Dennis Nolte, Julia Padberg, and Arend Rensink. A tutorial on graph transformation. In R. Heckel and G. Taentzer, editors, Graph Transformation, Specifications, and Nets – In Memory of Hartmut Ehrig, pages 1–22. Springer, 2018. LNCS 10800. |
|
|
Barbara König and Dennis Nolte. CoReS: A tool for computing core graphs via SAT/SMT solvers (tool presentation paper). In Proc. of ICGT '18, pages 37–42. Springer, 2018. LNCS 10887. |
|
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. |
|
|
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. |
|
2016 |
|
Hans Zantema, Dennis Nolte, and Barbara König. Termination of term graph rewriting. In Proc. of WST '16 (Workshop on Termination), 2016. |
|
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. |
|
2012 |
|
Dennis Nolte. Automatische Verifikation von Bisimulationsäquivalenzen in Graphtransformationssystemen. Master's thesis, Universität Duisburg-Essen, 2012. |
|
