default search action

combined dblp search
author search
venue search
publication search

ask others

RC 2019: Lausanne, Switzerland

> 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/2019
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rc/2019
Michael Kirkedal Thomsen, Mathias Soeken:
Reversible Computation - 11th International Conference, RC 2019, Lausanne, Switzerland, June 24-25, 2019, Proceedings. Lecture Notes in Computer Science 11497, Springer 2019, ISBN 978-3-030-21499-9

Invited Talk

- view
  authority control:
- export record
  dblp key:
  - conf/rc/ClairambaultVW19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rc/ClairambaultVW19
Pierre Clairambault, Marc de Visme, Glynn Winskel:
Concurrent Quantum Strategies. 3-19

Theory and Foundation

- view
  authority control:
- export record
  dblp key:
  - conf/rc/VosB19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rc/VosB19
Alexis De Vos, Stijn De Baerdemacker:
A Birkhoff Connection Between Quantum Circuits and Linear Classical Reversible Circuits. 23-33
- view
  authority control:
- export record
  dblp key:
  - conf/rc/Kaarsgaard19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rc/Kaarsgaard19
Robin Kaarsgaard:
Inversion, Iteration, and the Art of Dual Wielding. 34-50
- view
  authority control:
- export record
  dblp key:
  - conf/rc/ArrighiDE19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rc/ArrighiDE19
Pablo Arrighi, Nicolas Durbec, Aurélien Emmanuel:
Reversibility vs Local Creation/Destruction. 51-66
- view
  authority control:
- export record
  dblp key:
  - conf/rc/0001V19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rc/0001V19
Naoki Nishida, Germán Vidal:
Characterizing Compatible View Updates in Syntactic Bidirectionalization. 67-83

Programming Languages

- view
  authority control:
- export record
  dblp key:
  - conf/rc/Amy19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rc/Amy19
Matthew Amy:
Sized Types for Low-Level Quantum Metaprogramming. 87-107
- view
  authority control:
- export record
  dblp key:
  - conf/rc/HoeyU19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rc/HoeyU19
James Hoey, Irek Ulidowski:
Reversible Imperative Parallel Programs and Debugging. 108-127

Circuit Synthesis

- view
  authority control:
- export record
  dblp key:
  - conf/rc/AlmeidaDS19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rc/AlmeidaDS19
Alexandre A. A. de Almeida, Gerhard W. Dueck, Alexandre César Rodrigues da Silva:
Efficient Realization of Toffoli and NCV Circuits for IBM QX Architectures. 131-145
- view
  authority control:
- export record
  dblp key:
  - conf/rc/ReganENM19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rc/ReganENM19
Malcolm Regan, Brody Eastwood, Mahita Nagabhiru, Frank Mueller:
Automatically Translating Quantum Programs from a Subset of Common Gates to an Adiabatic Representation. 146-161
- view
  authority control:
- export record
  dblp key:
  - conf/rc/MatsuoY19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rc/MatsuoY19
Atsushi Matsuo, Shigeru Yamashita:
An Efficient Method for Quantum Circuit Placement Problem on a 2-D Grid. 162-168

Evaluation of Circuit Synthesis

- view
  authority control:
- export record
  dblp key:
  - conf/rc/ZulehnerBW19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rc/ZulehnerBW19
Alwin Zulehner, Hartwig Bauer, Robert Wille:
Evaluating the Flexibility of A* for Mapping Quantum Circuits. 171-190
- view
  authority control:
- export record
  dblp key:
  - conf/rc/MeuliSERM19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rc/MeuliSERM19
Giulia Meuli, Bruno Schmitt, Rüdiger Ehlers, Heinz Riener, Giovanni De Micheli:
Evaluating ESOP Optimization Methods in Quantum Compilation Flows. 191-206

Applications and Implementations

- view
  authority control:
- export record
  dblp key:
  - conf/rc/KhetawatALMP19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rc/KhetawatALMP19
Harsh Khetawat, Ashlesha Atrey, George Li, Frank Mueller, Scott Pakin:
Implementing NChooseK on IBM Q Quantum Computer Systems. 209-223
- view
  authority control:
- export record
  dblp key:
  - conf/rc/Mogensen19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rc/Mogensen19
Torben Ægidius Mogensen:
Reversible In-Place Carry-Lookahead Addition with Few Ancillae. 224-237
- view
  authority control:
- export record
  dblp key:
  - conf/rc/PhilippouPS19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rc/PhilippouPS19
Anna Philippou, Kyriaki Psara, Harun Siljak:
Controlling Reversibility in Reversing Petri Nets with Application to Wireless Communications - Work-in-Progress Paper. 238-245

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.