Optimal SWAP gate insertion for nearest neighbor quantum circuits. - Robert Wille; Aaron Lye; Rolf Drechsler (ASP-DAC, 2014)

Graph Transformation Meets Reversible Circuits: Generation, Evaluation, and Synthesis. - Hans-Jörg Kreowski; Sabine Kuske; Aaron Lye; Melanie Luderer (ICGT, 2014)

Considering nearest neighbor constraints of quantum circuits at the reversible circuit level. - Robert Wille; Aaron Lye; Rolf Drechsler (Quantum Inf. Process., 2014)

Exact Reordering of Circuit Lines for Nearest Neighbor Quantum Architectures. - Robert Wille; Aaron Lye; Rolf Drechsler (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2014)

Determining the minimal number of swap gates for multi-dimensional nearest neighbor quantum circuits. - Aaron Lye; Robert Wille; Rolf Drechsler (ASP-DAC, 2015)

Graph Transformation Meets Reversible Circuits: Model Transformation and Optimization. - Hans-Jörg Kreowski; Sabine Kuske; Aaron Lye; Caro von Totth (ICGT, 2016)

Canonical Multi-target Toffoli Circuits. - Hans-Jörg Kreowski; Sabine Kuske; Aaron Lye (LATA, 2016)

Checking Reversibility of Boolean Functions. - Robert Wille; Aaron Lye; Philipp Niemann 001 (RC, 2016)

Fusion Grammars: A Novel Approach to the Generation of Graph Languages. - Hans-Jörg Kreowski; Sabine Kuske; Aaron Lye (ICGT, 2017)

A Simple Notion of Parallel Graph Transformation and Its Perspectives. - Hans-Jörg Kreowski; Sabine Kuske; Aaron Lye (Graph Transformation, Specifications, and Nets, 2018)

Splicing/Fusion Grammars and Their Relation to Hypergraph Grammars. - Hans-Jörg Kreowski; Sabine Kuske; Aaron Lye (ICGT, 2018)

Relating DNA Computing and Splitting/Fusion Grammars. - Hans-Jörg Kreowski; Sabine Kuske; Aaron Lye (ICGT, 2019)

Transformation of Petri Nets into Context-Dependent Fusion Grammars. - Hans-Jörg Kreowski; Sabine Kuske; Aaron Lye (LATA, 2019)

Transformation of Turing Machines into Context-Dependent Fusion Grammars. - Aaron Lye (GCM@STAF, 2019)

Canonical mixed-polarity multi-target Toffoli circuits: Shift and removal. - Hans-Jörg Kreowski; Aaron Lye (Inf. Comput., 2019)

Context-Sensitive Fusion Grammars Are Universal. - Aaron Lye (LATA, 2020)

Graph Surfing in Reaction Systems from a Categorial Perspective. - Hans-Jörg Kreowski; Aaron Lye (GCM@STAF, 2020)

A Case Study on the Graph-Transformational Modeling and Analysis of Puzzles. - Hans-Jörg Kreowski; Aaron Lye (ICGT, 2021)

Transformations of Reaction Systems Over Categories by Means of Epi-Mono Factorization and Functors. - Aaron Lye (ICGT, 2021)

Deciding Non-emptiness of Hypergraph Languages Generated by Connection-preserving Fusion Grammars is NP-complete. - Aaron Lye (LATA, 2021)

A categorial approach to reaction systems: First steps. - Hans-Jörg Kreowski; Aaron Lye (Theor. Comput. Sci., 2021)

A Graph-Transformational Approach for Proving the Correctness of Reductions between NP-Problems. - Hans-Jörg Kreowski; Sabine Kuske; Aaron Lye; Aljoscha Windhorst (GCM@STAF, 2022)

Transformation of variants of Petri nets into context-dependent fusion grammars. - Hans-Jörg Kreowski; Sabine Kuske; Aaron Lye (Inf. Comput., 2022)

Context-sensitive fusion grammars and fusion grammars with forbidden context are universal. - Aaron Lye (Inf. Comput., 2022)

Moving a Derivation Along a Derivation Preserves the Spine. - Hans-Jörg Kreowski; Sabine Kuske; Aaron Lye; Aljoscha Windhorst (ICGT, 2023)

Moving a Derivation Along a Derivation Preserves the Spine in Adhesive High-level Replacement Systems. - Hans-Jörg Kreowski; Aaron Lye; Aljoscha Windhorst (CoRR, 2023)

Extension and Restriction of Derivations in Adhesive Categories. - Hans-Jörg Kreowski; Aaron Lye; Aljoscha Windhorst (ICGT, 2024)

Modeling NP-problems with families of extended graph-based reaction systems. - Hans-Jörg Kreowski; Aaron Lye (Nat. Comput., 2024)

Post-Quantum Cryptography for Maritime Systems. - Daniel Berger; Aaron Lye; Anton Maidl; Jannis Stoppe; Aljoscha Windhorst (CSR, 2025)

Graph-Transformational Threat Modeling. - Lars Friederichs; Aaron Lye (ICGT, 2025)

Parallel Rule Application with Doubling Avoidance. - Hans-Jörg Kreowski; Aaron Lye (ICGT, 2025)

Moving a Derivation Along a Derivation Preserves the Spine in Adhesive Categories. - Hans-Jörg Kreowski; Aaron Lye; Aljoscha Windhorst (Log. Methods Comput. Sci., 2025)