Homepage RC
Warning: Use of undefined constant REQUEST_URI - assumed 'REQUEST_URI' (this will throw an Error in a future version of PHP) in /home/WH46993285/wwwroot/2016/inc/menu.inc.php on line 1 Warning: Use of undefined constant REQUEST_URI - assumed 'REQUEST_URI' (this will throw an Error in a future version of PHP) in /home/WH46993285/wwwroot/2016/inc/menu.inc.php on line 6 Warning: Use of undefined constant REQUEST_URI - assumed 'REQUEST_URI' (this will throw an Error in a future version of PHP) in /home/WH46993285/wwwroot/2016/inc/menu.inc.php on line 11 Warning: Use of undefined constant REQUEST_URI - assumed 'REQUEST_URI' (this will throw an Error in a future version of PHP) in /home/WH46993285/wwwroot/2016/inc/menu.inc.php on line 16 Warning: Use of undefined constant REQUEST_URI - assumed 'REQUEST_URI' (this will throw an Error in a future version of PHP) in /home/WH46993285/wwwroot/2016/inc/menu.inc.php on line 24 Warning: Use of undefined constant REQUEST_URI - assumed 'REQUEST_URI' (this will throw an Error in a future version of PHP) in /home/WH46993285/wwwroot/2016/inc/menu.inc.php on line 28 Warning: Use of undefined constant REQUEST_URI - assumed 'REQUEST_URI' (this will throw an Error in a future version of PHP) in /home/WH46993285/wwwroot/2016/inc/menu.inc.php on line 32 Warning: Use of undefined constant REQUEST_URI - assumed 'REQUEST_URI' (this will throw an Error in a future version of PHP) in /home/WH46993285/wwwroot/2016/inc/menu.inc.php on line 36 Warning: Use of undefined constant REQUEST_URI - assumed 'REQUEST_URI' (this will throw an Error in a future version of PHP) in /home/WH46993285/wwwroot/2016/inc/menu.inc.php on line 40 Warning: Use of undefined constant REQUEST_URI - assumed 'REQUEST_URI' (this will throw an Error in a future version of PHP) in /home/WH46993285/wwwroot/2016/inc/menu.inc.php on line 51 Warning: Use of undefined constant REQUEST_URI - assumed 'REQUEST_URI' (this will throw an Error in a future version of PHP) in /home/WH46993285/wwwroot/2016/inc/menu.inc.php on line 55 Warning: Use of undefined constant REQUEST_URI - assumed 'REQUEST_URI' (this will throw an Error in a future version of PHP) in /home/WH46993285/wwwroot/2016/inc/menu.inc.php on line 59
Accepted Papers

Accepted Papers

The following papers have been accepted for presentation at RC 2016. Congratulations to all authors!

Pablo Arrighi, Simon Martiel and Simon Perdrix. Reversible causal graph dynamics
Dmitry Zakablukov. Application of Permutation Group Theory in Reversible Logic Synthesis
Ioana Cristescu, Jean Krivine and Daniele Varacca. Rigid Families for the Reversible pi-calculus
Tim Boykett, Jarkko Kari and Ville Salo. Strongly Universal Reversible Gate Sets
Stefan Kuhn and Irek Ulidowski. A calculus for local reversibility
Doriana Medic and Claudio Antares Mezzina. Static VS Dynamic Reversibility in CCS
Mathias Soeken, Nabila Abdessaied and Giovanni De Micheli. Enumeration of reversible functions and its application to circuit complexity
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
Holger Bock Axelsen, Martin Kutrib, Andreas Malcher and Matthias Wendlandt. Boosting Reversible Pushdown Machines By Preprocessing
Benoît Valiron. Generating reversible circuits from higher-order functional programs
Ulrik Schultz and Holger Bock Axelsen. Elements of a Reversible Object-Oriented Language
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
Mathias Soeken, Gerhard Dueck and Michael Miller. A fast symbolic transformation based algorithm for reversible logic synthesis
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
Francesco Tiezzi and Nobuko Yoshida. Reversing Single Sessions











info@reversible-computation.org