The following papers have been accepted for presentation at RC 2016. Congratulations to all authors!
Dmitry Zakablukov. Application of Permutation Group Theory in Reversible Logic Synthesis Tim Boykett, Jarkko Kari and Ville Salo. Strongly Universal Reversible Gate Sets Doriana Medic and Claudio Antares Mezzina. Static VS Dynamic Reversibility in CCS Nirvan Tyagi, Jayson Lynch and Erik D. Demaine. Energy Efficient Language and Compiler for (Partially) Reversible Algorithms Mert Yuksel, Selcuk Oguz Erbil, Atakan Bekir Ari and Mehmet Selim Hanay. Design and Fabrication of CSWAP Gate Based on Nano-electromechanical Systems Davide Cingolani, Mauro Ianni, Alessandro Pellegrini and Francesco Quaglia. Mixing Hardware and Software Reversibility for Speculative Parallel Discrete Event Simulation Benoît Valiron. Generating reversible circuits from higher-order functional programs Peter Selinger. A finite alternation result for reversible boolean circuits Claudio Moraga. Design of p-valued Deutsch quantum gates with multiple control signals and mixed polarity Alexandru Paler. Cyclic CNOT Circuits: Definition, Analysis and Application to Fault-Tolerant Quantum Circuits Robert Wille, Nils Quetschlich, Yuma Inoue, Norihito Yasuda and Shin-Ichi Minato. Using pDDs for Nearest Neighbor Optimization of Quantum Circuits Robert Wille, Aaron Lye and Philipp Niemann. Checking Reversibility of Boolean Functions Robert Wille, Oliver Keszöcze, Lars Othmer, Michael Kirkedal Thomsen and Rolf Drechsler. Generating and Checking Control Logic in the HDL-based Design of Reversible Circuits Linda Anticoli, Carla Piazza, Leonardo Taglialegne and Paolo Zuliani. Verifying Quantum Programs: From Quipper to QPMC Kamila Barylska, Maciej Koutny, Lukasz Mikulski and Marcin Piatkowski. Reversible Computation vs. Reversibility in Petri Nets
|