![](https://dblp1.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp1.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp1.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp1.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp1.uni-trier.de/img/search.dark.16x16.png)
default search action
RC 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
![](https://dblp1.uni-trier.de/img/cog.dark.24x24.png)
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.