Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDRC 2019: Lausanne, Switzerland
- 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
- Pierre Clairambault, Marc de Visme, Glynn Winskel:
Concurrent Quantum Strategies. 3-19
Theory and Foundation
- Alexis De Vos, Stijn De Baerdemacker
:
A Birkhoff Connection Between Quantum Circuits and Linear Classical Reversible Circuits. 23-33 - Robin Kaarsgaard:
Inversion, Iteration, and the Art of Dual Wielding. 34-50 - Pablo Arrighi, Nicolas Durbec, Aurélien Emmanuel:
Reversibility vs Local Creation/Destruction. 51-66 - Naoki Nishida, Germán Vidal:
Characterizing Compatible View Updates in Syntactic Bidirectionalization. 67-83
Programming Languages
- Matthew Amy:
Sized Types for Low-Level Quantum Metaprogramming. 87-107 - James Hoey, Irek Ulidowski:
Reversible Imperative Parallel Programs and Debugging. 108-127
Circuit Synthesis
- 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 - Malcolm Regan, Brody Eastwood, Mahita Nagabhiru, Frank Mueller:
Automatically Translating Quantum Programs from a Subset of Common Gates to an Adiabatic Representation. 146-161 - Atsushi Matsuo, Shigeru Yamashita:
An Efficient Method for Quantum Circuit Placement Problem on a 2-D Grid. 162-168
Evaluation of Circuit Synthesis
- Alwin Zulehner, Hartwig Bauer, Robert Wille:
Evaluating the Flexibility of A* for Mapping Quantum Circuits. 171-190 - 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
- Harsh Khetawat, Ashlesha Atrey, George Li, Frank Mueller, Scott Pakin:
Implementing NChooseK on IBM Q Quantum Computer Systems. 209-223 - Torben Ægidius Mogensen:
Reversible In-Place Carry-Lookahead Addition with Few Ancillae. 224-237 - Anna Philippou, Kyriaki Psara, Harun Siljak:
Controlling Reversibility in Reversing Petri Nets with Application to Wireless Communications - Work-in-Progress Paper. 238-245
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.
last updated on 2024-06-10 21:32 CEST 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:
