| 2021 | Reversibility and Predictions. | Martin Vassor |
| 2021 | A Tangled Web of 12 Lens Laws. | Keisuke Nakano |
| 2021 | How Can We Construct Reversible Turing Machines in a Very Simple Reversible Cellular Automaton? | Kenichi Morita |
| 2021 | OR-Toffoli and OR-Peres Reversible Gates. | Claudio Moraga |
| 2021 | Reversible Functional Array Programming. | Torben gidius Mogensen |
| 2021 | Towards a Truly Concurrent Semantics for Reversible CCS. | Hernn C. Melgratti, Claudio Antares Mezzina, G. Michele Pinna |
| 2021 | Variational Quantum Eigensolver and Its Applications. | Atsushi Matsuo |
| 2021 | Splitting Recursion Schemes into Reversible and Classical Interacting Threads. | Armando B. Matos, Luca Paolini, Luca Roversi |
| 2021 | Forward-Reverse Observational Equivalences in CCSK. | Ivan Lanese, Iain Phillips |
| 2021 | Compiling Janus to RSSA. | Martin Kutrib, Uwe Meyer, Niklas Deworetzki, Marc Schuster |
| 2021 | Towards a Unified Language Architecture for Reversible Object-Oriented Programming. | Lasse Hay-Schmidt, Robert Glck, Martin Holm Cservenka, Tue Haulund |
| 2021 | Causal-Consistent Debugging of Distributed Erlang Programs. | Giovanni Fabbretti, Ivan Lanese, Jean-Bernard Stefani |
| 2021 | Fast Swapping in a Quantum Multiplier Modelled as a Queuing Network. | Evan E. Dobbs, Robert Basmadjian, Alexandru Paler, Joseph S. Friedman |
| 2021 | Reversibility of Executable Interval Temporal Logic Specifications. | Antonio Cau, Stefan Kuhn, James Hoey |
| 2021 | Efficient Construction of Functional Representations for Quantum Algorithms. | Lukas Burgholzer, Rudy Raymond, Indranil Sengupta, Robert Wille |
| 2021 | Explicit Identifiers and Contexts in Reversible Concurrent Calculus. | Clment Aubert, Doriana Medic |
| 2021 | Finding Optimal Implementations of Non-native CNOT Gates Using SAT. | Philipp Niemann, Luca Mller, Rolf Drechsler |
| 2020 | Reversible Computations in Logic Programming. | Germn Vidal |
| 2020 | Inverse Problems, Constraint Satisfaction, Reversible Logic, Invertible Logic and Grover Quantum Oracles for Practical Problems. | Marek A. Perkowski |
| 2020 | Involutory Turing Machines. | Keisuke Nakano |
| 2020 | Hermes: A Language for Light-Weight Encryption. | Torben gidius Mogensen |
| 2020 | Search-Based Transformation Synthesis for 3-Valued Reversible Circuits. | D. Michael Miller, Gerhard W. Dueck |
| 2020 | Reversible Occurrence Nets and Causal Reversible Prime Event Structures. | Hernn C. Melgratti, Claudio Antares Mezzina, Iain Phillips, G. Michele Pinna, Irek Ulidowski |
| 2020 | Towards a Formal Account for Software Transactional Memory. | Doriana Medic, Claudio Antares Mezzina, Iain Phillips, Nobuko Yoshida |
| 2020 | On the Expressivity of Total Reversible Programming Languages. | Armando B. Matos, Luca Paolini, Luca Roversi |