default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDRC 2014: Kyoto, Japan
- Shigeru Yamashita
, Shin-ichi Minato:
Reversible Computation - 6th International Conference, RC 2014, Kyoto, Japan, July 10-11, 2014. Proceedings. Lecture Notes in Computer Science 8507, Springer 2014, ISBN 978-3-319-08493-0
Invited Talks
- Irek Ulidowski, Iain Phillips, Shoji Yuen:
Concurrency and Reversibility. 1-14 - Naoki Takeuchi, Yuki Yamanashi, Nobuyuki Yoshikawa:
Reversible Computing Using Adiabatic Superconductor Logic. 15-25 - Simon J. Devitt:
Classical Control of Large-Scale Quantum Computers. 26-39
Automata for Reversible Computation
- Martin Kutrib, Thomas Worsch:
Degrees of Reversibility for DFA and DPDA. 40-53 - Jarkko Kari, Ville Salo, Ilkka Törmä:
Trace Complexity of Chaotic Reversible Cellular Automata. 54-66
Notation and Languages for Reversible Computation
- Daniel Morrison, Irek Ulidowski:
Arbitration and Reversibility of Parallel Delay-Insensitive Modules. 67-81 - Torben Ægidius Mogensen:
Reference Counting for Reversible Languages. 82-94
Synthesis and Optimization of Reversible Circuits
- Anupam Chattopadhyay, Soumajit Majumder, Chander Chandak, Nahian Chowdhury:
Constructive Reversible Logic Synthesis for Boolean Functions with Special Properties. 95-110 - Robert Wille, Jannis Stoppe, Eleonora Schönborn, Kamalika Datta, Rolf Drechsler:
RevVis: Visualization of Structures and Properties in Reversible Circuits. 111-124 - Md. Zamilur Rahman, Jacqueline E. Rice:
Templates for Positive and Negative Control Toffoli Networks. 125-136 - Anindita Banerjee, Anirban Pathak, Gerhard W. Dueck:
Minimal Designs of Reversible Sequential Elements. 137-148
Synthesis and Optimization of Quantum Circuits
- Nabila Abdessaied, Mathias Soeken, Rolf Drechsler:
Quantum Circuit Optimization by Hadamard Gate Reduction. 149-162 - D. Michael Miller, Mathias Soeken, Rolf Drechsler:
Mapping NCV Circuits to Optimized Clifford+T Circuits. 163-175 - Nurul Ain Binti Adnan, Shigeru Yamashita, Simon J. Devitt, Kae Nemoto:
2D Qubit Layout Optimization for Topological Quantum Computation. 176-188
Validation and Representation of Quantum Logic
- Alexandru Paler, Simon J. Devitt, Kae Nemoto, Ilia Polian:
Cross-Level Validation of Topological Quantum Circuits. 189-200 - Philipp Niemann, Robert Wille, Rolf Drechsler:
Equivalence Checking in Multi-level Quantum Systems. 201-215 - Hidefumi Hiraishi, Hiroshi Imai:
BDD Operations for Quantum Graph States. 216-229
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2025-12-04 22:05 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
