![](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 2022: Urbino, Italy
- Claudio Antares Mezzina
, Krzysztof Podlaski
:
Reversible Computation - 14th International Conference, RC 2022, Urbino, Italy, July 5-6, 2022, Proceedings. Lecture Notes in Computer Science 13354, Springer 2022, ISBN 978-3-031-09004-2
Reversible and Quantum Circuits
- Alexis De Vos:
Reversible Computation in Integrated Photonics. 3-19 - Shohei Kuroda, Shigeru Yamashita
:
Optimization of Quantum Boolean Circuits by Relative-Phase Toffoli Gates. 20-27 - Lia Yeh
, John van de Wetering
:
Constructing All Qutrit Controlled Clifford+T gates in Clifford+T. 28-50 - Torben Ægidius Mogensen:
Fast Control for Reversible Processors. 51-64 - Niklas Deworetzki
, Uwe Meyer
:
Designing a Reversible Stack Machine. 65-72
Applications of Quantum Computing
- Davide Della Giustina, Carla Piazza
, Brian Riccardi
, Riccardo Romanello
:
Directed Graph Encoding in Quantum Computing Supporting Edge-Failures. 75-92 - Stefan Hillmich
, Lukas Burgholzer
, Florian Stögmüller, Robert Wille
:
Reordering Decision Diagrams for Quantum Computing Is Harder Than You Might Think. 93-107
Foundations and Applications
- Giacomo Maletto, Luca Roversi
:
Certifying Algorithms and Relevant Properties of Reversible Primitive Permutations with Lean. 111-127 - Fritz Henglein, Robin Kaarsgaard
, Mikkel Kragh Mathiesen
:
Algeo: An Algebraic Approach to Reversibility. 128-145 - Clément Aubert
:
Concurrencies in Reversible Concurrent Calculi. 146-163 - Hannah Earley
:
The ℵ-Calculus - A Declarative Model of Reversible Programming. 164-171 - Kamila Barylska, Anna Gogolinska, Lukasz Mikulski, Anna Philippou, Marcin Piatkowski, Kyriaki Psara:
Formal Translation from Reversing Petri Nets to Coloured Petri Nets. 172-186 - Pietro Lami
, Ivan Lanese
, Jean-Bernard Stefani
, Claudio Sacerdoti Coen
, Giovanni Fabbretti
:
Reversibility in Erlang: Imperative Constructs. 187-203 - Takashi Ikeda, Shoji Yuen
:
A Reversible Debugger for Imperative Parallel Programs with Contracts. 204-212 - James Hoey
, Irek Ulidowski:
Towards Causal-Consistent Reversibility of Imperative Concurrent Programs. 213-223 - Niklas Deworetzki
, Martin Kutrib
, Uwe Meyer
, Pia-Doreen Ritzke:
Optimizing Reversible Programs. 224-238
![](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.