default search action
RC 2023: Giessen, Germany
- Martin Kutrib, Uwe Meyer:
Reversible Computation - 15th International Conference, RC 2023, Giessen, Germany, July 18-19, 2023, Proceedings. Lecture Notes in Computer Science 13960, Springer 2023, ISBN 978-3-031-38099-0
Invited Paper
- Ahmet Celal Cem Say:
Energy Complexity of Computation. 3-11
Foundations
- Clément Aubert:
Replications in Reversible Concurrent Calculi. 15-23 - Robert Glück, Ivan Lanese, Claudio Antares Mezzina, Jaroslaw Adam Miszczak, Iain C. C. Phillips, Irek Ulidowski, Germán Vidal:
Towards a Taxonomy for Reversible Computation Approaches. 24-39 - Markus Holzer, Christian Rauch:
Computational Complexity of Reversible Reaction Systems. 40-54
Reversible Programming
- Niklas Deworetzki, Lukas Gail:
Optimization of Reversible Control Flow Graphs. 57-72 - Joachim Tilsted Kristensen, Robin Kaarsgaard, Michael Kirkedal Thomsen:
Tail Recursion Transformation for Invertible Functions. 73-88 - Irek Ulidowski:
Saving Memory Space in Deep Neural Networks by Recomputing: A Survey. 89-105 - Jonas Wolpers Reholt, Robert Glück, Matthis Kruse:
Towards a Dereversibilizer: Fewer Asserts, Statically. 106-114
Quantum Computing
- Domenico Cantone, Simone Faro, Arianna Pavone:
Quantum String Matching Unfolded and Extended. 117-133 - Arend-Jan Quist, Alfons Laarman:
Optimizing Quantum Space Using Spooky Pebble Games. 134-149 - Raphael Seidel, Nikolay Tcholtchev, Sebastian Bock, Manfred Hauswirth:
Uncomputation in the Qrisp High-Level Quantum Programming Framework. 150-165
Quantum Circuits
- Matthew Amy, Andrew N. Glaudell, Sarah Meng Li, Neil J. Ross:
Improved Synthesis of Toffoli-Hadamard Circuits. 169-209 - Clément Aubert, Peter Browning:
Implementation of a Reversible Distributed Calculus. 210-217 - Kamalika Datta, Abhoy Kole, Indranil Sengupta, Rolf Drechsler:
Improved Cost-Metric for Nearest Neighbor Mapping of Quantum Circuits to 2-Dimensional Hexagonal Architecture. 218-231 - Abhoy Kole, Kamalika Datta, Philipp Niemann, Indranil Sengupta, Rolf Drechsler:
Exploiting the Benefits of Clean Ancilla Based Toffoli Gate Decomposition Across Architectures. 232-244
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.