| Publication | Date of Publication | Type |
|---|
Using weakest application conditions to rank graph transformations for graph repair
Logical Methods in Computer Science | 2026-03-23 | Paper |
Advanced model consistency restoration with higher-order short-cut rules
Logical Methods in Computer Science | 2024-11-12 | Paper |
Graph-based specification and automated construction of ILP problems
(available as arXiv preprint) | 2024-02-20 | Paper |
| Graph-based specification and automated construction of ILP problems | 2024-02-20 | Paper |
| Advanced consistency restoration with higher-order short-cut rules | 2024-01-12 | Paper |
Specification of graph translators with triple graph grammars
Graph-Theoretic Concepts in Computer Science | 2024-01-05 | Paper |
Logic based structure rewriting systems
Graph Transformations in Computer Science | 2022-08-16 | Paper |
Double-pushout-rewriting in \(S\)-Cartesian functor categories: rewriting theory and application to partial triple graphs
Journal of Logical and Algebraic Methods in Programming | 2020-08-17 | Paper |
| Constructing constraint-preserving interaction schemes in adhesive categories | 2020-06-08 | Paper |
Inter-model consistency checking using triple graph grammars and linear optimization techniques
Fundamental Approaches to Software Engineering | 2020-02-13 | Paper |
| Adhesive subcategories of functor categories with instantiation to partial triple graphs | 2020-02-06 | Paper |
Leveraging incremental pattern matching techniques for model synchronisation
Graph Transformation | 2019-11-22 | Paper |
Software integration problems and coupling of graph grammar specifications
Lecture Notes in Computer Science | 2019-01-10 | Paper |
Programmed graph transformations and graph transformation units in GRACE
Lecture Notes in Computer Science | 2019-01-10 | Paper |
| Graph-rewriting Petri nets | 2018-08-24 | Paper |
Multi-amalgamated triple graph grammars
Graph Transformation | 2015-09-22 | Paper |
A static analysis of non-confluent triple graph grammars for efficient model transformation
Graph Transformation | 2014-09-26 | Paper |
Adding graph transformation concepts to UML's constraint language OCL
Electronic Notes in Theoretical Computer Science | 2013-05-24 | Paper |
Construction of integrity preserving triple graph grammars
Lecture Notes in Computer Science | 2012-10-02 | Paper |
Efficient model synchronization with precedence triple graph grammars
Lecture Notes in Computer Science | 2012-10-02 | Paper |
Extended triple graph grammars with efficient and compatible graph translators
Lecture Notes in Computer Science | 2010-11-26 | Paper |
Graph transformations and model-driven engineering: the merits of Manfred Nagl
Lecture Notes in Computer Science | 2010-11-26 | Paper |
Temporal Graph Queries to Support Software Evolution
Lecture Notes in Computer Science | 2008-11-27 | Paper |
Non-materialized Model View Specification with Triple Graph Grammars
Lecture Notes in Computer Science | 2008-11-27 | Paper |
15 Years of Triple Graph Grammars
Lecture Notes in Computer Science | 2008-11-20 | Paper |
GXL: a graph-based standard exchange format for reengineering
Science of Computer Programming | 2006-06-09 | Paper |
| scientific article; zbMATH DE number 2085180 (Why is no real title available?) | 2004-08-09 | Paper |
| scientific article; zbMATH DE number 2016087 (Why is no real title available?) | 2003-12-10 | Paper |
| scientific article; zbMATH DE number 2016093 (Why is no real title available?) | 2003-12-10 | Paper |
| scientific article; zbMATH DE number 1629838 (Why is no real title available?) | 2001-11-06 | Paper |
| scientific article; zbMATH DE number 1629841 (Why is no real title available?) | 2001-11-01 | Paper |
Graph transformation for specification and programming
Science of Computer Programming | 1999-12-20 | Paper |
| scientific article; zbMATH DE number 1231507 (Why is no real title available?) | 1998-12-13 | Paper |
| scientific article; zbMATH DE number 1231488 (Why is no real title available?) | 1998-12-13 | Paper |
| scientific article; zbMATH DE number 919850 (Why is no real title available?) | 1996-08-25 | Paper |
| scientific article; zbMATH DE number 219262 (Why is no real title available?) | 1993-06-29 | Paper |
| scientific article; zbMATH DE number 219232 (Why is no real title available?) | 1993-06-29 | Paper |
| scientific article; zbMATH DE number 177423 (Why is no real title available?) | 1993-05-18 | Paper |
| scientific article; zbMATH DE number 177424 (Why is no real title available?) | 1993-05-18 | Paper |
