| 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 |
Criteria to disprove context-freeness of collage languages
Fundamentals of Computation Theory | 2022-12-09 | Paper |
Hyperedge replacement with rendezvous
Lecture Notes in Computer Science | 2022-11-02 | Paper |
Canonical derivations for high-level replacement systems
Graph Transformations in Computer Science | 2022-08-16 | Paper |
Transformation of variants of Petri nets into context-dependent fusion grammars
Information and Computation | 2022-06-13 | Paper |
| A case study on the graph-transformational modeling and analysis of puzzles | 2022-03-21 | Paper |
| Graph surfing in reaction systems from a categorial perspective | 2022-01-12 | Paper |
Graph surfing in reaction systems from a categorial perspective
(available as arXiv preprint) | 2022-01-12 | Paper |
A categorial approach to reaction systems: first steps
Theoretical Computer Science | 2021-08-11 | Paper |
| Relating DNA computing and splitting/fusion grammars | 2020-02-06 | Paper |
Canonical mixed-polarity multi-target Toffoli circuits: shift and removal
Information and Computation | 2019-12-18 | Paper |
| Transformation of Petri nets into context-dependent fusion grammars | 2019-12-04 | Paper |
Graph transformation through graph surfing in reaction systems
Journal of Logical and Algebraic Methods in Programming | 2019-11-28 | 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 |
| Graph surfing by reaction systems | 2018-08-24 | 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 |
| scientific article; zbMATH DE number 6628595 (Why is no real title available?) | 2016-09-19 | 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 |
Structured modeling with GRACE
Electronic Notes in Theoretical Computer Science | 2013-05-24 | 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 |
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 |
Contextual Hypergraph Grammars – A New Approach to the Generation of Hypergraph Languages
Developments in Language Theory | 2009-03-26 | 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 |
Formal Methods in Software and Systems Modeling
Lecture Notes in Computer Science | 2005-12-02 | Paper |
Formal Methods in Software and Systems Modeling
Lecture Notes in Computer Science | 2005-12-02 | Paper |
Abstract hierarchical graph transformation
Mathematical Structures in Computer Science | 2005-10-18 | Paper |
| scientific article; zbMATH DE number 2106354 (Why is no real title available?) | 2004-10-05 | Paper |
| scientific article; zbMATH DE number 2087493 (Why is no real title available?) | 2004-08-11 | Paper |
| scientific article; zbMATH DE number 2086943 (Why is no real title available?) | 2004-08-11 | Paper |
| scientific article; zbMATH DE number 2013184 (Why is no real title available?) | 2003-12-04 | Paper |
| scientific article; zbMATH DE number 1995128 (Why is no real title available?) | 2003-10-21 | Paper |
| scientific article; zbMATH DE number 1988995 (Why is no real title available?) | 2003-10-20 | Paper |
Criteria to disprove context freeness of collage languages.
Theoretical Computer Science | 2003-08-17 | Paper |
| scientific article; zbMATH DE number 1836427 (Why is no real title available?) | 2002-11-27 | Paper |
| Table-driven and context-sensitive collage languages | 2002-11-04 | Paper |
| scientific article; zbMATH DE number 1773078 (Why is no real title available?) | 2002-07-28 | Paper |
| scientific article; zbMATH DE number 1368953 (Why is no real title available?) | 2001-01-29 | Paper |
| scientific article; zbMATH DE number 1860659 (Why is no real title available?) | 2001-01-01 | Paper |
| scientific article; zbMATH DE number 1504836 (Why is no real title available?) | 2000-09-12 | Paper |
Graph transformation units with interleaving semantics
Formal Aspects of Computing | 2000-08-27 | Paper |
| scientific article; zbMATH DE number 1390077 (Why is no real title available?) | 2000-04-26 | Paper |
Graph transformation for specification and programming
Science of Computer Programming | 1999-12-20 | Paper |
| scientific article; zbMATH DE number 1231497 (Why is no real title available?) | 1998-12-13 | Paper |
| scientific article; zbMATH DE number 1121419 (Why is no real title available?) | 1998-06-11 | Paper |
Generating self-affine fractals by collage grammars
Theoretical Computer Science | 1997-02-28 | Paper |
Equivalence and difference between institutions: simulating Horn Clause Logic with based algebras
Mathematical Structures in Computer Science | 1996-11-04 | Paper |
| scientific article; zbMATH DE number 871244 (Why is no real title available?) | 1996-08-13 | Paper |
| scientific article; zbMATH DE number 743590 (Why is no real title available?) | 1995-04-18 | Paper |
| scientific article; zbMATH DE number 522836 (Why is no real title available?) | 1994-03-24 | Paper |
| scientific article; zbMATH DE number 219278 (Why is no real title available?) | 1993-06-29 | Paper |
| scientific article; zbMATH DE number 176939 (Why is no real title available?) | 1993-05-18 | Paper |
| scientific article; zbMATH DE number 177418 (Why is no real title available?) | 1993-05-18 | Paper |
| scientific article; zbMATH DE number 177450 (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 |
Parallelism and concurrency in high-level replacement systems
Mathematical Structures in Computer Science | 1992-09-26 | Paper |
| scientific article; zbMATH DE number 52096 (Why is no real title available?) | 1992-09-18 | Paper |
| scientific article; zbMATH DE number 965 (Why is no real title available?) | 1992-06-25 | Paper |
| scientific article; zbMATH DE number 10084 (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 4160146 (Why is no real title available?) | 1991-01-01 | Paper |
| scientific article; zbMATH DE number 4160147 (Why is no real title available?) | 1991-01-01 | Paper |
On structured graph grammars. II
Information Sciences | 1990-01-01 | Paper |
On structured graph grammars. I
Information Sciences | 1990-01-01 | Paper |
| scientific article; zbMATH DE number 4206001 (Why is no real title available?) | 1990-01-01 | Paper |
Metatheorems for decision problems on hyperedge replacement graph languages
Acta Informatica | 1989-01-01 | Paper |
| scientific article; zbMATH DE number 4080885 (Why is no real title available?) | 1988-01-01 | Paper |
| scientific article; zbMATH DE number 4062634 (Why is no real title available?) | 1988-01-01 | Paper |
| scientific article; zbMATH DE number 4011909 (Why is no real title available?) | 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 4049016 (Why is no real title available?) | 1987-01-01 | Paper |
| scientific article; zbMATH DE number 4049017 (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 |
Net processes correspond to derivation processes in graph grammars
Theoretical Computer Science | 1986-01-01 | Paper |
| scientific article; zbMATH DE number 4035184 (Why is no real title available?) | 1986-01-01 | Paper |
| scientific article; zbMATH DE number 3862415 (Why is no real title available?) | 1984-01-01 | Paper |
Parameter passing in algebraic specification languages
Theoretical Computer Science | 1984-01-01 | Paper |
Note on node-rewriting graph grammars
Information Processing Letters | 1984-01-01 | Paper |
Compatibility of parameter passing and implementation of parameterized data types
Theoretical Computer Science | 1983-01-01 | Paper |
| scientific article; zbMATH DE number 3827231 (Why is no real title available?) | 1983-01-01 | Paper |
| scientific article; zbMATH DE number 3856388 (Why is no real title available?) | 1983-01-01 | Paper |
Algebraic implementation of abstract data types
Theoretical Computer Science | 1982-01-01 | Paper |
| scientific article; zbMATH DE number 3856429 (Why is no real title available?) | 1982-01-01 | Paper |
| scientific article; zbMATH DE number 3765116 (Why is no real title available?) | 1982-01-01 | Paper |
| scientific article; zbMATH DE number 3767073 (Why is no real title available?) | 1981-01-01 | Paper |
Transformations of structures: An algebraic approach
Mathematical Systems Theory | 1981-01-01 | Paper |
| scientific article; zbMATH DE number 3711390 (Why is no real title available?) | 1981-01-01 | Paper |
| scientific article; zbMATH DE number 3716779 (Why is no real title available?) | 1980-01-01 | Paper |
| scientific article; zbMATH DE number 3714981 (Why is no real title available?) | 1980-01-01 | Paper |
| scientific article; zbMATH DE number 3716762 (Why is no real title available?) | 1980-01-01 | Paper |
Applications of graph grammar theory to consistency, synchronization and scheduling in data base systems
Information Systems | 1980-01-01 | Paper |
| scientific article; zbMATH DE number 3679167 (Why is no real title available?) | 1980-01-01 | Paper |
| scientific article; zbMATH DE number 3690670 (Why is no real title available?) | 1980-01-01 | Paper |
| scientific article; zbMATH DE number 3671692 (Why is no real title available?) | 1979-01-01 | Paper |
| scientific article; zbMATH DE number 3614206 (Why is no real title available?) | 1979-01-01 | Paper |
| scientific article; zbMATH DE number 3633740 (Why is no real title available?) | 1979-01-01 | Paper |
Pushout-Properties: An analysis of gluing constructions for graphs
Mathematische Nachrichten | 1979-01-01 | Paper |
| scientific article; zbMATH DE number 3640851 (Why is no real title available?) | 1979-01-01 | Paper |
| scientific article; zbMATH DE number 3651722 (Why is no real title available?) | 1979-01-01 | Paper |
| scientific article; zbMATH DE number 3604374 (Why is no real title available?) | 1979-01-01 | Paper |
| scientific article; zbMATH DE number 3591400 (Why is no real title available?) | 1978-01-01 | Paper |
| scientific article; zbMATH DE number 3594631 (Why is no real title available?) | 1978-01-01 | Paper |
| scientific article; zbMATH DE number 3604327 (Why is no real title available?) | 1978-01-01 | Paper |
| scientific article; zbMATH DE number 3551928 (Why is no real title available?) | 1977-01-01 | Paper |
| scientific article; zbMATH DE number 3551869 (Why is no real title available?) | 1977-01-01 | Paper |
| scientific article; zbMATH DE number 3555491 (Why is no real title available?) | 1977-01-01 | Paper |
| scientific article; zbMATH DE number 3585288 (Why is no real title available?) | 1976-01-01 | Paper |
| scientific article; zbMATH DE number 3551920 (Why is no real title available?) | 1976-01-01 | Paper |
| scientific article; zbMATH DE number 3551921 (Why is no real title available?) | 1976-01-01 | Paper |
| scientific article; zbMATH DE number 3555927 (Why is no real title available?) | 1976-01-01 | Paper |
| scientific article; zbMATH DE number 3557261 (Why is no real title available?) | 1976-01-01 | Paper |
| scientific article; zbMATH DE number 3562558 (Why is no real title available?) | 1976-01-01 | Paper |
| scientific article; zbMATH DE number 3589735 (Why is no real title available?) | 1976-01-01 | Paper |
| scientific article; zbMATH DE number 3548465 (Why is no real title available?) | 1976-01-01 | Paper |
| scientific article; zbMATH DE number 3532853 (Why is no real title available?) | 1976-01-01 | Paper |
Systematic approach to reduction and minimization in automata and system theory
Journal of Computer and System Sciences | 1976-01-01 | Paper |
| scientific article; zbMATH DE number 3478775 (Why is no real title available?) | 1975-01-01 | Paper |
| scientific article; zbMATH DE number 3573273 (Why is no real title available?) | 1975-01-01 | Paper |
| scientific article; zbMATH DE number 3455154 (Why is no real title available?) | 1974-01-01 | Paper |
Kategorielle Theorie der Reduktion, Minimierung und Äquivalenz von Automaten
Mathematische Nachrichten | 1974-01-01 | Paper |
