Abstract is missing.
- Concurrent Quantum StrategiesPierre Clairambault, Marc de Visme, Glynn Winskel. 3-19 [doi]
- A Birkhoff Connection Between Quantum Circuits and Linear Classical Reversible CircuitsAlexis De Vos, Stijn De Baerdemacker. 23-33 [doi]
- Inversion, Iteration, and the Art of Dual WieldingRobin Kaarsgaard. 34-50 [doi]
- Reversibility vs Local Creation/DestructionPablo Arrighi, Nicolas Durbec, Aurélien Emmanuel. 51-66 [doi]
- Characterizing Compatible View Updates in Syntactic BidirectionalizationNaoki Nishida 0001, Germán Vidal. 67-83 [doi]
- Sized Types for Low-Level Quantum MetaprogrammingMatthew Amy. 87-107 [doi]
- Reversible Imperative Parallel Programs and DebuggingJames Hoey, Irek Ulidowski. 108-127 [doi]
- Efficient Realization of Toffoli and NCV Circuits for IBM QX ArchitecturesAlexandre A. A. de Almeida, Gerhard W. Dueck, Alexandre César Rodrigues da Silva. 131-145 [doi]
- Automatically Translating Quantum Programs from a Subset of Common Gates to an Adiabatic RepresentationMalcolm Regan, Brody Eastwood, Mahita Nagabhiru, Frank Mueller. 146-161 [doi]
- An Efficient Method for Quantum Circuit Placement Problem on a 2-D GridAtsushi Matsuo, Shigeru Yamashita. 162-168 [doi]
- Evaluating the Flexibility of A* for Mapping Quantum CircuitsAlwin Zulehner, Hartwig Bauer, Robert Wille. 171-190 [doi]
- Evaluating ESOP Optimization Methods in Quantum Compilation FlowsGiulia Meuli, Bruno Schmitt, Rüdiger Ehlers, Heinz Riener, Giovanni De Micheli. 191-206 [doi]
- Implementing NChooseK on IBM Q Quantum Computer SystemsHarsh Khetawat, Ashlesha Atrey, George Li, Frank Mueller, Scott Pakin. 209-223 [doi]
- Reversible In-Place Carry-Lookahead Addition with Few AncillaeTorben Ægidius Mogensen. 224-237 [doi]
- Controlling Reversibility in Reversing Petri Nets with Application to Wireless Communications - Work-in-Progress PaperAnna Philippou, Kyriaki Psara, Harun Siljak. 238-245 [doi]