Stop the war!

Остановите войну!

for scientists:

default search action

combined dblp search
author search
venue search
publication search

ask others

RC 2022: Urbino, Italy

> Home > Conferences and Workshops > RC

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

- view
  authority control:
- export record
  dblp key:
  - conf/rc/2022
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rc/2022
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

- view
  authority control:
- export record
  dblp key:
  - conf/rc/Vos22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rc/Vos22
Alexis De Vos:
Reversible Computation in Integrated Photonics. 3-19
- view
  authority control:
- export record
  dblp key:
  - conf/rc/KurodaY22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rc/KurodaY22
Shohei Kuroda, Shigeru Yamashita:
Optimization of Quantum Boolean Circuits by Relative-Phase Toffoli Gates. 20-27
- view
  authority control:
- export record
  dblp key:
  - conf/rc/YehW22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rc/YehW22
Lia Yeh, John van de Wetering:
Constructing All Qutrit Controlled Clifford+T gates in Clifford+T. 28-50
- view
  authority control:
- export record
  dblp key:
  - conf/rc/Mogensen22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rc/Mogensen22
Torben Ægidius Mogensen:
Fast Control for Reversible Processors. 51-64
- view
  authority control:
- export record
  dblp key:
  - conf/rc/DeworetzkiM22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rc/DeworetzkiM22
Niklas Deworetzki, Uwe Meyer:
Designing a Reversible Stack Machine. 65-72

Applications of Quantum Computing

- view
  authority control:
- export record
  dblp key:
  - conf/rc/GiustinaPRR22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rc/GiustinaPRR22
Davide Della Giustina, Carla Piazza, Brian Riccardi, Riccardo Romanello:
Directed Graph Encoding in Quantum Computing Supporting Edge-Failures. 75-92
- view
  authority control:
- export record
  dblp key:
  - conf/rc/HillmichBSW22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rc/HillmichBSW22
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

- view
  authority control:
- export record
  dblp key:
  - conf/rc/MalettoR22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rc/MalettoR22
Giacomo Maletto, Luca Roversi:
Certifying Algorithms and Relevant Properties of Reversible Primitive Permutations with Lean. 111-127
- view
  authority control:
- export record
  dblp key:
  - conf/rc/HengleinKM22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rc/HengleinKM22
Fritz Henglein, Robin Kaarsgaard, Mikkel Kragh Mathiesen:
Algeo: An Algebraic Approach to Reversibility. 128-145
- view
  authority control:
- export record
  dblp key:
  - conf/rc/Aubert22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rc/Aubert22
Clément Aubert:
Concurrencies in Reversible Concurrent Calculi. 146-163
- view
  authority control:
- export record
  dblp key:
  - conf/rc/Earley22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rc/Earley22
Hannah Earley:
The ℵ-Calculus - A Declarative Model of Reversible Programming. 164-171
- view
  authority control:
- export record
  dblp key:
  - conf/rc/BarylskaGMPPP22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rc/BarylskaGMPPP22
Kamila Barylska, Anna Gogolinska, Lukasz Mikulski, Anna Philippou, Marcin Piatkowski, Kyriaki Psara:
Formal Translation from Reversing Petri Nets to Coloured Petri Nets. 172-186
- view
  authority control:
- export record
  dblp key:
  - conf/rc/LamiLSCF22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rc/LamiLSCF22
Pietro Lami, Ivan Lanese, Jean-Bernard Stefani, Claudio Sacerdoti Coen, Giovanni Fabbretti:
Reversibility in Erlang: Imperative Constructs. 187-203
- view
  authority control:
- export record
  dblp key:
  - conf/rc/IkedaY22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rc/IkedaY22
Takashi Ikeda, Shoji Yuen:
A Reversible Debugger for Imperative Parallel Programs with Contracts. 204-212
- view
  authority control:
- export record
  dblp key:
  - conf/rc/HoeyU22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rc/HoeyU22
James Hoey, Irek Ulidowski:
Towards Causal-Consistent Reversibility of Imperative Concurrent Programs. 213-223
- view
  authority control:
- export record
  dblp key:
  - conf/rc/DeworetzkiKMR22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rc/DeworetzkiKMR22
Niklas Deworetzki, Martin Kutrib, Uwe Meyer, Pia-Doreen Ritzke:
Optimizing Reversible Programs. 224-238

a service of

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.