| 2026 | EuroPar | QSplit: A Workflow-Oriented Hybrid Quantum-Classical Optimization Framework. | Mario Bifulco, Francesco Medina, Doriana Medic, Luca Roversi, Marco Aldinucci |
| 2025 | RC | Towards a Characterization of Two-Way Bijections in a Reversible Computational Model. | Matteo Palazzo, Luca Roversi |
| 2024 | RC | Algorithmically Expressive, Always-Terminating Model for Reversible Computation. | Matteo Palazzo, Luca Roversi |
| 2022 | RC | Certifying Algorithms and Relevant Properties of Reversible Primitive Permutations with Lean. | Giacomo Maletto, Luca Roversi |
| 2021 | RC | Splitting Recursion Schemes into Reversible and Classical Interacting Threads. | Armando B. Matos, Luca Paolini, Luca Roversi |
| 2020 | RC | On the Expressivity of Total Reversible Programming Languages. | Armando B. Matos, Luca Paolini, Luca Roversi |
| 2009 | LFCS | Taming Modal Impredicativity: Superlazy Reduction. | Ugo Dal Lago, Luca Roversi, Luca Vercelli |
| 2009 | MFCS | A By-Level Analysis of Multiplicative Exponential Linear Logic. | Marco Gaboardi, Luca Roversi, Luca Vercelli |
| 2001 | CSL | Intersection Logic. | Simona Ronchi Della Rocca, Luca Roversi |
| 1999 | CSL | A P-Time Completeness Proof for Light Logics. | Luca Roversi |
| 1996 | CSL | A Type-Free Resource-Aware Lambda-Calculus. | Luca Roversi |