Aaron Lye

Aljoscha Windhorst

CoRR, 2023

Moving a Derivation Along a Derivation Preserves the Spine.

[BibT_eX]

[DOI]

Proceedings of the Graph Transformation - 16th International Conference, 2023

2022

Context-sensitive fusion grammars and fusion grammars with forbidden context are universal.

[BibT_eX]

[DOI]

Inf. Comput., 2022

Transformation of variants of Petri nets into context-dependent fusion grammars.

[BibT_eX]

[DOI]

Inf. Comput., 2022

A Graph-Transformational Approach for Proving the Correctness of Reductions between NP-Problems.

[BibT_eX]

[DOI]

Proceedings of the Thirteenth International Workshop on Graph Computation Models, 2022

2021

A categorial approach to reaction systems: First steps.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 2021

Deciding Non-emptiness of Hypergraph Languages Generated by Connection-preserving Fusion Grammars is NP-complete.

[BibT_eX]

[DOI]

Proceedings of the Language and Automata Theory and Applications, 2021

Transformations of Reaction Systems Over Categories by Means of Epi-Mono Factorization and Functors.

[BibT_eX]

[DOI]

Proceedings of the Graph Transformation - 14th International Conference, 2021

A Case Study on the Graph-Transformational Modeling and Analysis of Puzzles.

[BibT_eX]

[DOI]

Proceedings of the Graph Transformation - 14th International Conference, 2021

2020

Graph Surfing in Reaction Systems from a Categorial Perspective.

[BibT_eX]

[DOI]

Proceedings of the Eleventh International Workshop on Graph Computation Models, 2020

Context-Sensitive Fusion Grammars Are Universal.

[BibT_eX]

[DOI]

Proceedings of the Language and Automata Theory and Applications, 2020

2019

Canonical mixed-polarity multi-target Toffoli circuits: Shift and removal.

[BibT_eX]

[DOI]

Inf. Comput., 2019

Transformation of Turing Machines into Context-Dependent Fusion Grammars.

[BibT_eX]

[DOI]

Proceedings of the Proceedings Tenth International Workshop on Graph Computation Models, 2019

Transformation of Petri Nets into Context-Dependent Fusion Grammars.

[BibT_eX]

[DOI]

Proceedings of the Language and Automata Theory and Applications, 2019

Relating DNA Computing and Splitting/Fusion Grammars.

[BibT_eX]

[DOI]

Proceedings of the Graph Transformation - 12th International Conference, 2019

2018

Splicing/Fusion Grammars and Their Relation to Hypergraph Grammars.

[BibT_eX]

[DOI]

Proceedings of the Graph Transformation - 11th International Conference, 2018

A Simple Notion of Parallel Graph Transformation and Its Perspectives.

[BibT_eX]

[DOI]

Proceedings of the Graph Transformation, Specifications, and Nets, 2018

2017

Fusion Grammars: A Novel Approach to the Generation of Graph Languages.

[BibT_eX]

[DOI]

Proceedings of the Graph Transformation - 10th International Conference, 2017

2016

Checking Reversibility of Boolean Functions.

[BibT_eX]

[DOI]

Philipp Niemann

Proceedings of the Reversible Computation - 8th International Conference, 2016

Canonical Multi-target Toffoli Circuits.

[BibT_eX]

[DOI]

Proceedings of the Language and Automata Theory and Applications, 2016

Graph Transformation Meets Reversible Circuits: Model Transformation and Optimization.

[BibT_eX]

[DOI]

Proceedings of the Graph Transformation - 9th International Conference, 2016

2015

Determining the minimal number of swap gates for multi-dimensional nearest neighbor quantum circuits.

[BibT_eX]

[DOI]

Proceedings of the 20th Asia and South Pacific Design Automation Conference, 2015

2014

Exact Reordering of Circuit Lines for Nearest Neighbor Quantum Architectures.

[BibT_eX]

[DOI]

IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2014

Considering nearest neighbor constraints of quantum circuits at the reversible circuit level.

[BibT_eX]

[DOI]

Quantum Inf. Process., 2014

Graph Transformation Meets Reversible Circuits: Generation, Evaluation, and Synthesis.

[BibT_eX]

[DOI]

Proceedings of the Graph Transformation - 7th International Conference, 2014

Optimal SWAP gate insertion for nearest neighbor quantum circuits.

[BibT_eX]

[DOI]