| Publication | Date of Publication | Type |
|---|
A graph-transformational approach for proving the correctness of reductions between NP-problems
(available as arXiv preprint) | 2024-02-20 | Paper |
| A graph-transformational approach for proving the correctness of reductions between NP-problems | 2024-02-20 | Paper |
| Moving a derivation along a derivation preserves the spine | 2024-01-12 | Paper |
Transformation of variants of Petri nets into context-dependent fusion grammars
Information and Computation | 2022-06-13 | Paper |
| Relating DNA computing and splitting/fusion grammars | 2020-02-06 | Paper |
| Transformation of Petri nets into context-dependent fusion grammars | 2019-12-04 | Paper |
Fusion grammars: a novel approach to the generation of graph languages
Graph Transformation | 2019-11-22 | Paper |
On the interleaving semantics of transformation units -- a step into GRACE
Lecture Notes in Computer Science | 2019-01-10 | Paper |
| Splicing/fusion grammars and their relation to hypergraph grammars | 2018-08-24 | Paper |
| A simple notion of parallel graph transformation and its perspectives | 2018-04-04 | Paper |
Production networks as communities of autonomous units and their stability
International Electronic Journal of Pure and Applied Mathematics | 2016-12-12 | Paper |
Graph transformation meets reversible circuits: model transformation and optimization
Graph Transformation | 2016-09-05 | Paper |
Canonical multi-target Toffoli circuits
Language and Automata Theory and Applications | 2016-04-13 | Paper |
Graph transformation meets reversible circuits: generation, evaluation, and synthesis
Graph Transformation | 2014-09-26 | Paper |
GRACE as a unifying approach to graph-transformation-based specification1 1This work was partially supported by the ESPRIT Working Group Applications of Graph Transformation (APPLIGRAPH) and the EC TMR Network GETGRATS (General Theory of Graph Transformation Systems).
Electronic Notes in Theoretical Computer Science | 2013-05-24 | Paper |
Structured modeling with GRACE
Electronic Notes in Theoretical Computer Science | 2013-05-24 | Paper |
Parameterized transformation units
Electronic Notes in Theoretical Computer Science | 2013-05-24 | Paper |
Combining graph transformation and algebraic specification into model transformation
Recent Trends in Algebraic Development Techniques | 2012-06-08 | Paper |
Polynomial graph transformability
Theoretical Computer Science | 2012-05-30 | Paper |
Graph multiset transformation: a new framework for massively parallel computation inspired by DNA computing
Natural Computing | 2011-07-28 | Paper |
Autonomous units and their semantics -- the concurrent case
Lecture Notes in Computer Science | 2010-11-26 | Paper |
Graph transformation units guided by a SAT solver
Lecture Notes in Computer Science | 2010-10-04 | Paper |
Approach-independent structuring concepts for rule-based systems.
Lecture Notes in Computer Science | 2010-04-20 | Paper |
| Autonomous units to model interacting sequential and parallel processes | 2009-07-14 | Paper |
Autonomous Units and Their Semantics — The Sequential Case
Lecture Notes in Computer Science | 2008-11-27 | Paper |
Graph Multiset Transformation as a Framework for Massively Parallel Computation
Lecture Notes in Computer Science | 2008-11-20 | Paper |
Graph Transformation Units – An Overview
Concurrency, Graphs and Models | 2008-06-19 | Paper |
Autonomous Units and Their Semantics - The Parallel Case
Recent Trends in Algebraic Development Techniques | 2007-09-10 | Paper |
Graph Transformations
Lecture Notes in Computer Science | 2007-06-21 | Paper |
Abstract hierarchical graph transformation
Mathematical Structures in Computer Science | 2005-10-18 | Paper |
| scientific article; zbMATH DE number 2086943 (Why is no real title available?) | 2004-08-11 | Paper |
| scientific article; zbMATH DE number 2016077 (Why is no real title available?) | 2003-12-10 | Paper |
| scientific article; zbMATH DE number 2006492 (Why is no real title available?) | 2003-11-20 | Paper |
| scientific article; zbMATH DE number 1629837 (Why is no real title available?) | 2001-11-06 | Paper |
| scientific article; zbMATH DE number 1629840 (Why is no real title available?) | 2001-11-06 | Paper |
Graph transformation units with interleaving semantics
Formal Aspects of Computing | 2000-08-27 | Paper |
Graph transformation for specification and programming
Science of Computer Programming | 1999-12-20 | Paper |
| scientific article; zbMATH DE number 1231498 (Why is no real title available?) | 1998-12-13 | Paper |
| scientific article; zbMATH DE number 522860 (Why is no real title available?) | 1994-03-24 | Paper |
