University of Bremen Logo  
 
Research Group Theoretical Computer Science
 
Mail to webmaster
Publications by Aaron Lye (get BIBTeX file):

Hans-Jörg Kreowski, Sabine Kuske, Aaron Lye, Aljoscha Windhorst: A Graph-Transformational Approach for Proving the Correctness of Reductions between NP-Problems. In Proceedings 13th International Workshop on Graph Computation Models (GCM 2020), Electronic Proceedings in Theoretical Computer Science (EPTCS). 2022. to appear.

Aaron Lye: Quantenschlüsselverteilung: Von Glasfaser zu Satelliten. IMI-Analyse 2022, 2022.

Aaron Lye: Weltraum-Manöver: Schriever Wargame. IMI-Analyse 2022/40, 2022.

Aaron Lye: Context-sensitive Fusion Grammars and Fusion Grammars with Forbidden Context are Universal. Information and Computation, 2022.

Aaron Lye: NATO-Manöver im Cyberraum: Cyber Coalition, Locked Shields und Crossed Swords. IMI-Analyse 2022/11:14-18, 2022. Nachdruck in FIfF-Kommunikation 1/2022, S. 6-10..

Hans-Jörg Kreowski, Aaron Lye: Cyberpeace - für Frieden, Freiheit und eine lebenswerte Welt, Editorial. FIfF-Kommunikation 2022:8, 2022.

Aaron Lye: Transformations of Reaction Systems over Categories by means of Epi-Mono Factorization and Functors. In Fabio Gadducci, Timo Kehrer, editors, Proc. 14th International Conference on Graph Transformation (ICGT 2021), volume 12741 of LNCS, pages 40-59. Springer, 2021.

Hans-Jörg Kreowski, Aaron Lye: A Case Study on the Graph-transformational Modeling and Analysis of Puzzles. In Fabio Gadducci, Timo Kehrer, editors, Proc. 14th International Conference on Graph Transformation (ICGT 2021), volume 12741 of LNCS, pages 203-220. Springer, 2021.

Aaron Lye: Transformation geheimdienstlicher und militärischer Serverinfrastruktur in den USA durch kommerzielle Cloud-Provider am Beispiel Amazon. FIfF-Kommunikation 2021:39-42, 2021.

Hans-Jörg Kreowski, Aaron Lye: Future Combat Air System: Künstliche Intelligenz fliegt und kämpft mit. In Hans-Jörg Kreowski, Aaron Lye, editors, Künstliche Intelligenz zieht in den Krieg, Dossier, pages 16-20. Wissenschaft und Frieden, 2021.

Aaron Lye: Deciding Non-Emptiness of Hypergraph Languages Generated by Connection-preserving Fusion Grammars is NP-complete. In Alberto Leporati, Carlos Martin-Vide, Dana Shapira, Claudio Zandron, editors, Proceedings 15th International Conference on Language and Automata Theory and Applications (LATA 2021), volume 12638 of LNCS, pages 97-108. Springer, 2021.

Hans-Jörg Kreowski, Sabine Kuske, Aaron Lye: Transformation of Variants of Petri Nets into Context-Dependent Fusion Grammars. Information and Computation, 2021. 26 pages.

Hans-Jörg Kreowski, Aaron Lye: Künstliche Intelligenz zieht in den Krieg, Schwerpunkteditorial. FIfF-Kommunikation 2021:28-30, 2021.

Aaron Lye: Context-sensitive Fusion Grammars are Universal. In Alberto Leporati, Carlos Martin-Vide, Dana Shapira, Claudio Zandron, editors, Proc. 14th International Conference on Language and Automata Theory and Applications (LATA 2020), volume 12038 of LNCS, pages 275-286. Springer, 2020.

Hans-Jörg Kreowski, Aaron Lye: Graph Surfing in Reaction Systems from a Categorial Perspective. In Berthold Hoffmann, Mark Minas, editors, Proc. 11th International Workshop on Graph Computation Models, (GCM 2020), volume 330 of Electronic Proceedings in Theoretical Computer Science (EPTCS), pages 71-87. Open Publishing Association, 2020.

Hans-Jörg Kreowski, Aaron Lye: A Categorial Approach to Reaction Systems: First Steps. Theoretical Computer Science, 2020.

Aaron Lye: Transformation of Turing Machines into Context-Dependent Fusion Grammars. In Post-Proc. 10th International Workshop on Graph Computation Models, (GCM 2019). Electronic Proceedings in Theoretical Computer Science (EPTCS). 2019.

Hans-Jörg Kreowski, Aaron Lye: Informationstechnische Aufrüstung der Polizei. vorgänge Nr. 227: Polizei und Technik, Zeitschrift für Bürgerrechte und Gesellschaftspolitik 58:33-46, 2019.

