| 2013 | An Introduction to Quantum Programming in Quipper. Alexander S. Green, Peter LeFanu Lumsdaine, Neil J. Ross, Peter Selinger, Benoît Valiron |
| 2013 | Comparing CMOS-Based and NEMS-Based Adiabatic Logic Circuits. Samer Houri, Alexandre Valentian, Hervé Fanet |
| 2013 | Constant-Factor Optimization of Quantum Adders on 2D Quantum Architectures. Mehdi Saeedi, Alireza Shafaei, Massoud Pedram |
| 2013 | Efficient Algorithms for Universal Quantum Simulation. Barry C. Sanders |
| 2013 | Energy Recovery and Logical Reversibility in Adiabatic CMOS Multiplier. Ismo Hänninen, Hao Lu, Craig S. Lent, Gregory L. Snider |
| 2013 | Exploiting Negative Control Lines in the Optimization of Reversible Circuits. Kamalika Datta, Gaurav Rathi, Robert Wille, Indranil Sengupta, Hafizur Rahaman, Rolf Drechsler |
| 2013 | Garbage-Free Reversible Constant Multipliers for Arbitrary Integers. Torben Æ. Mogensen |
| 2013 | Identities in Modular Arithmetic from Reversible Coherence Operations. Peter M. Hines |
| 2013 | Logically and Physically Reversible Natural Computing: A Tutorial. Chris Thachuk |
| 2013 | Modelling of Bonding with Processes and Events. Iain Phillips, Irek Ulidowski, Shoji Yuen |
| 2013 | On the "Q" in QMDDs: Efficient Representation of Quantum Functionality in the QMDD Data-Structure. Philipp Niemann, Robert Wille, Rolf Drechsler |
| 2013 | Quantum Process Calculus for Linear Optical Quantum Computing. Sonja Franke-Arnold, Simon J. Gay, Ittoop Vergheese Puthoor |
| 2013 | Reducing the Depth of Quantum Circuits Using Additional Circuit Lines. Nabila Abdessaied, Robert Wille, Mathias Soeken, Rolf Drechsler |
| 2013 | Reversible Circuit Synthesis of Symmetric Functions Using a Simple Regular Structure. Arighna Deb, Debesh K. Das, Hafizur Rahaman, Bhargab B. Bhattacharya, Robert Wille, Rolf Drechsler |
| 2013 | Reversible Computation - 5th International Conference, RC 2013, Victoria, BC, Canada, July 4-5, 2013. Proceedings Gerhard W. Dueck, D. Michael Miller |
| 2013 | Reversible Delay-Insensitive Distributed Memory Modules. Daniel Morrison, Irek Ulidowski |
| 2013 | Reversible Representation and Manipulation of Constructor Terms in the Heap. Holger Bock Axelsen, Robert Glück |
| 2013 | Strength of the Reversible, Garbage-Free 2 k ±1 Multiplier. Eva Rotenberg, James Cranch, Michael Kirkedal Thomsen, Holger Bock Axelsen |
| 2013 | Time-Symmetric Machines. Martin Kutrib, Thomas Worsch |
| 2013 | Universal Gates in Other Universes. Jonathan A. Poritz |
| 2013 | White Dots do Matter: Rewriting Reversible Logic Circuits. Mathias Soeken, Michael Kirkedal Thomsen |