| Publication | Date of Publication | Type |
|---|
| 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 | 2022-12-09 | Paper |
| Hyperedge replacement with rendezvous | 2022-11-02 | Paper |
| Canonical derivations for high-level replacement systems | 2022-08-16 | Paper |
| Transformation of variants of Petri nets into context-dependent fusion grammars | 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 |
| A categorial approach to reaction systems: first steps | 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 | 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 | 2019-11-28 | Paper |
| Fusion grammars: a novel approach to the generation of graph languages | 2019-11-22 | Paper |
| On the interleaving semantics of transformation units -- a step into GRACE | 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 | 2016-12-12 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2821321 | 2016-09-19 | Paper |
| Graph transformation meets reversible circuits: model transformation and optimization | 2016-09-05 | Paper |
| Canonical multi-target Toffoli circuits | 2016-04-13 | Paper |
| Graph transformation meets reversible circuits: generation, evaluation, and synthesis | 2014-09-26 | Paper |
| Structured modeling with GRACE | 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). | 2013-05-24 | Paper |
| Combining graph transformation and algebraic specification into model transformation | 2012-06-08 | Paper |
| Polynomial graph transformability | 2012-05-30 | Paper |
| Graph multiset transformation: a new framework for massively parallel computation inspired by DNA computing | 2011-07-28 | Paper |
| Autonomous units and their semantics -- the concurrent case | 2010-11-26 | Paper |
| Graph transformation units guided by a SAT solver | 2010-10-04 | Paper |
| Approach-independent structuring concepts for rule-based systems. | 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 | 2009-03-26 | Paper |
| Autonomous Units and Their Semantics — The Sequential Case | 2008-11-27 | Paper |
| Graph Multiset Transformation as a Framework for Massively Parallel Computation | 2008-11-20 | Paper |
| Graph Transformation Units – An Overview | 2008-06-19 | Paper |
| Autonomous Units and Their Semantics - The Parallel Case | 2007-09-10 | Paper |
| Graph Transformations | 2007-06-21 | Paper |
| Formal Methods in Software and Systems Modeling | 2005-12-02 | Paper |
| Formal Methods in Software and Systems Modeling | 2005-12-02 | Paper |
| Abstract hierarchical graph transformation | 2005-10-18 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4819885 | 2004-10-05 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4738293 | 2004-08-11 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4737550 | 2004-08-11 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4436351 | 2003-12-04 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4431346 | 2003-10-21 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4430324 | 2003-10-20 | Paper |
| Criteria to disprove context freeness of collage languages. | 2003-08-17 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4782112 | 2002-11-27 | Paper |
| Table-driven and context-sensitive collage languages | 2002-11-04 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4540961 | 2002-07-28 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4702597 | 2001-01-29 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4790387 | 2001-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4502815 | 2000-09-12 | Paper |
| Graph transformation units with interleaving semantics | 2000-08-27 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4934343 | 2000-04-26 | Paper |
| Graph transformation for specification and programming | 1999-12-20 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4222807 | 1998-12-13 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4378146 | 1998-06-11 | Paper |
| Generating self-affine fractals by collage grammars | 1997-02-28 | Paper |
| Equivalence and difference between institutions: simulating Horn Clause Logic with based algebras | 1996-11-04 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4874658 | 1996-08-13 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4763518 | 1995-04-18 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4284229 | 1994-03-24 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4694766 | 1993-06-29 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4036775 | 1993-05-18 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4037291 | 1993-05-18 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4037322 | 1993-05-18 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4037320 | 1993-05-18 | Paper |
| Parallelism and concurrency in high-level replacement systems | 1992-09-26 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4002451 | 1992-09-18 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4711083 | 1992-06-25 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4713365 | 1992-06-25 | Paper |
| A comparison of compatible, finite, and inductive graph properties | 1992-06-25 | Paper |
| Introduction to graph grammars with applications to semantic networks | 1992-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3486868 | 1991-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3486869 | 1991-01-01 | Paper |
| On structured graph grammars. II | 1990-01-01 | Paper |
| On structured graph grammars. I | 1990-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3355246 | 1990-01-01 | Paper |
| Metatheorems for decision problems on hyperedge replacement graph languages | 1989-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3811685 | 1988-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3796794 | 1988-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3761676 | 1987-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3774975 | 1987-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3785911 | 1987-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3785912 | 1987-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3785988 | 1987-01-01 | Paper |
| Characteristics of graph languages generated by edge replacement | 1987-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3815541 | 1987-01-01 | Paper |
| Net processes correspond to derivation processes in graph grammars | 1986-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3774980 | 1986-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3330487 | 1984-01-01 | Paper |
| Parameter passing in algebraic specification languages | 1984-01-01 | Paper |
| Note on node-rewriting graph grammars | 1984-01-01 | Paper |
| Compatibility of parameter passing and implementation of parameterized data types | 1983-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3673131 | 1983-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3325016 | 1983-01-01 | Paper |
| Algebraic implementation of abstract data types | 1982-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3325062 | 1982-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3947104 | 1982-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3948611 | 1981-01-01 | Paper |
| Transformations of structures: An algebraic approach | 1981-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3902495 | 1981-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3907067 | 1980-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3906461 | 1980-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3907050 | 1980-01-01 | Paper |
| Applications of graph grammar theory to consistency, synchronization and scheduling in data base systems | 1980-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3875329 | 1980-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3885176 | 1980-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3868773 | 1979-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4178514 | 1979-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4194482 | 1979-01-01 | Paper |
| Pushout-Properties: An analysis of gluing constructions for graphs | 1979-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4199504 | 1979-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3851591 | 1979-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4170255 | 1979-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4158499 | 1978-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4160385 | 1978-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4170201 | 1978-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4125806 | 1977-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4125739 | 1977-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4128028 | 1977-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4154425 | 1976-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4125801 | 1976-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4125802 | 1976-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4128447 | 1976-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4133158 | 1976-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4135017 | 1976-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4157955 | 1976-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4122833 | 1976-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4109586 | 1976-01-01 | Paper |
| Systematic approach to reduction and minimization in automata and system theory | 1976-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4063357 | 1975-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4144213 | 1975-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4041460 | 1974-01-01 | Paper |
| Kategorielle Theorie der Reduktion, Minimierung und Äquivalenz von Automaten | 1974-01-01 | Paper |
