| 2021 | A Tangled Web of 12 Lens Laws. Keisuke Nakano |
| 2021 | Causal-Consistent Debugging of Distributed Erlang Programs. Giovanni Fabbretti, Ivan Lanese, Jean-Bernard Stefani |
| 2021 | Compiling Janus to RSSA. Martin Kutrib, Uwe Meyer, Niklas Deworetzki, Marc Schuster |
| 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. Clément Aubert, Doriana Medic |
| 2021 | Fast Swapping in a Quantum Multiplier Modelled as a Queuing Network. Evan E. Dobbs, Robert Basmadjian, Alexandru Paler, Joseph S. Friedman |
| 2021 | Finding Optimal Implementations of Non-native CNOT Gates Using SAT. Philipp Niemann, Luca Müller, Rolf Drechsler |
| 2021 | Forward-Reverse Observational Equivalences in CCSK. Ivan Lanese, Iain Phillips |
| 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 | Reversibility and Predictions. Martin Vassor |
| 2021 | Reversibility of Executable Interval Temporal Logic Specifications. Antonio Cau, Stefan Kuhn, James Hoey |
| 2021 | Reversible Computation - 13th International Conference, RC 2021, Virtual Event, July 7-8, 2021, Proceedings Shigeru Yamashita, Tetsuo Yokoyama |
| 2021 | Reversible Functional Array Programming. Torben Ægidius Mogensen |
| 2021 | Splitting Recursion Schemes into Reversible and Classical Interacting Threads. Armando B. Matos, Luca Paolini, Luca Roversi |
| 2021 | Towards a Truly Concurrent Semantics for Reversible CCS. Hernán C. Melgratti, Claudio Antares Mezzina, G. Michele Pinna |
| 2021 | Towards a Unified Language Architecture for Reversible Object-Oriented Programming. Lasse Hay-Schmidt, Robert Glück, Martin Holm Cservenka, Tue Haulund |
| 2021 | Variational Quantum Eigensolver and Its Applications. Atsushi Matsuo |