| Publication | Date of Publication | Type |
|---|
| Graph Grammar Extraction from Source Code | 2022-11-04 | Paper |
| Module integration using graph grammars (MIGRATE) | 2022-07-13 | Paper |
| On the essence and initiality of conflicts in \(\mathcal{M} \)-adhesive transformation systems | 2019-11-28 | Paper |
| The pullback-pushout approach to algebraic graph transformation | 2019-11-22 | Paper |
| Algebraic graph rewriting with controlled embedding | 2019-11-22 | Paper |
| The PBPO graph transformation approach | 2019-03-27 | Paper |
| Formal relationship between graph grammars and Petri nets | 2019-01-10 | Paper |
| On the essence and initiality of conflicts | 2018-08-24 | Paper |
| The Verigraph system for graph transformation | 2018-04-04 | Paper |
| On the essence of parallel independence for the double-pushout and sesqui-pushout approaches | 2018-04-04 | Paper |
| Theorem proving graph grammars with attributes and negative application conditions | 2017-06-15 | Paper |
| A formal model for the deferred update replication technique | 2016-11-09 | Paper |
| Parallelism in AGREE transformations | 2016-09-05 | Paper |
| Use case analysis based on formal methods: an empirical study | 2016-02-25 | Paper |
| AGREE -- algebraic graph rewriting with controlled embedding | 2015-09-22 | Paper |
| Characterizing conflicts between rule application and rule evolution in graph transformation systems | 2015-09-22 | Paper |
| Rule-based transformation of graph rewriting rules: towards higher-order graph grammars | 2015-07-24 | Paper |
| Formal verification of graph grammars using mathematical induction | 2015-03-19 | Paper |
| Towards a notion of transaction in graph rewriting | 2014-03-21 | Paper |
| Stochastic object-based graph grammars | 2014-01-17 | Paper |
| Formal verification of object-oriented graph grammars specifications | 2013-12-20 | Paper |
| A graph-based semantics for object-oriented programming constructs | 2013-09-20 | Paper |
| A graph transformation view on the specification of applications using mobile code | 2013-05-10 | Paper |
| Specification patterns for properties over reachable states of graph grammars | 2012-11-06 | Paper |
| Correct transformation: from object-based graph grammars to PROMELA | 2012-07-20 | Paper |
| Verification of graph grammars using a logical approach | 2012-07-20 | Paper |
| An institution for graph transformation | 2012-06-08 | Paper |
| Coreflective concurrent semantics for single-pushout graph grammars. | 2010-04-20 | Paper |
| Verification of distributed object-based systems. | 2010-01-12 | Paper |
| Towards object-oriented graphs and grammars. | 2010-01-12 | Paper |
| Graph Transformation with Dependencies for the Specification of Interactive Systems | 2009-10-22 | Paper |
| Linear-Ordered Graph Grammars: Applications to Distributed Systems Design | 2008-06-19 | Paper |
| Graph Transformations | 2007-06-21 | Paper |
| Graph Transformations | 2007-06-21 | Paper |
| Unfolding semantics of graph transformation | 2007-05-14 | Paper |
| Formal Methods in Software and Systems Modeling | 2005-12-02 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4438792 | 2003-12-10 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4762646 | 2001-02-22 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4942095 | 2000-03-30 | Paper |
| Parallel composition of graph grammars | 2000-03-23 | Paper |
| Algebraic high-level net transformation systems | 1996-06-10 | Paper |
