Host-Core Calculi for Non-classical Computations: A First Insight. - Matteo Palazzo; Luca Paolini; Luca Roversi; Margherita Zorzi (ICTCS, 2024)

Algorithmically Expressive, Always-Terminating Model for Reversible Computation. - Matteo Palazzo; Luca Roversi (RC, 2024)

Towards a Characterization of Two-Way Bijections in a Reversible Computational Model. - Matteo Palazzo; Luca Roversi (RC, 2025)

Reversible Computation with Stacks and "Reversible Management of Failures". - Matteo Palazzo; Luca Roversi (CoRR, 2025)