default search action

combined dblp search
author search
venue search
publication search

ask others

Aaron Lye

> Home > Persons

Person information

affiliation: University of Bremen, Germany

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

Journal Articles

see FAQ

What is the meaning of the colors in the publication lists?

2024
[j7]
- view
  authority control:
- export record
  dblp key:
  - journals/nc/KreowskiL24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/nc/KreowskiL24
Hans-Jörg Kreowski, Aaron Lye:
Modeling NP-problems with families of extended graph-based reaction systems. Nat. Comput. 23(2): 309-322 (2024)
2022
[j6]
- view
  authority control:
- export record
  dblp key:
  - journals/iandc/KreowskiKL22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/iandc/KreowskiKL22
Hans-Jörg Kreowski, Sabine Kuske, Aaron Lye:
Transformation of variants of Petri nets into context-dependent fusion grammars. Inf. Comput. 286: 104780 (2022)
[j5]
- view
  authority control:
- export record
  dblp key:
  - journals/iandc/Lye22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/iandc/Lye22
Aaron Lye:
Context-sensitive fusion grammars and fusion grammars with forbidden context are universal. Inf. Comput. 288: 104889 (2022)
2021
[j4]
- view
  authority control:
- export record
  dblp key:
  - journals/tcs/KreowskiL21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/KreowskiL21
Hans-Jörg Kreowski, Aaron Lye:
A categorial approach to reaction systems: First steps. Theor. Comput. Sci. 881: 111-128 (2021)
2019
[j3]
- view
  authority control:
- export record
  dblp key:
  - journals/iandc/KreowskiL19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/iandc/KreowskiL19
Hans-Jörg Kreowski, Aaron Lye:
Canonical mixed-polarity multi-target Toffoli circuits: Shift and removal. Inf. Comput. 269 (2019)
2014
[j2]
- view
  authority control:
- export record
  dblp key:
  - journals/qip/WilleLD14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/qip/WilleLD14
Robert Wille, Aaron Lye, Rolf Drechsler:
Considering nearest neighbor constraints of quantum circuits at the reversible circuit level. Quantum Inf. Process. 13(2): 185-199 (2014)
[j1]
- view
  authority control:
- export record
  dblp key:
  - journals/tcad/WilleLD14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcad/WilleLD14
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): 1818-1831 (2014)

Conference and Workshop Papers

see FAQ

What is the meaning of the colors in the publication lists?

2024
[c20]
- view
  authority control:
- export record
  dblp key:
  - conf/gg/KreowskiLW24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/gg/KreowskiLW24
Hans-Jörg Kreowski, Aaron Lye, Aljoscha Windhorst:
Extension and Restriction of Derivations in Adhesive Categories. ICGT 2024: 59-76
2023
[c19]
- view
  authority control:
- export record
  dblp key:
  - conf/gg/KreowskiKLW23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/gg/KreowskiKLW23
Hans-Jörg Kreowski, Sabine Kuske, Aaron Lye, Aljoscha Windhorst:
Moving a Derivation Along a Derivation Preserves the Spine. ICGT 2023: 64-80
2022
[c18]
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2212-11627
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2212-11627
Hans-Jörg Kreowski, Sabine Kuske, Aaron Lye, Aljoscha Windhorst:
A Graph-Transformational Approach for Proving the Correctness of Reductions between NP-Problems. GCM@STAF 2022: 76-93
2021
[c17]
- view
  authority control:
- export record
  dblp key:
  - conf/gg/Lye21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/gg/Lye21
Aaron Lye:
Transformations of Reaction Systems Over Categories by Means of Epi-Mono Factorization and Functors. ICGT 2021: 40-59
[c16]
- view
  authority control:
- export record
  dblp key:
  - conf/gg/KreowskiL21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/gg/KreowskiL21
Hans-Jörg Kreowski, Aaron Lye:
A Case Study on the Graph-Transformational Modeling and Analysis of Puzzles. ICGT 2021: 203-220
[c15]
- view
  authority control:
- export record
  dblp key:
  - conf/lata/Lye21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lata/Lye21
Aaron Lye:
Deciding Non-emptiness of Hypergraph Languages Generated by Connection-preserving Fusion Grammars is NP-complete. LATA 2021: 97-108
2020
[c14]
- view
  authority control:
- export record
  dblp key:
  - conf/lata/Lye20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lata/Lye20
