default search action

combined dblp search
author search
venue search
publication search

ask others

RC 2021: Virtual Event

> 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/2021
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rc/2021
Shigeru Yamashita, Tetsuo Yokoyama:
Reversible Computation - 13th International Conference, RC 2021, Virtual Event, July 7-8, 2021, Proceedings. Lecture Notes in Computer Science 12805, Springer 2021, ISBN 978-3-030-79836-9

Invited Talks

- view
  authority control:
- export record
  dblp key:
  - conf/rc/Morita21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rc/Morita21
Kenichi Morita:
How Can We Construct Reversible Turing Machines in a Very Simple Reversible Cellular Automaton? 3-21
- view
  authority control:
- export record
  dblp key:
  - conf/rc/Matsuo21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rc/Matsuo21
Atsushi Matsuo:
Variational Quantum Eigensolver and Its Applications. 22-41

Programming and Programming Languages

- view
  authority control:
- export record
  dblp key:
  - conf/rc/Mogensen21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rc/Mogensen21
Torben Ægidius Mogensen:
Reversible Functional Array Programming. 45-63
- view
  authority control:
- export record
  dblp key:
  - conf/rc/KutribMDS21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rc/KutribMDS21
Martin Kutrib, Uwe Meyer, Niklas Deworetzki, Marc Schuster:
Compiling Janus to RSSA. 64-78
- view
  authority control:
- export record
  dblp key:
  - conf/rc/FabbrettiLS21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rc/FabbrettiLS21
Giovanni Fabbretti, Ivan Lanese, Jean-Bernard Stefani:
Causal-Consistent Debugging of Distributed Erlang Programs. 79-95
- view
  authority control:
- export record
  dblp key:
  - conf/rc/Hay-SchmidtGCH21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rc/Hay-SchmidtGCH21
Lasse Hay-Schmidt, Robert Glück, Martin Holm Cservenka, Tue Haulund:
Towards a Unified Language Architecture for Reversible Object-Oriented Programming. 96-106

Reversible Concurrent Computation

- view
  authority control:
- export record
  dblp key:
  - conf/rc/MelgrattiMP21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rc/MelgrattiMP21
Hernán C. Melgratti, Claudio Antares Mezzina, G. Michele Pinna:
Towards a Truly Concurrent Semantics for Reversible CCS. 109-125
- view
  authority control:
- export record
  dblp key:
  - conf/rc/Lanese021
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rc/Lanese021
Ivan Lanese, Iain Phillips:
Forward-Reverse Observational Equivalences in CCSK. 126-143
- view
  authority control:
- export record
  dblp key:
  - conf/rc/AubertM21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rc/AubertM21
Clément Aubert, Doriana Medic:
Explicit Identifiers and Contexts in Reversible Concurrent Calculus. 144-162
- view
  authority control:
- export record
  dblp key:
  - conf/rc/Vassor21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rc/Vassor21
Martin Vassor:
Reversibility and Predictions. 163-181

Theory and Foundations

- view
  authority control:
- export record
  dblp key:
  - conf/rc/Nakano21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rc/Nakano21
Keisuke Nakano:
A Tangled Web of 12 Lens Laws. 185-203
- view
  authority control:
- export record
  dblp key:
  - conf/rc/MatosPR21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rc/MatosPR21
Armando B. Matos, Luca Paolini, Luca Roversi:
Splitting Recursion Schemes into Reversible and Classical Interacting Threads. 204-213
- view
  authority control:
- export record
  dblp key:
  - conf/rc/CauKH21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rc/CauKH21
Antonio Cau, Stefan Kuhn, James Hoey:
Reversibility of Executable Interval Temporal Logic Specifications. 214-223

Circuit Synthesis

- view
  authority control:
- export record
  dblp key:
  - conf/rc/BurgholzerR0W21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rc/BurgholzerR0W21
Lukas Burgholzer, Rudy Raymond, Indranil Sengupta, Robert Wille:
Efficient Construction of Functional Representations for Quantum Algorithms. 227-241
- view
  authority control:
- export record
  dblp key:
  - conf/rc/0001MD21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rc/0001MD21
Philipp Niemann, Luca Müller, Rolf Drechsler:
Finding Optimal Implementations of Non-native CNOT Gates Using SAT. 242-255
- view
  authority control:
- export record
  dblp key:
  - conf/rc/DobbsBPF21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rc/DobbsBPF21
Evan E. Dobbs, Robert Basmadjian, Alexandru Paler, Joseph S. Friedman:
Fast Swapping in a Quantum Multiplier Modelled as a Queuing Network. 256-265
- view
  authority control:
- export record
  dblp key:
  - conf/rc/Moraga21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rc/Moraga21
Claudio Moraga:
OR-Toffoli and OR-Peres Reversible Gates. 266-273

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.