| 2020 | A Reversible Runtime Environment for Parallel Programs. Takashi Ikeda, Shoji Yuen |
| 2020 | A Tutorial Introduction to Quantum Circuit Programming in Dependently Typed Proto-Quipper. Peng Fu, Kohei Kishida, Neil J. Ross, Peter Selinger |
| 2020 | Encoding Reversing Petri Nets in Answer Set Programming. Yannis Dimopoulos, Eleftheria Kouppari, Anna Philippou, Kyriaki Psara |
| 2020 | Event Structures for the Reversible Early Internal π-Calculus. Eva Graversen, Iain Phillips, Nobuko Yoshida |
| 2020 | Fractional Types - Expressive and Safe Space Management for Ancilla Bits. Chao-Hong Chen, Vikraman Choudhury, Jacques Carette, Amr Sabry |
| 2020 | Hermes: A Language for Light-Weight Encryption. Torben Ægidius Mogensen |
| 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 | Maximality of Reversible Gate Sets. Tim Boykett |
| 2020 | On the Expressivity of Total Reversible Programming Languages. Armando B. Matos, Luca Paolini, Luca Roversi |
| 2020 | Quantum CNOT Circuits Synthesis for NISQ Architectures Using the Syndrome Decoding Problem. Timothée Goubault de Brugière, Marc Baboulin, Benoît Valiron, Simon Martiel, Cyril Allouche |
| 2020 | ReverCSP: Time-Travelling in CSP Computations. Carlos Galindo, Naoki Nishida, Josep Silva, Salvador Tamarit |
| 2020 | Reversible Computation - 12th International Conference, RC 2020, Oslo, Norway, July 9-10, 2020, Proceedings Ivan Lanese, Mariusz Rawski |
| 2020 | Reversible Computations in Logic Programming. Germán Vidal |
| 2020 | Reversible Occurrence Nets and Causal Reversible Prime Event Structures. Hernán C. Melgratti, Claudio Antares Mezzina, Iain Phillips, G. Michele Pinna, Irek Ulidowski |
| 2020 | Reversible Programming Languages Capturing Complexity Classes. Lars Kristiansen |
| 2020 | Search-Based Transformation Synthesis for 3-Valued Reversible Circuits. D. Michael Miller, Gerhard W. Dueck |
| 2020 | Toward a Curry-Howard Equivalence for Linear, Reversible Computation - Work-in-Progress. Kostia Chardonnet, Alexis Saurin, Benoît Valiron |
| 2020 | Towards a Formal Account for Software Transactional Memory. Doriana Medic, Claudio Antares Mezzina, Iain Phillips, Nobuko Yoshida |