Aaron Lye

Publication Activity (10 Years)

Years Active: 2014-2024
Publications (10 Years): 24

Top Topics

Nearest Neighbor

Top Venues

Publications

Hans-Jörg Kreowski, Aaron Lye
Modeling NP-problems with families of extended graph-based reaction systems. Nat. Comput. 23 (2) (2024)
Hans-Jörg Kreowski, Aaron Lye, Aljoscha Windhorst
Extension and Restriction of Derivations in Adhesive Categories. ICGT (2024)
Hans-Jörg Kreowski, Aaron Lye, Aljoscha Windhorst
Moving a Derivation Along a Derivation Preserves the Spine in Adhesive High-level Replacement Systems. CoRR (2023)
Hans-Jörg Kreowski, Sabine Kuske, Aaron Lye, Aljoscha Windhorst
Moving a Derivation Along a Derivation Preserves the Spine. ICGT (2023)
Hans-Jörg Kreowski, Sabine Kuske, Aaron Lye, Aljoscha Windhorst
A Graph-Transformational Approach for Proving the Correctness of Reductions between NP-Problems. CoRR (2022)
Hans-Jörg Kreowski, Sabine Kuske, Aaron Lye
Transformation of variants of Petri nets into context-dependent fusion grammars. Inf. Comput. 286 (2022)
Aaron Lye
Context-sensitive fusion grammars and fusion grammars with forbidden context are universal. Inf. Comput. 288 (2022)
Aaron Lye
Deciding Non-emptiness of Hypergraph Languages Generated by Connection-preserving Fusion Grammars is NP-complete. LATA (2021)
Hans-Jörg Kreowski, Aaron Lye
A Case Study on the Graph-Transformational Modeling and Analysis of Puzzles. ICGT (2021)
Hans-Jörg Kreowski, Aaron Lye
A categorial approach to reaction systems: First steps. Theor. Comput. Sci. 881 (2021)
Aaron Lye
Transformations of Reaction Systems Over Categories by Means of Epi-Mono Factorization and Functors. ICGT (2021)
Aaron Lye
Context-Sensitive Fusion Grammars Are Universal. LATA (2020)
Hans-Jörg Kreowski, Aaron Lye
Graph Surfing in Reaction Systems from a Categorial Perspective. GCM@STAF (2020)
Hans-Jörg Kreowski, Sabine Kuske, Aaron Lye
Transformation of Petri Nets into Context-Dependent Fusion Grammars. LATA (2019)
Hans-Jörg Kreowski, Sabine Kuske, Aaron Lye
Relating DNA Computing and Splitting/Fusion Grammars. ICGT (2019)
Aaron Lye
Transformation of Turing Machines into Context-Dependent Fusion Grammars. GCM@STAF (2019)
Hans-Jörg Kreowski, Aaron Lye
Canonical mixed-polarity multi-target Toffoli circuits: Shift and removal. Inf. Comput. 269 (2019)
Hans-Jörg Kreowski, Sabine Kuske, Aaron Lye
Splicing/Fusion Grammars and Their Relation to Hypergraph Grammars. ICGT (2018)
Hans-Jörg Kreowski, Sabine Kuske, Aaron Lye
A Simple Notion of Parallel Graph Transformation and Its Perspectives. Graph Transformation, Specifications, and Nets (2018)
Hans-Jörg Kreowski, Sabine Kuske, Aaron Lye
Fusion Grammars: A Novel Approach to the Generation of Graph Languages. ICGT (2017)
Hans-Jörg Kreowski, Sabine Kuske, Aaron Lye, Caro von Totth
Graph Transformation Meets Reversible Circuits: Model Transformation and Optimization. ICGT (2016)
Robert Wille, Aaron Lye, Philipp Niemann
Checking Reversibility of Boolean Functions. RC (2016)
Hans-Jörg Kreowski, Sabine Kuske, Aaron Lye
Canonical Multi-target Toffoli Circuits. LATA (2016)
Aaron Lye, Robert Wille, Rolf Drechsler
Determining the minimal number of swap gates for multi-dimensional nearest neighbor quantum circuits. ASP-DAC (2015)
Robert Wille, Aaron Lye, Rolf Drechsler
Optimal SWAP gate insertion for nearest neighbor quantum circuits. ASP-DAC (2014)
Hans-Jörg Kreowski, Sabine Kuske, Aaron Lye, Melanie Luderer
Graph Transformation Meets Reversible Circuits: Generation, Evaluation, and Synthesis. ICGT (2014)
Robert Wille, Aaron Lye, Rolf Drechsler
Exact Reordering of Circuit Lines for Nearest Neighbor Quantum Architectures. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 33 (12) (2014)
Robert Wille, Aaron Lye, Rolf Drechsler
Considering nearest neighbor constraints of quantum circuits at the reversible circuit level. Quantum Inf. Process. 13 (2) (2014)