| 2025 | Implementation of an Optimally Bounded Algorithm for Quantum State Preparation. | Giacomo Belli, Andrea Bersellini, Michele Amoretti |
| 2025 | Encoding Choice and Replication in $\mathtt{\textbf{roll}}\text {-}\pi $. | Adam D. Barwell, Ping Hou, Martin Vassor, Nobuko Yoshida |
| 2025 | Independence and Causality in the Reversible Concurrent Setting. | Clment Aubert, Iain Phillips, Irek Ulidowski |
| 2025 | Tallulah, a Tool to Support the Axiomatic Approach to Causal-Consistent Reversibility. | William Arnone, Ivan Lanese |
| 2024 | LinguaQuanta: Towards a Quantum Transpiler Between OpenQASM and Quipper. | Scott Wesley |
| 2024 | Exploring the Energy Overhead of Reversible Programs Executed on Irreversible Hardware. | Lars-Bo Husted Vadgaard, Maja Hanne Kirkeby, Ken Friis Larsen, Michael Kirkedal Thomsen |
| 2024 | Algorithmically Expressive, Always-Terminating Model for Reversible Computation. | Matteo Palazzo, Luca Roversi |
| 2024 | Concurrent RSSA for CRIL: Flow Analysis for a Concurrent Reversible Programming Language. | Shunya Oguchi, Shoji Yuen |
| 2024 | Towards Clean Reversible Lossless Compression - A Reversible Programming Experiment with Zip. | Therese Lyngby, Rasmus Ross Nylandsted, Robert Glck, Tetsuo Yokoyama |
| 2024 | Model Checking Reversible Systems: Forwardly. | Federico Dal Pio Luogo, Claudio Antares Mezzina, G. Michele Pinna |
| 2024 | Causal Debugging for Concurrent Systems. | Ivan Lanese, Gregor Gssler |
| 2024 | A Small-Step Semantics for Janus. | Pietro Lami, Ivan Lanese, Jean-Bernard Stefani |
| 2024 | Jeopardy: An Invertible Functional Programming Language. | Joachim Tilsted Kristensen, Robin Kaarsgaard, Michael Kirkedal Thomsen |
| 2024 | Is Simulation the only Alternative for Effective Verification of Dynamic Quantum Circuits? | Liam Hurwitz, Kamalika Datta, Abhoy Kole, Rolf Drechsler |
| 2024 | Connecting Reversible and Classical Computing Through Hybrid SSA. | Lukas Gail, Uwe Meyer |
| 2024 | Reversibility with Holes - (Work in Progress). | Giovanni Fabbretti, Ivan Lanese, Jean-Bernard Stefani |
| 2024 | Compositional Reversible Computation. | Jacques Carette, Chris Heunen, Robin Kaarsgaard, Amr Sabry |
| 2024 | A Toy Model Provably Featuring an Arrow of Time Without Past Hypothesis. | Pablo Arrighi, Gilles Dowek, Amlia Durbec |
| 2024 | Exact Synthesis of Multiqubit Clifford-Cyclotomic Circuits. | Matthew Amy, Andrew N. Glaudell, Shaun Kelso, William Maxwell, Samuel S. Mendelson, Neil J. Ross |
| 2023 | Saving Memory Space in Deep Neural Networks by Recomputing: A Survey. | Irek Ulidowski |
| 2023 | Uncomputation in the Qrisp High-Level Quantum Programming Framework. | Raphael Seidel, Nikolay Tcholtchev, Sebastian Bock, Manfred Hauswirth |
| 2023 | Energy Complexity of Computation. | Ahmet Celal Cem Say |
| 2023 | Towards a Dereversibilizer: Fewer Asserts, Statically. | Jonas Wolpers Reholt, Robert Glck, Matthis Kruse |
| 2023 | Optimizing Quantum Space Using Spooky Pebble Games. | Arend-Jan Quist, Alfons Laarman |
| 2023 | Tail Recursion Transformation for Invertible Functions. | Joachim Tilsted Kristensen, Robin Kaarsgaard, Michael Kirkedal Thomsen |