Aaron Lye:
Context-Sensitive Fusion Grammars Are Universal. LATA 2020: 275-286
[c13]
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2012-01659
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2012-01659
Hans-Jörg Kreowski, Aaron Lye:
Graph Surfing in Reaction Systems from a Categorial Perspective. GCM@STAF 2020: 71-87
2019
[c12]
- view
  authority control:
- export record
  dblp key:
  - conf/gg/KreowskiKL19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/gg/KreowskiKL19
Hans-Jörg Kreowski, Sabine Kuske, Aaron Lye:
Relating DNA Computing and Splitting/Fusion Grammars. ICGT 2019: 159-174
[c11]
- view
  authority control:
- export record
  dblp key:
  - conf/lata/KreowskiKL19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lata/KreowskiKL19
Hans-Jörg Kreowski, Sabine Kuske, Aaron Lye:
Transformation of Petri Nets into Context-Dependent Fusion Grammars. LATA 2019: 246-258
[c10]
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-1912-09608
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1912-09608
Aaron Lye:
Transformation of Turing Machines into Context-Dependent Fusion Grammars. GCM@STAF 2019: 53-70
2018
[c9]
- view
  authority control:
- export record
  dblp key:
  - conf/birthday/KreowskiKL18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/birthday/KreowskiKL18
Hans-Jörg Kreowski, Sabine Kuske, Aaron Lye:
A Simple Notion of Parallel Graph Transformation and Its Perspectives. Graph Transformation, Specifications, and Nets 2018: 61-82
[c8]
- view
  authority control:
- export record
  dblp key:
  - conf/gg/KreowskiKL18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/gg/KreowskiKL18
Hans-Jörg Kreowski, Sabine Kuske, Aaron Lye:
Splicing/Fusion Grammars and Their Relation to Hypergraph Grammars. ICGT 2018: 3-19
2017
[c7]
- view
  authority control:
- export record
  dblp key:
  - conf/gg/KreowskiKL17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/gg/KreowskiKL17
Hans-Jörg Kreowski, Sabine Kuske, Aaron Lye:
Fusion Grammars: A Novel Approach to the Generation of Graph Languages. ICGT 2017: 90-105
2016
[c6]
- view
  authority control:
- export record
  dblp key:
  - conf/gg/KreowskiKLT16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/gg/KreowskiKLT16
Hans-Jörg Kreowski, Sabine Kuske, Aaron Lye, Caro von Totth:
Graph Transformation Meets Reversible Circuits: Model Transformation and Optimization. ICGT 2016: 236-251
[c5]
- view
  authority control:
- export record
  dblp key:
  - conf/lata/KreowskiKL16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lata/KreowskiKL16
Hans-Jörg Kreowski, Sabine Kuske, Aaron Lye:
Canonical Multi-target Toffoli Circuits. LATA 2016: 603-616
[c4]
- view
  authority control:
- export record
  dblp key:
  - conf/rc/WilleLN16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rc/WilleLN16
Robert Wille, Aaron Lye, Philipp Niemann:
Checking Reversibility of Boolean Functions. RC 2016: 322-337
2015
[c3]
- view
  authority control:
- export record
  dblp key:
  - conf/aspdac/LyeWD15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aspdac/LyeWD15
Aaron Lye, Robert Wille, Rolf Drechsler:
Determining the minimal number of swap gates for multi-dimensional nearest neighbor quantum circuits. ASP-DAC 2015: 178-183
2014
[c2]
- view
  authority control:
- export record
  dblp key:
  - conf/aspdac/WilleLD14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aspdac/WilleLD14
Robert Wille, Aaron Lye, Rolf Drechsler:
Optimal SWAP gate insertion for nearest neighbor quantum circuits. ASP-DAC 2014: 489-494
[c1]
- view
  authority control:
- export record
  dblp key:
  - conf/gg/KreowskiKLL14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/gg/KreowskiKLL14
Hans-Jörg Kreowski, Sabine Kuske, Aaron Lye, Melanie Luderer:
Graph Transformation Meets Reversible Circuits: Generation, Evaluation, and Synthesis. ICGT 2014: 237-252

Informal and Other Publications

see FAQ

What is the meaning of the colors in the publication lists?

2023
[i1]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2312-13510
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2312-13510
Hans-Jörg Kreowski, Aaron Lye, Aljoscha Windhorst:
Moving a Derivation Along a Derivation Preserves the Spine in Adhesive High-level Replacement Systems. CoRR abs/2312.13510 (2023)

Coauthor Index

see FAQ

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.