Aaron Lye

From MaRDI portal
Person:782582

Available identifiers

zbMath Open lye.aaronWikidataQ71006060 ScholiaQ71006060MaRDI QIDQ782582

List of research outcomes





PublicationDate of PublicationType
https://portal.mardi4nfdi.de/entity/Q61980442024-02-20Paper
Moving a derivation along a derivation preserves the spine2024-01-12Paper
Context-sensitive fusion grammars and fusion grammars with forbidden context are universal2022-10-13Paper
Transformation of variants of Petri nets into context-dependent fusion grammars2022-06-13Paper
Transformations of reaction systems over categories by means of epi-mono factorization and functors2022-03-21Paper
A case study on the graph-transformational modeling and analysis of puzzles2022-03-21Paper
https://portal.mardi4nfdi.de/entity/Q50212212022-01-12Paper
https://portal.mardi4nfdi.de/entity/Q50205372022-01-06Paper
Deciding non-emptiness of hypergraph languages generated by connection-preserving fusion grammars is NP-complete2021-10-04Paper
A categorial approach to reaction systems: first steps2021-08-11Paper
Context-sensitive fusion grammars are universal2020-07-27Paper
Relating DNA computing and splitting/fusion grammars2020-02-06Paper
Canonical mixed-polarity multi-target Toffoli circuits: shift and removal2019-12-18Paper
Transformation of Petri nets into context-dependent fusion grammars2019-12-04Paper
Fusion Grammars: A Novel Approach to the Generation of Graph Languages2019-11-22Paper
Splicing/fusion grammars and their relation to hypergraph grammars2018-08-24Paper
A simple notion of parallel graph transformation and its perspectives2018-04-04Paper
Graph Transformation Meets Reversible Circuits: Model Transformation and Optimization2016-09-05Paper
Checking Reversibility of Boolean Functions2016-08-10Paper
Canonical Multi-target Toffoli Circuits2016-04-13Paper
Graph Transformation Meets Reversible Circuits: Generation, Evaluation, and Synthesis2014-09-26Paper
Considering nearest neighbor constraints of quantum circuits at the reversible circuit level2014-06-13Paper

Research outcomes over time

This page was built for person: Aaron Lye