default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDRC 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
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.
last updated on 2025-12-09 00:09 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
