| Publication | Date of Publication | Type |
|---|
Termination criteria for DPO transformations with injective matches
Electronic Notes in Theoretical Computer Science | 2013-12-20 | Paper |
Parallelism and concurrency in adhesive high-level replacement systems with negative application conditions
Electronic Notes in Theoretical Computer Science | 2013-12-06 | Paper |
Towards algebraic high-level systems as weak adhesive HLR categories
Electronic Notes in Theoretical Computer Science | 2013-12-06 | Paper |
Reasoning with graph constraints
Formal Aspects of Computing | 2010-05-28 | Paper |
Consistent integration of models based on views of meta models
Formal Aspects of Computing | 2010-05-28 | Paper |
| scientific article; zbMATH DE number 5606347 (Why is no real title available?) | 2009-09-22 | Paper |
| scientific article; zbMATH DE number 5605118 (Why is no real title available?) | 2009-09-19 | Paper |
| Flattening of generalized algebraic high-level nets. | 2009-09-19 | Paper |
Independence of Net Transformations and Token Firing in Reconfigurable Place/Transition Systems
Petri Nets and Other Models of Concurrency – ICATPN 2007 | 2009-03-11 | Paper |
Categorical Foundations of Distributed Graph Transformation
Lecture Notes in Computer Science | 2008-11-27 | Paper |
Termination Analysis of Model Transformations by Petri Nets
Lecture Notes in Computer Science | 2008-11-27 | Paper |
Embedding and Confluence of Graph Transformations with Negative Application Conditions
Lecture Notes in Computer Science | 2008-11-20 | Paper |
Formal Analysis of Model Transformations Based on Triple Graph Rules with Kernels
Lecture Notes in Computer Science | 2008-11-20 | Paper |
From Algebraic Graph Transformation to Adhesive HLR Categories and Systems
Algebraic Informatics | 2008-09-04 | Paper |
Construction and properties of adhesive and weak adhesive high-level replacement categories
Applied Categorical Structures | 2008-07-30 | Paper |
Transformations in Reconfigurable Place/Transition Systems
Concurrency, Graphs and Models | 2008-06-19 | Paper |
A Logic of Graph Constraints
Fundamental Approaches to Software Engineering | 2008-05-02 | Paper |
Weak Adhesive High-Level Replacement Categories and Systems: A Unifying Framework for Graph and Petri Net Transformations
Algebra, Meaning, and Computation | 2007-09-07 | Paper |
Graph Transformations
Lecture Notes in Computer Science | 2007-06-21 | Paper |
Graph Transformations
Lecture Notes in Computer Science | 2007-06-21 | Paper |
Attributed graph transformation with node type inheritance
Theoretical Computer Science | 2007-05-23 | Paper |
| Adhesive high-level replacement systems: a new categorical framework for graph transformation | 2007-01-19 | Paper |
| Fundamental theory for typed attributed graphs and graph transformation based on adhesive HLR categories | 2007-01-19 | Paper |
Fundamentals of algebraic graph transformation
Monographs in Theoretical Computer Science. An EATCS Series | 2006-05-31 | Paper |
