Abstract is missing.
- Concurrency and ReversibilityIrek Ulidowski, Iain Phillips, Shoji Yuen. 1-14 [doi]
- Reversible Computing Using Adiabatic Superconductor LogicNaoki Takeuchi, Yuki Yamanashi, Nobuyuki Yoshikawa. 15-25 [doi]
- Classical Control of Large-Scale Quantum ComputersSimon J. Devitt. 26-39 [doi]
- Degrees of Reversibility for DFA and DPDAMartin Kutrib, Thomas Worsch. 40-53 [doi]
- Trace Complexity of Chaotic Reversible Cellular AutomataJarkko Kari, Ville Salo, Ilkka Törmä. 54-66 [doi]
- Arbitration and Reversibility of Parallel Delay-Insensitive ModulesDaniel Morrison, Irek Ulidowski. 67-81 [doi]
- Reference Counting for Reversible LanguagesTorben Ægidius Mogensen. 82-94 [doi]
- Constructive Reversible Logic Synthesis for Boolean Functions with Special PropertiesAnupam Chattopadhyay, Soumajit Majumder, Chander Chandak, Nahian Chowdhury. 95-110 [doi]
- RevVis: Visualization of Structures and Properties in Reversible CircuitsRobert Wille, Jannis Stoppe, Eleonora Schönborn, Kamalika Datta, Rolf Drechsler. 111-124 [doi]
- Templates for Positive and Negative Control Toffoli NetworksMd Zamilur Rahman, Jacqueline E. Rice. 125-136 [doi]
- Minimal Designs of Reversible Sequential ElementsAnindita Banerjee, Anirban Pathak, Gerhard W. Dueck. 137-148 [doi]
- Quantum Circuit Optimization by Hadamard Gate ReductionNabila Abdessaied, Mathias Soeken, Rolf Drechsler. 149-162 [doi]
- Mapping NCV Circuits to Optimized Clifford+T CircuitsD. Michael Miller, Mathias Soeken, Rolf Drechsler. 163-175 [doi]
- 2D Qubit Layout Optimization for Topological Quantum ComputationNurul Ain Binti Adnan, Shigeru Yamashita, Simon J. Devitt, Kae Nemoto. 176-188 [doi]
- Cross-Level Validation of Topological Quantum CircuitsAlexandru Paler, Simon J. Devitt, Kae Nemoto, Ilia Polian. 189-200 [doi]
- Equivalence Checking in Multi-level Quantum SystemsPhilipp Niemann, Robert Wille, Rolf Drechsler. 201-215 [doi]
- BDD Operations for Quantum Graph StatesHidefumi Hiraishi, Hiroshi Imai. 216-229 [doi]