Aaron Lye

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

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
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

Research outcomes over time

This page was built for person: Aaron Lye