Timed Trace Expressions. - Luca Ciccone; Angelo Ferrando 001; Davide Ancona; Viviana Mascardi (CILC, 2019)

A Dependently Typed Linear π-Calculus in Agda. - Luca Ciccone; Luca Padovani (PPDP, 2020)

Flexible Coinduction in Agda. - Luca Ciccone (CoRR, 2020)

Inference Systems with Corules for Fair Subtyping and Liveness Properties of Binary Session Types. - Luca Ciccone; Luca Padovani (ICALP, 2021)

Flexible Coinduction in Agda. - Luca Ciccone; Francesco Dagnino; Elena Zucca (ITP, 2021)

An Infinitary Proof Theory of Linear Logic Ensuring Fair Termination in the Linear π-Calculus. - Luca Ciccone; Luca Padovani (CONCUR, 2022)

Ain't No Stopping Us Monitoring Now. - Luca Ciccone; Francesco Dagnino; Angelo Ferrando 001 (CoRR, 2022)

Inference Systems with Corules for Combined Safety and Liveness Properties of Binary Session Types. - Luca Ciccone; Luca Padovani (Log. Methods Comput. Sci., 2022)

Fair termination of binary sessions. - Luca Ciccone; Luca Padovani (Proc. ACM Program. Lang., 2022)

Concerto Grosso for Sessions: Fair Termination of Sessions. - Luca Ciccone (CoRR, 2023)

Fair termination of multiparty sessions. - Luca Ciccone; Francesco Dagnino; Luca Padovani (J. Log. Algebraic Methods Program., 2024)