| 2026 | On Weak Bisimilarities in CCSK. | Baptiste Valle, Ivan Lanese |
| 2026 | Toward Quantum Circuit Execution Success Estimation via Graph Neural Network-Based Prediction. | Antonio Tudisco, Deborah Volpe, Mariagrazia Graziano, Giovanna Turvani |
| 2026 | Introducing Time Passage to the Reversible Semantics for Erlang. | Yuna Sadamoto, Shoji Yuen, Claudio Antares Mezzina |
| 2026 | A Reversible Crumbling Abstract Machine for Plotkin's Call-by-Value. | Nicol Pizzo, Claudio Sacerdoti Coen |
| 2026 | PisoLang: a User-Friendly Reversible Programming Language with Inductive Types. | Kosuke Onodera, Keisuke Nakano, Kazuyuki Asada, Kentaro Kikuchi |
| 2026 | PEARL: A Partial Evaluation Toolbox for a Reversible Language. | Louis Marott Normann, Robert Glck |
| 2026 | Small-Step Semantics with Meta-level Reversibility for a Reversible Core Language. | Toya Makino, Tetsuo Yokoyama |
| 2026 | Transversal AND in Quantum Codes. | Christine Li, Lia Yeh |
| 2026 | A Reversible Semantics for Janus. | Ivan Lanese, Germn Vidal |
| 2026 | Reversible Deep Learning for | Stefan Kuhn, Vandana Dwarka, Przemyslaw Grenda, Eero Vainikko |
| 2026 | Automatic Generation of Generators for Property-Based Testing with Inverse Interpretation. | Joachim Tilsted Kristensen, Triera Gashi, Michael Kirkedal Thomsen |
| 2026 | A Proposed Research Platform for Fully Adiabatic, Reversible, and Superscalar (FARS) Microarchitectures. | Byron Gregg, Christof Teuscher |
| 2026 | Compiling Roopl++ to HSSA. | Lukas Gail, Uwe Meyer, Tristan Schnhals |
| 2026 | A Lean Mechanization of Reversible Occurrence Nets. | Daniel Dvalos, Hernn C. Melgratti |
| 2026 | A Graph Rewriting-Based Semantics and Implementation for ρ π. | Julie Cailler, Martin Vassor |
| 2026 | Discrete Semantics for Reversible Transistor Network Verification. | Hannah Blyton, Hugh D. Potter |
| 2026 | Exact Quantum State Preparation with the Standard Recursive Block Basis. | Giacomo Belli, Michele Amoretti |
| 2025 | Implementing Reversible Neural Networks. | Uku Zingel, Stefan Kuhn, Eero Vainikko |
| 2025 | Two Small Quantum Building-Blocks Suffice. | Alexis De Vos |
| 2025 | Ancilla-Free Quantum Adder with Sublinear Depth. | Maxime Remaud, Vivien Vandaele |
| 2025 | Towards a Characterization of Two-Way Bijections in a Reversible Computational Model. | Matteo Palazzo, Luca Roversi |
| 2025 | RevMiGo: Reversible Channel-Based Communication in Go Language. | Shunya Oguchi, Shoji Yuen, Nobuko Yoshida |
| 2025 | Approximate Optimisation of Quantum Circuits Using the ZX Calculus with Phase Squashing. | Thomas Kelly, Aleks Kissinger |
| 2025 | On Exact Sizes of Minimal CNOT Circuits. | Jens Emil Christensen, Sren Fuglede Jrgensen, Andreas Pavlogiannis, Jaco van de Pol |
| 2025 | Universal Graph Theory Operations for Graph State Preparation. | Tristan Cam, Cyril Gavoille, Yvan Le Borgne, Simon Martiel |