Reversible Computation

1. Front Matter

   PDF

2. Invited Talks

   1. Concurrency and Reversibility

      • Irek Ulidowski, Iain Phillips, Shoji Yuen

      Pages 1-14

   2. Reversible Computing Using Adiabatic Superconductor Logic

      • Naoki Takeuchi, Yuki Yamanashi, Nobuyuki Yoshikawa

      Pages 15-25

   3. Classical Control of Large-Scale Quantum Computers

      • Simon J. Devitt

      Pages 26-39

3. Automata for Reversible Computation

   1. Degrees of Reversibility for DFA and DPDA

      • Martin Kutrib, Thomas Worsch

      Pages 40-53

   2. Trace Complexity of Chaotic Reversible Cellular Automata

      • Jarkko Kari, Ville Salo, Ilkka Törmä

      Pages 54-66

4. Notation and Languages for Reversible Computation

   1. Arbitration and Reversibility of Parallel Delay-Insensitive Modules

      • Daniel Morrison, Irek Ulidowski

      Pages 67-81

   2. Reference Counting for Reversible Languages

      • Torben Ægidius Mogensen

      Pages 82-94

5. Synthesis and Optimization of Reversible Circuits

   1. Constructive Reversible Logic Synthesis for Boolean Functions with Special Properties

      • Anupam Chattopadhyay, Soumajit Majumder, Chander Chandak, Nahian Chowdhury

      Pages 95-110

   2. RevVis: Visualization of Structures and Properties in Reversible Circuits

      • Robert Wille, Jannis Stoppe, Eleonora Schönborn, Kamalika Datta, Rolf Drechsler

      Pages 111-124

   3. Templates for Positive and Negative Control Toffoli Networks

      • Md Zamilur Rahman, Jacqueline E. Rice

      Pages 125-136

   4. Minimal Designs of Reversible Sequential Elements

      • Anindita Banerjee, Anirban Pathak, Gerhard W. Dueck

      Pages 137-148

6. Synthesis and Optimization of Quantum Circuits

   1. Quantum Circuit Optimization by Hadamard Gate Reduction

      • Nabila Abdessaied, Mathias Soeken, Rolf Drechsler

      Pages 149-162

   2. Mapping NCV Circuits to Optimized Clifford+T Circuits

      • D. Michael Miller, Mathias Soeken, Rolf Drechsler

      Pages 163-175

   3. 2D Qubit Layout Optimization for Topological Quantum Computation

      • Nurul Ain Binti Adnan, Shigeru Yamashita, Simon J. Devitt, Kae Nemoto

      Pages 176-188

7. Validation and Representation of Quantum Logic

   1. Cross-Level Validation of Topological Quantum Circuits

      • Alexandru Paler, Simon Devitt, Kae Nemoto, Ilia Polian

      Pages 189-200

   2. Equivalence Checking in Multi-level Quantum Systems

      • Philipp Niemann, Robert Wille, Rolf Drechsler

      Pages 201-215

   3. BDD Operations for Quantum Graph States

      • Hidefumi Hiraishi, Hiroshi Imai

      Pages 216-229

8. Back Matter

   PDF

This book constitutes the refereed proceedings of the 6th International Conference on Reversible Computation, RC 2014, held in Kyoto, Japan, in July 2014. The 14 contributions presented together with three invited talks were carefully reviewed and selected from 27 submissions. The papers are organized in topical sections on automata for reversible computation; notation and languages for reversible computation; synthesis and optimization for reversible circuits; validation and representation of quantum logic.

• circuit complexity
• circuit optimization
• formal methods
• probabilistic computation
• quantum computing
• reversible logic
• simulated annealing
• validation
• algorithm analysis and problem complexity

• College of Information Science and Engineering, Ritsumeikan University, Kusatsu, Japan

  Shigeru Yamashita

• Graduate School of Information Science and Technology, Hokkaido University, Sapporo, Japan

  Shin-ichi Minato

Policies and ethics