| 2016 | Toward an Energy Efficient Language and Compiler for (Partially) Reversible Algorithms. | Nirvan Tyagi, Jayson Lynch, Erik D. Demaine |
| 2016 | Reversing Single Sessions. | Francesco Tiezzi, Nobuko Yoshida |
| 2016 | A Fast Symbolic Transformation Based Algorithm for Reversible Logic Synthesis. | Mathias Soeken, Gerhard W. Dueck, D. Michael Miller |
| 2016 | Enumeration of Reversible Functions and Its Application to Circuit Complexity. | Mathias Soeken, Nabila Abdessaied, Giovanni De Micheli |
| 2016 | A Finite Alternation Result for Reversible Boolean Circuits. | Peter Selinger |
| 2016 | Elements of a Reversible Object-Oriented Language - Work-in-Progress Report. | Ulrik Pagh Schultz, Holger Bock Axelsen |
| 2016 | Circular CNOT Circuits: Definition, Analysis and Application to Fault-Tolerant Quantum Circuits. | Alexandru Paler |
| 2016 | Design of p-Valued Deutsch Quantum Gates with Multiple Control Signals and Mixed Polarity. | Claudio Moraga |
| 2016 | Static VS Dynamic Reversibility in CCS. | Doriana Medic, Claudio Antares Mezzina |
| 2016 | Rigid Families for the Reversible π-Calculus. | Ioana Cristescu, Jean Krivine, Daniele Varacca |
| 2016 | Mixing Hardware and Software Reversibility for Speculative Parallel Discrete Event Simulation. | Davide Cingolani, Mauro Ianni, Alessandro Pellegrini, Francesco Quaglia |
| 2016 | Strongly Universal Reversible Gate Sets. | Tim Boykett, Jarkko Kari, Ville Salo |
| 2016 | Reversible Computation vs. Reversibility in Petri Nets. | Kamila Barylska, Maciej Koutny, Lukasz Mikulski, Marcin Piatkowski |
| 2016 | Boosting Reversible Pushdown Machines by Preprocessing. | Holger Bock Axelsen, Martin Kutrib, Andreas Malcher, Matthias Wendlandt |
| 2016 | Reversible Causal Graph Dynamics. | Pablo Arrighi, Simon Martiel, Simon Perdrix |
| 2016 | Towards Quantum Programs Verification: From Quipper Circuits to QPMC. | Linda Anticoli, Carla Piazza, Leonardo Taglialegne, Paolo Zuliani |
| 2016 | A Calculus for Local Reversibility. | Stefan Kuhn, Irek Ulidowski |
| 2015 | Ricercar: A Language for Describing and Rewriting Reversible Circuits with Ancillae and Its Permutation Semantics. | Michael Kirkedal Thomsen, Robin Kaarsgaard, Mathias Soeken |
| 2015 | Towards a Domain-Specific Language for Reversible Assembly Sequences. | Ulrik Pagh Schultz, Johan Sund Laursen, Lars-Peter Ellekilde, Holger Bock Axelsen |
| 2015 | Reverse Code Generation for Parallel Discrete Event Simulation. | Markus Schordan, David R. Jefferson, Peter D. Barnes Jr., Tomas Oppelstrup, Daniel J. Quinlan |
| 2015 | Application of Functional Decomposition in Synthesis of Reversible Circuits. | Mariusz Rawski |
| 2015 | Real-Time Methods in Reversible Computation. | Tommi Pesu, Iain Phillips |
| 2015 | A Fully Fault-Tolerant Representation of Quantum Circuits. | Alexandru Paler, Ilia Polian, Kae Nemoto, Simon J. Devitt |
| 2015 | Reversible Ordered Restarting Automata. | Friedrich Otto, Matthias Wendlandt, Kent Kwee |
| 2015 | Synthesis of Quantum Circuits for Dedicated Physical Machine Descriptions. | Philipp Niemann, Saikat Basu, Amlan Chakrabarti, Niraj K. Jha, Robert Wille |