© 2017

Reversible Computation

9th International Conference, RC 2017, Kolkata, India, July 6-7, 2017, Proceedings

  • Iain Phillips
  • Hafizur Rahaman
Conference proceedings RC 2017

Part of the Lecture Notes in Computer Science book series (LNCS, volume 10301)

Also part of the Programming and Software Engineering book sub series (LNPSE, volume 10301)

Table of contents

  1. Front Matter
    Pages I-XII
  2. Invited Paper

    1. Front Matter
      Pages 1-1
  3. Foundations

    1. Front Matter
      Pages 17-17
    2. Markus Holzer, Martin Kutrib
      Pages 35-51
    3. Ayrat Galisultanov, Yann Perrin, Hervé Fanet, Gaël Pillonnet
      Pages 52-65
    4. Tue Haulund, Torben Ægidius Mogensen, Robert Glück
      Pages 66-73
  4. Reversible Circuit Synthesis

    1. Front Matter
      Pages 75-75
    2. Goutam Paul, Anupam Chattopadhyay, Chander Chandak
      Pages 77-89
    3. Alex Parent, Martin Roetteler, Krysta M. Svore
      Pages 90-101
    4. Zaid Al-Wardi, Robert Wille, Rolf Drechsler
      Pages 102-108
  5. Reversible Circuit Optimization

    1. Front Matter
      Pages 109-109
    2. Sai Phaneendra Parlapalli, Chetan Vudadha, M. B. Srinivas
      Pages 111-126
    3. Sai Phaneendra Parlapalli, Chetan Vudadha, M. B. Srinivas
      Pages 127-140
    4. Md Asif Nashiry, Mozammel H. A. Khan, Jacqueline E. Rice
      Pages 141-147
  6. Testing and Fault Tolerance

    1. Front Matter
      Pages 149-149
    2. Ritajit Majumdar, Saikat Basu, Susmita Sur-Kolay
      Pages 151-161
    3. Abhoy Kole, Robert Wille, Kamalika Datta, Indranil Sengupta
      Pages 162-175
    4. Anmol Prakash Surhonne, Anupam Chattopadhyay, Robert Wille
      Pages 176-182

About these proceedings


This book constitutes the refereed proceedings of the 9th International Conference on Reversible Computation, RC 2017, held in Kolkata, India, in July 2017.

The 13 full and 5 short papers included in this volume together with one invited paper were carefully reviewed and selected from 47 submissions. The papers are organized in the following topical sections: foundations; reversible circuit synthesis; reversible circuit optimization; testing and fault tolerance; and quantum circuits.


adiabatic computation Boolean algebra circuit synthesis circuit optimization Landauer’s Principle logic design logic gates quantum algorithms quantum circuits quantum computation quantum cost quantum error correction reversible circuits reversible computation reversible finite automata test pattern generation

Editors and affiliations

  • Iain Phillips
    • 1
  • Hafizur Rahaman
    • 2
  1. 1.Imperial College LondonLondonUnited Kingdom
  2. 2.Indian Institute of Engineering Science and TechnologyShibpurIndia

Bibliographic information