| Publication | Date of Publication | Type |
|---|
| Graph-theoretic properties compatible with graph derivations | 2024-02-28 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5020539 | 2022-01-06 | Paper |
| Chain-code pictures and collages generated by hyperedge replacement | 2019-01-10 | Paper |
| Graph unification and matching | 2019-01-10 | Paper |
| Integration of graph constraints into graph grammars | 2018-04-04 | Paper |
| Multi-amalgamation of rules with application conditions in \(\mathcal{M}\)-adhesive categories | 2016-07-26 | Paper |
| -adhesive transformation systems with nested application conditions. Part 1: parallelism, concurrency and amalgamation | 2016-07-26 | Paper |
| Translating essential OCL invariants to nested graph constraints focusing on set operations | 2015-09-22 | Paper |
| From Core OCL invariants to nested graph constraints | 2014-09-26 | Paper |
| Solving equations by graph transformation | 2013-05-24 | Paper |
| \(\mathcal M, \mathcal N\)-adhesive transformation systems | 2012-10-02 | Paper |
| \(\mathcal M\)-adhesive transformation systems with nested application conditions. II: Embedding, critical pairs and local confluence | 2012-07-11 | Paper |
| Local Confluence for Rules with Nested Application Conditions | 2010-10-04 | Paper |
| Multi-amalgamation in adhesive categories | 2010-10-04 | Paper |
| Correctness of high-level transformation systems relative to nested conditions | 2009-05-06 | Paper |
| Satisfiability of High-Level Conditions | 2008-11-27 | Paper |
| Weakest Preconditions for High-Level Programs | 2008-11-27 | Paper |
| High-Level Programs and Program Conditions | 2008-11-20 | Paper |
| Workshop on Graph Computation Models | 2008-11-20 | Paper |
| Graph Transformations | 2007-06-21 | Paper |
| Graph Transformations | 2007-06-21 | Paper |
| Graph Transformations | 2007-06-21 | Paper |
| Adhesive high-level replacement systems: a new categorical framework for graph transformation | 2007-01-19 | Paper |
| Theory of constraints and application conditions: from graphs to high-level structures | 2007-01-19 | Paper |
| Formal Methods in Software and Systems Modeling | 2005-12-02 | Paper |
| Fundamental Approaches to Software Engineering | 2005-09-13 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4438775 | 2003-12-10 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4431346 | 2003-10-21 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4430292 | 2003-10-20 | 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/Q4502808 | 2000-09-12 | Paper |
| Graph transformation for specification and programming | 1999-12-20 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4222797 | 1998-12-13 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5284550 | 1997-06-24 | Paper |
| Generating self-affine fractals by collage grammars | 1997-02-28 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4890712 | 1996-08-25 | Paper |
| Hyperedge replacement: grammars and languages | 1993-09-20 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4694766 | 1993-06-29 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4037314 | 1993-05-18 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4037320 | 1993-05-18 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4033498 | 1993-05-16 | Paper |
| Parallelism and concurrency in high-level replacement systems | 1992-09-26 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4711083 | 1992-06-25 | Paper |
| A comparison of compatible, finite, and inductive graph properties | 1992-06-25 | Paper |
| Introduction to graph grammars with applications to semantic networks | 1992-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3486869 | 1991-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3486868 | 1991-01-01 | Paper |
| Metatheorems for decision problems on hyperedge replacement graph languages | 1989-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3796794 | 1988-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3811685 | 1988-01-01 | Paper |
| Amalgamation of graph transformations: a synchronization mechanism | 1987-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3774975 | 1987-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3785988 | 1987-01-01 | Paper |
| Characteristics of graph languages generated by edge replacement | 1987-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3815541 | 1987-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3751030 | 1986-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3721799 | 1986-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3685223 | 1985-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3673131 | 1983-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3323294 | 1983-01-01 | Paper |
