default search action

combined dblp search
author search
venue search
publication search

ask others

RC 2020: Oslo, Norway

> 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/2020
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rc/2020
Ivan Lanese, Mariusz Rawski:
Reversible Computation - 12th International Conference, RC 2020, Oslo, Norway, July 9-10, 2020, Proceedings. Lecture Notes in Computer Science 12227, Springer 2020, ISBN 978-3-030-52481-4

Invited Talks

- view
  authority control:
- export record
  dblp key:
  - conf/rc/Perkowski20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rc/Perkowski20
Marek A. Perkowski:
Inverse Problems, Constraint Satisfaction, Reversible Logic, Invertible Logic and Grover Quantum Oracles for Practical Problems. 3-32

Foundations

- view
  authority control:
- export record
  dblp key:
  - conf/rc/MelgrattiM0PU20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rc/MelgrattiM0PU20
Hernán C. Melgratti, Claudio Antares Mezzina, Iain Phillips, G. Michele Pinna, Irek Ulidowski:
Reversible Occurrence Nets and Causal Reversible Prime Event Structures. 35-53
- view
  authority control:
- export record
  dblp key:
  - conf/rc/Nakano20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rc/Nakano20
Keisuke Nakano:
Involutory Turing Machines. 54-70
- view
  authority control:
- export record
  dblp key:
  - conf/rc/Graversen0Y20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rc/Graversen0Y20
Eva Graversen, Iain Phillips, Nobuko Yoshida:
Event Structures for the Reversible Early Internal π-Calculus. 71-90

Programming Languages

- view
  authority control:
- export record
  dblp key:
  - conf/rc/Mogensen20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rc/Mogensen20
Torben Ægidius Mogensen:
Hermes: A Language for Light-Weight Encryption. 93-110
- view
  authority control:
- export record
  dblp key:
  - conf/rc/Kristiansen20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rc/Kristiansen20
Lars Kristiansen:
Reversible Programming Languages Capturing Complexity Classes. 111-127
- view
  authority control:
- export record
  dblp key:
  - conf/rc/MatosPR20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rc/MatosPR20
Armando B. Matos, Luca Paolini, Luca Roversi:
On the Expressivity of Total Reversible Programming Languages. 128-143
- view
  authority control:
- export record
  dblp key:
  - conf/rc/ChardonnetSV20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rc/ChardonnetSV20
Kostia Chardonnet, Alexis Saurin, Benoît Valiron:
Toward a Curry-Howard Equivalence for Linear, Reversible Computation - Work-in-Progress. 144-152
- view
  authority control:
- export record
  dblp key:
  - conf/rc/0001KRS20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rc/0001KRS20
Peng Fu, Kohei Kishida, Neil J. Ross, Peter Selinger:
A Tutorial Introduction to Quantum Circuit Programming in Dependently Typed Proto-Quipper. 153-168
- view
  authority control:
- export record
  dblp key:
  - conf/rc/ChenCCS20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rc/ChenCCS20
Chao-Hong Chen, Vikraman Choudhury, Jacques Carette, Amr Sabry:
Fractional Types - Expressive and Safe Space Management for Ancilla Bits. 169-186

Circuit Synthesis

- view
  authority control:
- export record
  dblp key:
  - conf/rc/BrugiereBVMA20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rc/BrugiereBVMA20
Timothée Goubault de Brugière, Marc Baboulin, Benoît Valiron, Simon Martiel, Cyril Allouche:
Quantum CNOT Circuits Synthesis for NISQ Architectures Using the Syndrome Decoding Problem. 189-205
- view
  authority control:
- export record
  dblp key:
  - conf/rc/Boykett20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rc/Boykett20
Tim Boykett:
Maximality of Reversible Gate Sets. 206-217
- view
  authority control:
- export record
  dblp key:
  - conf/rc/MillerD20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rc/MillerD20
D. Michael Miller, Gerhard W. Dueck:
Search-Based Transformation Synthesis for 3-Valued Reversible Circuits. 218-236

Tools and Applications

- view
  authority control:
- export record
  dblp key:
  - conf/rc/Galindo0ST20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rc/Galindo0ST20
Carlos Galindo, Naoki Nishida, Josep Silva, Salvador Tamarit:
ReverCSP: Time-Travelling in CSP Computations. 239-245
- view
  authority control:
- export record
  dblp key:
  - conf/rc/Vidal20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rc/Vidal20
Germán Vidal:
Reversible Computations in Logic Programming. 246-254
- view
  authority control:
- export record
  dblp key:
  - conf/rc/MedicM0Y20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rc/MedicM0Y20
Doriana Medic, Claudio Antares Mezzina, Iain Phillips, Nobuko Yoshida:
Towards a Formal Account for Software Transactional Memory. 255-263
- view
  authority control:
- export record
  dblp key:
  - conf/rc/DimopoulosKPP20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rc/DimopoulosKPP20
Yannis Dimopoulos, Eleftheria Kouppari, Anna Philippou, Kyriaki Psara:
Encoding Reversing Petri Nets in Answer Set Programming. 264-271
- view
  authority control:
- export record
  dblp key:
  - conf/rc/IkedaY20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rc/IkedaY20
Takashi Ikeda, Shoji Yuen:
A Reversible Runtime Environment for Parallel Programs. 272-279

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.