• case-insensitive prefix search: default
  e.g., sig matches "SIGIR" as well as "signal"
• exact word search: append dollar sign ($) to word
  e.g., graph$ matches "graph", but not "graphics"
• boolean and: separate words by space
  e.g., codd model
• boolean or: connect words by pipe symbol (|)
  e.g., graph|network

Update May 7, 2017: Please note that we had to disable the phrase search operator (.) and the boolean not operator (-) due to technical problems. For the time being, phrase search queries will yield regular prefix search result, and search terms preceded by a minus will be interpreted as regular (positive) search terms.

found 20 matches

• 2017
• 
  Markus Holzer, Martin Kutrib:
  Reversible Nondeterministic Finite Automata. RC 2017: 35-51
• 
  Zaid Al-Wardi, Robert Wille, Rolf Drechsler:
  Towards VHDL-Based Design of Reversible Circuits - Work in Progress Report. RC 2017: 102-108
• 
  Michael P. Frank:
  Foundations of Generalized Reversible Computing. RC 2017: 19-34
• 
  Ayrat Galisultanov, Yann Perrin, Hervé Fanet, Gaël Pillonnet:
  Capacitive-Based Adiabatic Logic. RC 2017: 52-65
• 
  Tue Haulund, Torben Ægidius Mogensen, Robert Glück:
  Implementing Reversible Object-Oriented Language Features on Reversible Machines. RC 2017: 66-73
• 
  Abhoy Kole, Robert Wille, Kamalika Datta, Indranil Sengupta:
  Test Pattern Generation Effort Evaluation of Reversible Circuits. RC 2017: 162-175
• 
  Ritajit Majumdar, Saikat Basu, Susmita Sur-Kolay:
  A Method to Reduce Resources for Quantum Error Correction. RC 2017: 151-161
• 
  Leniency Marbaniang, Abhoy Kole, Kamalika Datta, Indranil Sengupta:
  Design of Efficient Quantum Circuits Using Nearest Neighbor Constraint in 2D Architecture. RC 2017: 248-253
• 
  Md Asif Nashiry, Mozammel H. A. Khan, Jacqueline E. Rice:
  Controlled and Uncontrolled SWAP Gates in Reversible Logic Synthesis. RC 2017: 141-147
• 
  Philipp Niemann, Alwin Zulehner, Robert Wille, Rolf Drechsler:
  Efficient Construction of QMDDs for Irreversible, Reversible, and Quantum Functions. RC 2017: 214-231
• 
  Alex Parent, Martin Roetteler, Krysta M. Svore:
  REVS: A Tool for Space-Optimized Reversible Circuit Synthesis. RC 2017: 90-101
• 
  Sai Phaneendra Parlapalli, Chetan Vudadha, M. B. Srinivas:
  Optimizing the Reversible Circuits Using Complementary Control Line Transformation. RC 2017: 111-126
• 
  Sai Phaneendra Parlapalli, Chetan Vudadha, M. B. Srinivas:
  An ESOP Based Cube Decomposition Technique for Reversible Circuits. RC 2017: 127-140
• 
  Goutam Paul, Anupam Chattopadhyay, Chander Chandak:
  Designing Parity Preserving Reversible Circuits. RC 2017: 77-89
• 
  P. Mercy Nesa Rani, Abhoy Kole, Kamalika Datta, Indranil Sengupta:
  Improved Decomposition of Multiple-Control Ternary Toffoli Gates Using Muthukrishnan-Stroud Quantum Gates. RC 2017: 202-213
• 
  Martin Roetteler:
  Tools for Quantum and Reversible Circuit Compilation. RC 2017: 3-16
• 
  Anmol Prakash Surhonne, Anupam Chattopadhyay, Robert Wille:
  Automatic Test Pattern Generation for Multiple Missing Gate Faults in Reversible Circuits - Work in Progress Report. RC 2017: 176-182
• 
  Alwin Zulehner, Stefan Gasser, Robert Wille:
  Exact Global Reordering for Nearest Neighbor Quantum Circuits Using A * ∗. RC 2017: 185-201
• 
  Alwin Zulehner, Robert Wille:
  Improving Synthesis of Reversible Circuits: Exploiting Redundancies in Paths and Nodes of QMDDs. RC 2017: 232-247
• 
  Iain Phillips, Hafizur Rahaman:
  Reversible Computation - 9th International Conference, RC 2017, Kolkata, India, July 6-7, 2017, Proceedings. Lecture Notes in Computer Science 10301, Springer 2017, ISBN 978-3-319-59935-9 [contents]