Aaron Lye

Available identifiers

zbMath Open lye.aaronWikidataQ71006060 ScholiaQ71006060MaRDI QIDQ782582

List of research outcomes

Publication	Date of Publication	Type
https://portal.mardi4nfdi.de/entity/Q6198044	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	2022-10-13	Paper
Transformation of variants of Petri nets into context-dependent fusion grammars	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
https://portal.mardi4nfdi.de/entity/Q5021221	2022-01-12	Paper
https://portal.mardi4nfdi.de/entity/Q5020537	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	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	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	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	2016-09-05	Paper
Checking Reversibility of Boolean Functions	2016-08-10	Paper
Canonical Multi-target Toffoli Circuits	2016-04-13	Paper
Graph Transformation Meets Reversible Circuits: Generation, Evaluation, and Synthesis	2014-09-26	Paper
Considering nearest neighbor constraints of quantum circuits at the reversible circuit level	2014-06-13	Paper

Research outcomes over time

This page was built for person: Aaron Lye