| Publication | Date of Publication | Type |
|---|
| A generic construction for crossovers of graph-like structures and its realization in the Eclipse Modeling Framework | 2024-02-12 | Paper |
| A generalized concurrent rule construction for double-pushout rewriting: generalized concurrency theorem and language-preserving rule applications | 2022-11-16 | Paper |
| Graph Consistency as a Graduated Property | 2022-09-01 | Paper |
| Canonical derivations for high-level replacement systems | 2022-08-16 | Paper |
| Amalgamated graph transformations and their use for specifying AGG — an algebraic graph grammar system | 2022-08-16 | Paper |
| A generalized concurrent rule construction for double-pushout rewriting | 2022-03-21 | Paper |
| Generating Instance Models from Meta Models | 2021-05-25 | Paper |
| Double-pushout-rewriting in \(S\)-Cartesian functor categories: rewriting theory and application to partial triple graphs | 2020-08-17 | Paper |
| Constructing optimized constraint-preserving application conditions for model transformation rules | 2020-07-14 | Paper |
| Constructing constraint-preserving interaction schemes in adhesive categories | 2020-06-08 | Paper |
| Change-Preserving Model Repair | 2020-02-13 | Paper |
| Adhesive subcategories of functor categories with instantiation to partial triple graphs | 2020-02-06 | Paper |
| Exploring conflict reasons for graph transformation systems | 2020-02-06 | Paper |
| Constructing optimized validity-preserving application conditions for graph transformation rules | 2020-02-06 | Paper |
| Granularity of Conflicts and Dependencies in Graph Transformation Systems | 2019-11-22 | Paper |
| A formal framework for incremental model slicing | 2019-09-16 | Paper |
| Granularity of conflicts and dependencies in graph transformation systems: a two-dimensional approach | 2019-03-27 | Paper |
| Hierarchically distributed graph transformation | 2019-01-10 | Paper |
| Initial conflicts and dependencies: critical pairs revisited | 2018-04-04 | Paper |
| Variability-based model transformation: formal foundation and application | 2018-02-02 | Paper |
| RuleMerger: Automatic Construction of Variability-Based Model Transformation Rules | 2016-04-21 | Paper |
| Towards Local Confluence Analysis for Amalgamated Graph Transformation | 2015-09-22 | Paper |
| Multi-amalgamated Triple Graph Grammars | 2015-09-22 | 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 |
| A Static Analysis of Non-confluent Triple Graph Grammars for Efficient Model Transformation | 2014-09-26 | Paper |
| Translation of Restricted OCL Constraints into Graph Constraints for Generating Meta Model Instances by Graph Grammars | 2014-03-21 | Paper |
| A Typed Attributed Graph Grammar with Inheritance for the Abstract Syntax of UML Class and Sequence Diagrams | 2014-03-21 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2847842 | 2013-09-11 | Paper |
| Towards Common Exchange Formats for Graphs and Graph Transformation Systems | 2013-05-24 | Paper |
| Visual Modeling of Distributed Object Systems by Graph Transformation | 2013-05-24 | Paper |
| Co-transformation of Graphs and Type Graphs with Application to Model Co-evolution | 2012-10-02 | Paper |
| Construction of Integrity Preserving Triple Graph Grammars | 2012-10-02 | Paper |
| Transformation of Typed Composite Graphs with Inheritance and Containment Structures | 2012-07-11 | Paper |
| Parallel Independence of Amalgamated Graph Transformations Applied to Model Transformation | 2010-11-26 | Paper |
| Conflict Detection for Model Versioning Based on Graph Modifications | 2010-10-04 | Paper |
| A Component Concept for Typed Graphs with Inheritance and Containment Structures | 2010-10-04 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3396616 | 2009-09-19 | Paper |
| Termination Analysis of Model Transformations by Petri Nets | 2008-11-27 | Paper |
| Fundamental Approaches to Software Engineering | 2007-11-28 | Paper |
| Graph Transformations | 2007-06-21 | Paper |
| Attributed graph transformation with node type inheritance | 2007-05-23 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3416072 | 2007-01-19 | Paper |
| Fundamentals of algebraic graph transformation | 2006-05-31 | Paper |
| Diagrammatic Representation and Inference | 2005-12-27 | Paper |
| Formal Methods in Software and Systems Modeling | 2005-12-02 | Paper |
| Fundamental Approaches to Software Engineering | 2005-09-13 | Paper |
| Fundamental Approaches to Software Engineering | 2005-09-13 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4438777 | 2003-12-10 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4438802 | 2003-12-10 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4436361 | 2003-12-04 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4435867 | 2003-11-20 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4790358 | 2002-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2729067 | 2001-11-04 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2728860 | 2001-11-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4502812 | 2000-09-12 | Paper |
| Distributed graphs and graph transformation | 2000-08-03 | Paper |
| Graph transformation for specification and programming | 1999-12-20 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4222818 | 1998-12-13 | Paper |
| Parallel high-level replacement systems | 1998-06-30 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4890712 | 1996-08-25 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4890716 | 1996-08-25 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4036776 | 1993-05-18 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4037334 | 1993-05-18 | Paper |
