| 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 |
| Algebraic graph rewriting with controlled embedding | 2019-11-22 | Paper |
| The Pullback-Pushout Approach to Algebraic Graph Transformation | 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 |
| On the essence of parallel independence for the double-pushout and sesqui-pushout approaches | 2018-04-04 | Paper |
| The Verigraph system for graph transformation | 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 |
| https://portal.mardi4nfdi.de/entity/Q2849880 | 2013-09-20 | Paper |
| A Graph Transformation View on the Specification of Applications using Mobile Code* *Research partially supported by project ForMOS (Métodos Formais para Código Móvelem Sistemas Abertos) - grant CNPq 520269/98-5, by the Research Training Network GET-GRATS (General Theory of Graph Transformation Systems), and by the MURST project Teoria della Concorrenza, Linguaggi di Ordine Superiore e Strutture di Tipi (TOSCA). | 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 |
| Recent Trends in Algebraic Development Techniques | 2010-04-20 | Paper |
| Formal Methods for Open Object-Based Distributed Systems | 2010-01-12 | Paper |
| Formal Methods for Open Object-Based Distributed Systems | 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 |
