Aaron Lye
Orcid: 0000-0003-2987-8661Affiliations:
- University of Bremen, Germany
According to our database1,
Aaron Lye
authored at least 28 papers
between 2014 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
2014
2016
2018
2020
2022
2024
0
1
2
3
4
5
1
1
2
1
1
2
1
1
1
3
2
3
2
1
3
1
2
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on orcid.org
On csauthors.net:
Bibliography
2024
Nat. Comput., June, 2024
Proceedings of the Graph Transformation - 17th International Conference, 2024
2023
Moving a Derivation Along a Derivation Preserves the Spine in Adhesive High-level Replacement Systems.
CoRR, 2023
Proceedings of the Graph Transformation - 16th International Conference, 2023
2022
Context-sensitive fusion grammars and fusion grammars with forbidden context are universal.
Inf. Comput., 2022
Inf. Comput., 2022
A Graph-Transformational Approach for Proving the Correctness of Reductions between NP-Problems.
Proceedings of the Thirteenth International Workshop on Graph Computation Models, 2022
2021
Deciding Non-emptiness of Hypergraph Languages Generated by Connection-preserving Fusion Grammars is NP-complete.
Proceedings of the Language and Automata Theory and Applications, 2021
Transformations of Reaction Systems Over Categories by Means of Epi-Mono Factorization and Functors.
Proceedings of the Graph Transformation - 14th International Conference, 2021
Proceedings of the Graph Transformation - 14th International Conference, 2021
2020
Proceedings of the Eleventh International Workshop on Graph Computation Models, 2020
Proceedings of the Language and Automata Theory and Applications, 2020
2019
Inf. Comput., 2019
Proceedings of the Proceedings Tenth International Workshop on Graph Computation Models, 2019
Proceedings of the Language and Automata Theory and Applications, 2019
Proceedings of the Graph Transformation - 12th International Conference, 2019
2018
Proceedings of the Graph Transformation - 11th International Conference, 2018
Proceedings of the Graph Transformation, Specifications, and Nets, 2018
2017
Proceedings of the Graph Transformation - 10th International Conference, 2017
2016
Proceedings of the Reversible Computation - 8th International Conference, 2016
Proceedings of the Language and Automata Theory and Applications, 2016
Graph Transformation Meets Reversible Circuits: Model Transformation and Optimization.
Proceedings of the Graph Transformation - 9th International Conference, 2016
2015
Determining the minimal number of swap gates for multi-dimensional nearest neighbor quantum circuits.
Proceedings of the 20th Asia and South Pacific Design Automation Conference, 2015
2014
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2014
Considering nearest neighbor constraints of quantum circuits at the reversible circuit level.
Quantum Inf. Process., 2014
Graph Transformation Meets Reversible Circuits: Generation, Evaluation, and Synthesis.
Proceedings of the Graph Transformation - 7th International Conference, 2014
Proceedings of the 19th Asia and South Pacific Design Automation Conference, 2014