| Publication | Date of Publication | Type |
|---|
Moving a derivation along a derivation preserves the spine in adhesive categories
Logical Methods in Computer Science | 2025-05-06 | Paper |
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 |
Context-sensitive fusion grammars and fusion grammars with forbidden context are universal
Information and Computation | 2022-10-13 | Paper |
Transformation of variants of Petri nets into context-dependent fusion grammars
Information and Computation | 2022-06-13 | Paper |
| Transformations of reaction systems over categories by means of epi-mono factorization and functors | 2022-03-21 | 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 |
| scientific article; zbMATH DE number 7453088 (Why is no real title available?) | 2022-01-06 | Paper |
scientific article; zbMATH DE number 7453088 (Why is no real title available?)
(available as arXiv preprint) | 2022-01-06 | Paper |
| Deciding non-emptiness of hypergraph languages generated by connection-preserving fusion grammars is NP-complete | 2021-10-04 | Paper |
A categorial approach to reaction systems: first steps
Theoretical Computer Science | 2021-08-11 | Paper |
| Context-sensitive fusion grammars are universal | 2020-07-27 | 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 |
Fusion grammars: a novel approach to the generation of graph languages
Graph Transformation | 2019-11-22 | 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 |
Graph transformation meets reversible circuits: model transformation and optimization
Graph Transformation | 2016-09-05 | Paper |
Checking Reversibility of Boolean Functions
Reversible Computation | 2016-08-10 | 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 |
Considering nearest neighbor constraints of quantum circuits at the reversible circuit level
Quantum Information Processing | 2014-06-13 | Paper |
