Aaron Lye

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