Hans-Jörg Kreowski, Sabine Kuske, Aaron Lye: Relating DNA Computing and Splitting/Fusion Grammars. In Esther Guerra, Fernando Orejas, editors, Graph Transformation - 12th International Conference, ICGT 2019, Held as Part of STAF 2019, Eindhoven, The Netherlands, July 15-16, 2019, Proceedings, volume 11629 of Lecture Notes in Computer Science, pages 159-174. Springer, 2019. doi: 10.1007/978-3-030-23611-3.

Hans-Jörg Kreowski, Sabine Kuske, Aaron Lye: Transformation of Petri Nets into Context-Dependent Fusion Grammars. In Carlos Martin-Vide, Alexander Okhotin, Dana Shapira, editors, Language and Automata Theory and Applications - 13th International Conference, LATA 2019, St. Petersburg, Russia, March 26-29, 2019, Proceedings, volume 11417 of Lecture Notes in Computer Science, pages 246-258. Springer, 2019.

Hans-Jörg Kreowski, Aaron Lye: Canonical Mixed-Polarity Multi-Target Toffoli Circuits: Shift and Removal. Information and Computation 269, 2019.

Hans-Jörg Kreowski, Sabine Kuske, Aaron Lye: Splicing/Fusion Grammars and Their Relation to Hypergraph Grammars. In Leen Lambers, Jens H. Weber, editors, Graph Transformation - 11th International Conference, ICGT 2018, Held as Part of STAF 2018, Toulouse, France, June 25-26, 2018, Proceedings, volume 10887 of Lecture Notes in Computer Science, pages 3-19. Springer, 2018.

Hans-Jörg Kreowski, Sabine Kuske, Aaron Lye: A Simple Notion of Parallel Graph Transformation and its Perspectives. In Reiko Heckel, Gabriele Taentzer, editors, Graph Transformation, Specifications, and Nets (Festschrift in Memory of Hartmut Ehrig), volume 10800 of Lecture Notes in Computer Science. 2018.

Hans-Jörg Kreowski, Sabine Kuske, Aaron Lye: Fusion Grammars: A Novel Approach to the Generation of Graph Languages. In Juan de Lara, Detlef Plump, editors, Graph Transformation: Proceedings of the 10th International Conference ICGT 2016, Held as Part of STAF 2017, Marburg, Germany, pages 90-105. Springer, 2017.

Robert Wille, Aaron Lye, Philipp Niemann: Checking Reversibility of Boolean Functions. In Simon J. Devitt, Ivan Lanese, editors, Proc. 8th International Conference on Reversible Computation (RC 2016), volume 9720 of Lecture Notes in Computer Science, pages 322-337. Springer, 2016.

Hans-Jörg Kreowski, Sabine Kuske, Aaron Lye, Caro von Totth: Graph Transformation Meets Reversible Circuits: Model Transformation and Optimization. In Rachid Echahed, Mark Minas, editors, Graph Transformation: Proceedings of the 9th International Conference ICGT 2016, in Memory of Hartmut Ehrig, Held as Part of STAF 2016, Vienna, Austria, pages 236-251. Springer International Publishing, 2016.

Hans-Jörg Kreowski, Sabine Kuske, Aaron Lye: Canonical Multi-Target Toffoli Circuits. In Adrian-Horia Dediu, Jan Janousek, Carlos Martín-Vide, Bianca Truthe, editors, Proc. 10th International Conference on Language and Automata Theory and Applications (LATA 2016), Lecture Notes in Computer Science, pages 603-616. Springer, 2016.

Aaron Lye, Robert Wille, Rolf Drechsler: Determining the Minimal Number of SWAP Gates for Multi-dimensional Nearest Neighbor Quantum Circuits. In Proc. 19th Asia and South Pacific Design Automation Conference (ASP-DAC), pages 178-183. IEEE, 2015.

Robert Wille, Aaron Lye, Rolf Drechsler: Exact Reordering of Circuit Lines for Nearest Neighbor Quantum Architectures. IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems 33:1818-1831, 2014.

Robert Wille, Aaron Lye, Rolf Drechsler: Optimal SWAP Gate Insertion for Nearest Neighbor Quantum Circuits. In Proc. 18th Asia and South Pacific Design Automation Conference (ASP-DAC), pages 489-494. IEEE, 2014.

Robert Wille, Aaron Lye, Rolf Drechsler: Considering Nearest Neighbor Constraints of Quantum Circuits at the Reversible Circuit Level. Quantum Information Processing 13:185-199, 2014.

Hans-Jörg Kreowski, Sabine Kuske, Aaron Lye, Melanie Luderer: Graph Transformation Meets Reversible Circuits: Generation, Evaluation, and Synthesis. In Holger Giese, Barbara König, editors, Proc. 7th Intl. Conference on Graph Transformation (ICGT 2014), volume 8571 of Lecture Notes in Computer Science, pages 237-252. Springer, 2014.

Mail to webmaster