| Publication | Date of Publication | Type |
|---|
| A small-step operational semantics for GP 2 | 2024-12-06 | Paper |
| Formalising the double-pushout approach to graph transformation | 2024-11-12 | Paper |
| On termination of graph rewriting | 2024-02-28 | Paper |
| https://portal.mardi4nfdi.de/entity/Q6198038 | 2024-02-20 | Paper |
| https://portal.mardi4nfdi.de/entity/Q6198042 | 2024-02-20 | Paper |
| Mechanised DPO theory: uniqueness of derivations and Church-Rosser theorem | 2024-01-12 | Paper |
| Evolving graphs with semantic neutral drift | 2023-09-08 | Paper |
| Collapsed tree rewriting: Completeness, confluence, and modularity | 2023-03-09 | Paper |
| Implementing term rewriting by graph reduction: Termination of combined systems | 2023-03-09 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5875357 | 2023-02-03 | Paper |
| Monadic second-order incorrectness logic for GP 2 | 2022-11-16 | Paper |
| Confluence up to Garbage | 2022-09-01 | Paper |
| Critical pairs in term graph rewriting | 2022-08-18 | Paper |
| Verifying graph programs with monadic second-order logic | 2022-03-21 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5021228 | 2022-01-12 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5021227 | 2022-01-12 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5015376 | 2021-12-07 | Paper |
| Confluence up to garbage in graph transformation | 2021-08-27 | Paper |
| Towards Critical Pair Analysis for the Graph Programming Language GP 2 | 2020-01-16 | Paper |
| Graph unification and matching | 2019-01-10 | Paper |
| Probabilistic graph programs for randomised and evolutionary algorithms | 2018-08-24 | Paper |
| Modular termination of graph transformation | 2018-04-04 | Paper |
| From imperative to rule-based graph programs | 2017-03-20 | Paper |
| Verifying Monadic Second-Order Properties of Graph Programs | 2014-09-26 | Paper |
| The York Abstract Machine | 2014-03-21 | Paper |
| Extending C for checking shape safety | 2013-10-07 | Paper |
| Solving Equations by Graph Transformation | 2013-05-24 | Paper |
| Essentials of Term Graph Rewriting | 2013-05-24 | Paper |
| $\mathcal M, \mathcal N$ -Adhesive Transformation Systems | 2012-10-02 | Paper |
| Hoare-style verification of graph programs | 2012-07-11 | Paper |
| A Hoare Calculus for Graph Programs | 2010-10-04 | Paper |
| The Graph Programming Language GP | 2009-11-05 | Paper |
| Graph Transformation in Constant Time | 2008-11-27 | Paper |
| Graph Transformations | 2007-06-21 | Paper |
| Processes, Terms and Cycles: Steps on the Road to Infinity | 2006-11-13 | Paper |
| Relational and Kleene-Algebraic Methods in Computer Science | 2005-12-23 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4447225 | 2004-02-16 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4438775 | 2003-12-10 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4438801 | 2003-12-10 | Paper |
| Bisimilarity in term graph rewriting. | 2003-01-14 | Paper |
| Hierarchical graph transformation | 2002-08-04 | Paper |
| Double-pushout graph transformation revisited | 2002-06-15 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2769432 | 2002-02-05 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4941932 | 2001-03-12 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4508296 | 2000-10-03 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4502808 | 2000-09-12 | Paper |
| Graph transformation for specification and programming | 1999-12-20 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4699322 | 1999-11-10 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4222908 | 1998-12-21 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3837998 | 1998-12-14 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4222797 | 1998-12-13 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5284550 | 1997-06-24 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4037331 | 1993-05-18 | Paper |
| Implementing term rewriting by jungle evaluation | 1991-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3486869 | 1991-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3811685 | 1988-01-01 | Paper |
