![](https://dblp.uni-trier.de./img/logo.ua.320x120.png)
![](https://dblp.uni-trier.de./img/dropdown.dark.16x16.png)
![](https://dblp.uni-trier.de./img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.uni-trier.de./img/search.dark.16x16.png)
![search dblp](https://dblp.uni-trier.de./img/search.dark.16x16.png)
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
![](https://dblp.uni-trier.de./img/cog.dark.24x24.png)
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.