Reversible Computation

6th International Conference, RC 2014, Kyoto, Japan, July 10-11, 2014. Proceedings

  • Shigeru Yamashita
  • Shin-ichi Minato
Part of the Lecture Notes in Computer Science book series (LNCS, volume 8507)

Table of contents

  1. Front Matter
  2. Invited Talks

    1. Irek Ulidowski, Iain Phillips, Shoji Yuen
      Pages 1-14
    2. Naoki Takeuchi, Yuki Yamanashi, Nobuyuki Yoshikawa
      Pages 15-25
  3. Automata for Reversible Computation

    1. Martin Kutrib, Thomas Worsch
      Pages 40-53
    2. Jarkko Kari, Ville Salo, Ilkka Törmä
      Pages 54-66
  4. Notation and Languages for Reversible Computation

    1. Daniel Morrison, Irek Ulidowski
      Pages 67-81
    2. Torben Ægidius Mogensen
      Pages 82-94
  5. Synthesis and Optimization of Reversible Circuits

    1. Anupam Chattopadhyay, Soumajit Majumder, Chander Chandak, Nahian Chowdhury
      Pages 95-110
    2. Robert Wille, Jannis Stoppe, Eleonora Schönborn, Kamalika Datta, Rolf Drechsler
      Pages 111-124
    3. Md Zamilur Rahman, Jacqueline E. Rice
      Pages 125-136
    4. Anindita Banerjee, Anirban Pathak, Gerhard W. Dueck
      Pages 137-148
  6. Synthesis and Optimization of Quantum Circuits

    1. Nabila Abdessaied, Mathias Soeken, Rolf Drechsler
      Pages 149-162
    2. D. Michael Miller, Mathias Soeken, Rolf Drechsler
      Pages 163-175
    3. Nurul Ain Binti Adnan, Shigeru Yamashita, Simon J. Devitt, Kae Nemoto
      Pages 176-188
  7. Validation and Representation of Quantum Logic

    1. Alexandru Paler, Simon Devitt, Kae Nemoto, Ilia Polian
      Pages 189-200
    2. Philipp Niemann, Robert Wille, Rolf Drechsler
      Pages 201-215
    3. Hidefumi Hiraishi, Hiroshi Imai
      Pages 216-229
  8. Back Matter

About these proceedings

Introduction

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.

Keywords

circuit complexity circuit optimization formal methods probabilistic computation quantum computing reversible logic simulated annealing validation

Editors and affiliations

  • Shigeru Yamashita
    • 1
  • Shin-ichi Minato
    • 2
  1. 1.College of Information Science and EngineeringRitsumeikan UniversityKusatsuJapan
  2. 2.Graduate School of Information Science and TechnologyHokkaido UniversitySapporoJapan

Bibliographic information

  • DOI https://doi.org/10.1007/978-3-319-08494-7
  • Copyright Information Springer International Publishing Switzerland 2014
  • Publisher Name Springer, Cham
  • eBook Packages Computer Science
  • Print ISBN 978-3-319-08493-0
  • Online ISBN 978-3-319-08494-7
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • About this book