| Publication | Date of Publication | Type |
|---|
Graph-theoretic properties compatible with graph derivations
Graph-Theoretic Concepts in Computer Science | 2024-02-28 | Paper |
| scientific article; zbMATH DE number 7453090 (Why is no real title available?) | 2022-01-06 | Paper |
scientific article; zbMATH DE number 7453090 (Why is no real title available?)
(available as arXiv preprint) | 2022-01-06 | Paper |
Chain-code pictures and collages generated by hyperedge replacement
Lecture Notes in Computer Science | 2019-01-10 | Paper |
Graph unification and matching
Lecture Notes in Computer Science | 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
Mathematical Structures in Computer Science | 2016-07-26 | Paper |
-adhesive transformation systems with nested application conditions. Part 1: parallelism, concurrency and amalgamation
Mathematical Structures in Computer Science | 2016-07-26 | Paper |
Translating essential OCL invariants to nested graph constraints focusing on set operations
Graph Transformation | 2015-09-22 | Paper |
From Core OCL invariants to nested graph constraints
Graph Transformation | 2014-09-26 | Paper |
Solving equations by graph transformation
Electronic Notes in Theoretical Computer Science | 2013-05-24 | Paper |
\(\mathcal M, \mathcal N\)-adhesive transformation systems
Lecture Notes in Computer Science | 2012-10-02 | Paper |
\(\mathcal M\)-adhesive transformation systems with nested application conditions. II: Embedding, critical pairs and local confluence
Fundamenta Informaticae | 2012-07-11 | Paper |
Local Confluence for Rules with Nested Application Conditions
Lecture Notes in Computer Science | 2010-10-04 | Paper |
Multi-amalgamation in adhesive categories
Lecture Notes in Computer Science | 2010-10-04 | Paper |
Correctness of high-level transformation systems relative to nested conditions
Mathematical Structures in Computer Science | 2009-05-06 | Paper |
Satisfiability of High-Level Conditions
Lecture Notes in Computer Science | 2008-11-27 | Paper |
Weakest Preconditions for High-Level Programs
Lecture Notes in Computer Science | 2008-11-27 | Paper |
High-Level Programs and Program Conditions
Lecture Notes in Computer Science | 2008-11-20 | Paper |
Workshop on Graph Computation Models
Lecture Notes in Computer Science | 2008-11-20 | Paper |
Graph Transformations
Lecture Notes in Computer Science | 2007-06-21 | Paper |
Graph Transformations
Lecture Notes in Computer Science | 2007-06-21 | Paper |
Graph Transformations
Lecture Notes in Computer Science | 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
Lecture Notes in Computer Science | 2005-12-02 | Paper |
Fundamental Approaches to Software Engineering
Lecture Notes in Computer Science | 2005-09-13 | Paper |
| scientific article; zbMATH DE number 2016072 (Why is no real title available?) | 2003-12-10 | Paper |
| scientific article; zbMATH DE number 1995128 (Why is no real title available?) | 2003-10-21 | Paper |
| scientific article; zbMATH DE number 1988965 (Why is no real title available?) | 2003-10-20 | Paper |
Double-pushout graph transformation revisited
MSCS. Mathematical Structures in Computer Science | 2002-06-15 | Paper |
| scientific article; zbMATH DE number 1701353 (Why is no real title available?) | 2002-02-05 | Paper |
| scientific article; zbMATH DE number 1418369 (Why is no real title available?) | 2001-03-12 | Paper |
| scientific article; zbMATH DE number 1504830 (Why is no real title available?) | 2000-09-12 | Paper |
Graph transformation for specification and programming
Science of Computer Programming | 1999-12-20 | Paper |
| scientific article; zbMATH DE number 1231490 (Why is no real title available?) | 1998-12-13 | Paper |
| scientific article; zbMATH DE number 969074 (Why is no real title available?) | 1997-06-24 | Paper |
Generating self-affine fractals by collage grammars
Theoretical Computer Science | 1997-02-28 | Paper |
| scientific article; zbMATH DE number 919847 (Why is no real title available?) | 1996-08-25 | Paper |
Hyperedge replacement: grammars and languages
Lecture Notes in Computer Science | 1993-09-20 | Paper |
| scientific article; zbMATH DE number 219278 (Why is no real title available?) | 1993-06-29 | Paper |
| scientific article; zbMATH DE number 177439 (Why is no real title available?) | 1993-05-18 | Paper |
| scientific article; zbMATH DE number 177447 (Why is no real title available?) | 1993-05-18 | Paper |
| scientific article; zbMATH DE number 165817 (Why is no real title available?) | 1993-05-16 | Paper |
Parallelism and concurrency in high-level replacement systems
Mathematical Structures in Computer Science | 1992-09-26 | Paper |
| scientific article; zbMATH DE number 965 (Why is no real title available?) | 1992-06-25 | Paper |
A comparison of compatible, finite, and inductive graph properties
Theoretical Computer Science | 1992-06-25 | Paper |
Introduction to graph grammars with applications to semantic networks
Computers & Mathematics with Applications | 1992-01-01 | Paper |
| scientific article; zbMATH DE number 4160147 (Why is no real title available?) | 1991-01-01 | Paper |
| scientific article; zbMATH DE number 4160146 (Why is no real title available?) | 1991-01-01 | Paper |
Metatheorems for decision problems on hyperedge replacement graph languages
Acta Informatica | 1989-01-01 | Paper |
| scientific article; zbMATH DE number 4062634 (Why is no real title available?) | 1988-01-01 | Paper |
| scientific article; zbMATH DE number 4080885 (Why is no real title available?) | 1988-01-01 | Paper |
Amalgamation of graph transformations: a synchronization mechanism
Journal of Computer and System Sciences | 1987-01-01 | Paper |
| scientific article; zbMATH DE number 4035178 (Why is no real title available?) | 1987-01-01 | Paper |
| scientific article; zbMATH DE number 4049099 (Why is no real title available?) | 1987-01-01 | Paper |
Characteristics of graph languages generated by edge replacement
Theoretical Computer Science | 1987-01-01 | Paper |
| scientific article; zbMATH DE number 4087049 (Why is no real title available?) | 1987-01-01 | Paper |
| scientific article; zbMATH DE number 3988733 (Why is no real title available?) | 1986-01-01 | Paper |
| scientific article; zbMATH DE number 3951989 (Why is no real title available?) | 1986-01-01 | Paper |
| scientific article; zbMATH DE number 3907796 (Why is no real title available?) | 1985-01-01 | Paper |
| scientific article; zbMATH DE number 3827231 (Why is no real title available?) | 1983-01-01 | Paper |
| scientific article; zbMATH DE number 3854447 (Why is no real title available?) | 1983-01-01 | Paper |
