Homepage RC
Accepted Papers

Accepted Papers

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

Torben Mogensen. Garbage Collection for Reversible Functional Languages
Friedrich Otto, Matthias Wendlandt and Kent Kwee. Reversible Ordered Restarting Automata
Markus Schordan, David Jefferson, Peter Barnes, Tomas Oppelstrup and Daniel Quinlan. Reverse Code Generation for Parallel Discrete Event Simulation
Ittoop Vergheese Puthoor and Simon J. Gay. Equational reasoning about quantum protocols
Michael Kirkedal Thomsen, Mathias Soeken, Robin Kaarsgaard Jensen and Holger Bock Axelsen. Ricercar: A Language for Describing and Rewriting Reversible Circuits with Ancillae and its Permutation Semantics
Alexandru Paler, Ilia Polian, Kae Nemoto and Simon Devitt. A Regular Representation of Quantum and Reversible Circuits
Tommi Pesu and Iain Phillips. Real-time methods in reversible computation
Yuma Inoue and Shin-Ichi Minato. Improved Algorithms for Debugging Problems on Erroneous Reversible Circuits
Nabila Abdessaied, Mathias Soeken and Rolf Drechsler. Technology mapping for quantum circuits using Boolean functional decomposition
Ismo Hanninen, Cesar Campos-Aguillon, Rene Celis-Cordova and Gregory Snider. Design and Fabrication of a Microprocessor using Adiabatic CMOS and Bennett Clocking
Holger Bock Axelsen, Sebastian Jakobi, Martin Kutrib and Andreas Malcher. A Hierarchy of Fast Reversible Turing Machines
Nidhal Hamrit and Simon Perdrix. Reversibility in the Extended Measurement-based Quantum Computation.
Ulrik Schultz, Johan Laursen, Lars-Peter Ellekilde and Holger Bock Axelsen. Towards a Domain-Specific Language for Reversible Assembly Sequences
Philipp Niemann, Saikat Basu, Amlan Chakrabarti, Niraj K. Jha and Robert Wille. Synthesis of Quantum Circuits for Dedicated Physical Machine Descriptions
Zaid Al-Wardi, Robert Wille and Rolf Drechsler. Towards Line-aware Realizations of Expressions for HDL-based Synthesis of Reversible Circuits

Short Presentations (Work in Progress)

Stefan Kuhn and Irek Ulidowski. Towards modelling of local reversibility
Abhoy Kole, Kamalika Datta, Indranil Sengupta and Robert Wille. Towards a Cost Metric for Nearest Neighbor Constraints in Reversible Circuits
Mariusz Rawski. Application of Functional Decomposition in Synthesis of Reversible Circuits
Samer Houri, Gerard Billiot, Marc Belleville, Alexandre Valentian and Hervé Fanet. Power-Clock Generator Impact on the Performance of NEM-Based Adiabatic Logic Circuits