| 2023 | Exploiting the Benefits of Clean Ancilla Based Toffoli Gate Decomposition Across Architectures. | Abhoy Kole, Kamalika Datta, Philipp Niemann, Indranil Sengupta, Rolf Drechsler |
| 2023 | Computational Complexity of Reversible Reaction Systems. | Markus Holzer, Christian Rauch |
| 2023 | Towards a Taxonomy for Reversible Computation Approaches. | Robert Glck, Ivan Lanese, Claudio Antares Mezzina, Jaroslaw Adam Miszczak, Iain Phillips, Irek Ulidowski, Germn Vidal |
| 2023 | Optimization of Reversible Control Flow Graphs. | Niklas Deworetzki, Lukas Gail |
| 2023 | Improved Cost-Metric for Nearest Neighbor Mapping of Quantum Circuits to 2-Dimensional Hexagonal Architecture. | Kamalika Datta, Abhoy Kole, Indranil Sengupta, Rolf Drechsler |
| 2023 | Quantum String Matching Unfolded and Extended. | Domenico Cantone, Simone Faro, Arianna Pavone |
| 2023 | Implementation of a Reversible Distributed Calculus. | Clment Aubert, Peter Browning |
| 2023 | Replications in Reversible Concurrent Calculi. | Clment Aubert |
| 2023 | Improved Synthesis of Toffoli-Hadamard Circuits. | Matthew Amy, Andrew N. Glaudell, Sarah Meng Li, Neil J. Ross |
| 2022 | Constructing All Qutrit Controlled Clifford+T gates in Clifford+T. | Lia Yeh, John van de Wetering |
| 2022 | Reversible Computation in Integrated Photonics. | Alexis De Vos |
| 2022 | Fast Control for Reversible Processors. | Torben gidius Mogensen |
| 2022 | Certifying Algorithms and Relevant Properties of Reversible Primitive Permutations with Lean. | Giacomo Maletto, Luca Roversi |
| 2022 | Reversibility in Erlang: Imperative Constructs. | Pietro Lami, Ivan Lanese, Jean-Bernard Stefani, Claudio Sacerdoti Coen, Giovanni Fabbretti |
| 2022 | Optimization of Quantum Boolean Circuits by Relative-Phase Toffoli Gates. | Shohei Kuroda, Shigeru Yamashita |
| 2022 | A Reversible Debugger for Imperative Parallel Programs with Contracts. | Takashi Ikeda, Shoji Yuen |
| 2022 | Towards Causal-Consistent Reversibility of Imperative Concurrent Programs. | James Hoey, Irek Ulidowski |
| 2022 | Reordering Decision Diagrams for Quantum Computing Is Harder Than You Might Think. | Stefan Hillmich, Lukas Burgholzer, Florian Stgmller, Robert Wille |
| 2022 | Algeo: An Algebraic Approach to Reversibility. | Fritz Henglein, Robin Kaarsgaard, Mikkel Kragh Mathiesen |
| 2022 | Directed Graph Encoding in Quantum Computing Supporting Edge-Failures. | Davide Della Giustina, Carla Piazza, Brian Riccardi, Riccardo Romanello |
| 2022 | The ℵ-Calculus - A Declarative Model of Reversible Programming. | Hannah Earley |
| 2022 | Designing a Reversible Stack Machine. | Niklas Deworetzki, Uwe Meyer |
| 2022 | Optimizing Reversible Programs. | Niklas Deworetzki, Martin Kutrib, Uwe Meyer, Pia-Doreen Ritzke |
| 2022 | Formal Translation from Reversing Petri Nets to Coloured Petri Nets. | Kamila Barylska, Anna Gogolinska, Lukasz Mikulski, Anna Philippou, Marcin Piatkowski, Kyriaki Psara |
| 2022 | Concurrencies in Reversible Concurrent Calculi. | Clment Aubert |