| Publication | Date of Publication | Type |
|---|
A generic construction for crossovers of graph-like structures and its realization in the Eclipse Modeling Framework
Journal of Logical and Algebraic Methods in Programming | 2024-02-12 | Paper |
Finding the right way to Rome: effect-oriented graph transformation
| 2024-01-12 | Paper |
A Generic Construction for Crossovers of Graph-Like Structures
| 2022-12-07 | Paper |
A generalized concurrent rule construction for double-pushout rewriting: generalized concurrency theorem and language-preserving rule applications
Journal of Logical and Algebraic Methods in Programming | 2022-11-16 | Paper |
Graph consistency as a graduated property. Consistency-sustaining and -improving graph transformations
Graph Transformation | 2022-09-01 | Paper |
Canonical derivations for high-level replacement systems
Graph Transformations in Computer Science | 2022-08-16 | Paper |
Amalgamated graph transformations and their use for specifying AGG -- an algebraic graph grammar system
Graph Transformations in Computer Science | 2022-08-16 | Paper |
A generalized concurrent rule construction for double-pushout rewriting
| 2022-03-21 | Paper |
Generating instance models from meta models
Lecture Notes in Computer Science | 2021-05-25 | 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 optimized constraint-preserving application conditions for model transformation rules
Journal of Logical and Algebraic Methods in Programming | 2020-07-14 | Paper |
Constructing constraint-preserving interaction schemes in adhesive categories
| 2020-06-08 | Paper |
Change-Preserving Model Repair
Fundamental Approaches to Software Engineering | 2020-02-13 | Paper |
Adhesive subcategories of functor categories with instantiation to partial triple graphs
| 2020-02-06 | Paper |
Constructing optimized validity-preserving application conditions for graph transformation rules
| 2020-02-06 | Paper |
Exploring conflict reasons for graph transformation systems
| 2020-02-06 | Paper |
Granularity of conflicts and dependencies in graph transformation systems
Graph Transformation | 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
Journal of Logical and Algebraic Methods in Programming | 2019-03-27 | Paper |
Hierarchically distributed graph transformation
Lecture Notes in Computer Science | 2019-01-10 | Paper |
Initial conflicts and dependencies: critical pairs revisited
| 2018-04-04 | Paper |
Variability-based model transformation: formal foundation and application
Formal Aspects of Computing | 2018-02-02 | Paper |
\textit{RuleMerger}: automatic construction of variability-based model transformation rules
Fundamental Approaches to Software Engineering | 2016-04-21 | Paper |
Towards Local Confluence Analysis for Amalgamated Graph Transformation
Graph Transformation | 2015-09-22 | Paper |
Translating essential OCL invariants to nested graph constraints focusing on set operations
Graph Transformation | 2015-09-22 | Paper |
Multi-amalgamated triple graph grammars
Graph Transformation | 2015-09-22 | Paper |
From Core OCL invariants to nested graph constraints
Graph Transformation | 2014-09-26 | Paper |
A static analysis of non-confluent triple graph grammars for efficient model transformation
Graph Transformation | 2014-09-26 | Paper |
A typed attributed graph grammar with inheritance for the abstract syntax of UML class and sequence diagrams
Electronic Notes in Theoretical Computer Science | 2014-03-21 | Paper |
Translation of restricted OCL constraints into graph constraints for generating meta model instances by graph grammars
Electronic Notes in Theoretical Computer Science | 2014-03-21 | Paper |
Parallel graph transformation for model simulation applied to timed transition Petri nets
| 2013-09-11 | Paper |
Visual Modeling of Distributed Object Systems by Graph Transformation
Electronic Notes in Theoretical Computer Science | 2013-05-24 | Paper |
Towards common exchange formats for graphs and graph transformation systems
Electronic Notes in Theoretical Computer Science | 2013-05-24 | Paper |
Co-transformation of graphs and type graphs with application to model co-evolution
Lecture Notes in Computer Science | 2012-10-02 | Paper |
Construction of integrity preserving triple graph grammars
Lecture Notes in Computer Science | 2012-10-02 | Paper |
Transformation of typed composite graphs with inheritance and containment structures
Fundamenta Informaticae | 2012-07-11 | Paper |
Parallel independence of amalgamated graph transformations applied to model transformation
Lecture Notes in Computer Science | 2010-11-26 | Paper |
A component concept for typed graphs with inheritance and containment structures
Lecture Notes in Computer Science | 2010-10-04 | Paper |
Conflict detection for model versioning based on graph modifications
Lecture Notes in Computer Science | 2010-10-04 | Paper |
scientific article; zbMATH DE number 5605118 (Why is no real title available?)
| 2009-09-19 | Paper |
Termination Analysis of Model Transformations by Petri Nets
Lecture Notes in Computer Science | 2008-11-27 | Paper |
Fundamental Approaches to Software Engineering
Lecture Notes in Computer Science | 2007-11-28 | 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 |
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 |
Diagrammatic Representation and Inference
Lecture Notes in Computer Science | 2005-12-27 | Paper |
Formal Methods in Software and Systems Modeling
Lecture Notes in Computer Science | 2005-12-02 | Paper |
Fundamental Approaches to Software Engineering
Lecture Notes in Computer Science | 2005-09-13 | Paper |
Fundamental Approaches to Software Engineering
Lecture Notes in Computer Science | 2005-09-13 | Paper |
scientific article; zbMATH DE number 2016074 (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 2013194 (Why is no real title available?)
| 2003-12-04 | Paper |
scientific article; zbMATH DE number 2006493 (Why is no real title available?)
| 2003-11-20 | Paper |
scientific article; zbMATH DE number 1860630 (Why is no real title available?)
| 2002-01-01 | Paper |
scientific article; zbMATH DE number 1629954 (Why is no real title available?)
| 2001-11-04 | Paper |
scientific article; zbMATH DE number 1629831 (Why is no real title available?)
| 2001-11-01 | Paper |
scientific article; zbMATH DE number 1504834 (Why is no real title available?)
| 2000-09-12 | Paper |
Distributed graphs and graph transformation
Applied Categorical Structures | 2000-08-03 | 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 |
Parallel high-level replacement systems
Theoretical Computer Science | 1998-06-30 | Paper |
scientific article; zbMATH DE number 919847 (Why is no real title available?)
| 1996-08-25 | Paper |
scientific article; zbMATH DE number 919851 (Why is no real title available?)
| 1996-08-25 | Paper |
scientific article; zbMATH DE number 176940 (Why is no real title available?)
| 1993-05-18 | Paper |
scientific article; zbMATH DE number 177464 (Why is no real title available?)
| 1993-05-18 | Paper |
