Proving Termination of Graph Transformation Systems Using Weighted Type Graphs over Semirings. - H. J. Sander Bruggink; Barbara König 001; Dennis Nolte; Hans Zantema (ICGT, 2015)

A Tutorial on Graph Transformation. - Barbara König 001; Dennis Nolte; Julia Padberg; Arend Rensink (Graph Transformation, Specifications, and Nets, 2018)

Rewriting Abstract Structures: Materialization Explained Categorically. - Andrea Corradini 001; Tobias Heindel; Barbara König 001; Dennis Nolte; Arend Rensink (FoSSaCS, 2019)

CoReS: A tool for computing core graphs via SAT/SMT solvers. - Barbara König 001; Maxime Nederkorn; Dennis Nolte (J. Log. Algebraic Methods Program., 2019)

Specifying graph languages with type graphs. - Andrea Corradini 001; Barbara König 001; Dennis Nolte (J. Log. Algebraic Methods Program., 2019)

Analysis and Abstraction of Graph Transformation Systems via Type Graphs. - Dennis Nolte (2019)

A Flexible and Easy-to-Use Library for the Rapid Development of Graph Tools in Java. - H. J. Sander Bruggink; Barbara König 001; Marleen Matjeka; Dennis Nolte; Lara Stoltenow (ICGT, 2020)