| 2016 | A Calculus for Local Reversibility. Stefan Kuhn, Irek Ulidowski |
| 2016 | A Fast Symbolic Transformation Based Algorithm for Reversible Logic Synthesis. Mathias Soeken, Gerhard W. Dueck, D. Michael Miller |
| 2016 | A Finite Alternation Result for Reversible Boolean Circuits. Peter Selinger |
| 2016 | Application of Permutation Group Theory in Reversible Logic Synthesis. Dmitry V. Zakablukov |
| 2016 | Boosting Reversible Pushdown Machines by Preprocessing. Holger Bock Axelsen, Martin Kutrib, Andreas Malcher, Matthias Wendlandt |
| 2016 | Checking Reversibility of Boolean Functions. Robert Wille, Aaron Lye, Philipp Niemann |
| 2016 | Circular CNOT Circuits: Definition, Analysis and Application to Fault-Tolerant Quantum Circuits. Alexandru Paler |
| 2016 | Design and Fabrication of CSWAP Gate Based on Nano-Electromechanical Systems. Mert Yüksel, Selçuk Oguz Erbil, Atakan B. Ari, M. Selim Hanay |
| 2016 | Design of p-Valued Deutsch Quantum Gates with Multiple Control Signals and Mixed Polarity. Claudio Moraga |
| 2016 | Elements of a Reversible Object-Oriented Language - Work-in-Progress Report. Ulrik Pagh Schultz, Holger Bock Axelsen |
| 2016 | Enumeration of Reversible Functions and Its Application to Circuit Complexity. Mathias Soeken, Nabila Abdessaied, Giovanni De Micheli |
| 2016 | Generating Reversible Circuits from Higher-Order Functional Programs. Benoît Valiron |
| 2016 | Initial Ideas for Automatic Design and Verification of Control Logic in Reversible HDLs - Work in Progress Report. Robert Wille, Oliver Keszöcze, Lars Othmer, Michael Kirkedal Thomsen, Rolf Drechsler |
| 2016 | Mixing Hardware and Software Reversibility for Speculative Parallel Discrete Event Simulation. Davide Cingolani, Mauro Ianni, Alessandro Pellegrini, Francesco Quaglia |
| 2016 | Reversible Causal Graph Dynamics. Pablo Arrighi, Simon Martiel, Simon Perdrix |
| 2016 | Reversible Computation - 8th International Conference, RC 2016, Bologna, Italy, July 7-8, 2016, Proceedings Simon J. Devitt, Ivan Lanese |
| 2016 | Reversible Computation vs. Reversibility in Petri Nets. Kamila Barylska, Maciej Koutny, Lukasz Mikulski, Marcin Piatkowski |
| 2016 | Reversing Single Sessions. Francesco Tiezzi, Nobuko Yoshida |
| 2016 | Rigid Families for the Reversible π-Calculus. Ioana Cristescu, Jean Krivine, Daniele Varacca |
| 2016 | Static VS Dynamic Reversibility in CCS. Doriana Medic, Claudio Antares Mezzina |
| 2016 | Strongly Universal Reversible Gate Sets. Tim Boykett, Jarkko Kari, Ville Salo |
| 2016 | Toward an Energy Efficient Language and Compiler for (Partially) Reversible Algorithms. Nirvan Tyagi, Jayson Lynch, Erik D. Demaine |
| 2016 | Towards Quantum Programs Verification: From Quipper Circuits to QPMC. Linda Anticoli, Carla Piazza, Leonardo Taglialegne, Paolo Zuliani |
| 2016 | Using \pi DDs for Nearest Neighbor Optimization of Quantum Circuits. Robert Wille, Nils Quetschlich, Yuma Inoue, Norihito Yasuda, Shin-ichi Minato |