Luca Ciccone

16 papers A* 1A 1B 2C 1Journal 10Unranked 1
YearRankTypeTitle / Venue / Authors
2026 J jnl
Ain't No Stopping Us Monitoring Now.
ACM Trans. Softw. Eng. Methodol.
Luca Ciccone, Francesco Dagnino, Angelo Ferrando
2024 J jnl
Fair termination of multiparty sessions.
J. Log. Algebraic Methods Program.
Luca Ciccone, Francesco Dagnino, Luca Padovani
2023 J jnl
Concerto Grosso for Sessions: Fair Termination of Sessions.
CoRR
Luca Ciccone
2022 J jnl
Ain't No Stopping Us Monitoring Now.
CoRR
Luca Ciccone, Francesco Dagnino, Angelo Ferrando
2022 B conf
An Infinitary Proof Theory of Linear Logic Ensuring Fair Termination in the Linear π-Calculus.
CONCUR
Luca Ciccone, Luca Padovani
2022 J jnl
An Infinitary Proof Theory of Linear Logic Ensuring Fair Termination in the Linear π-Calculus.
CoRR
Luca Ciccone, Luca Padovani
2022 A conf
Fair Termination of Multiparty Sessions.
ECOOP
Luca Ciccone, Francesco Dagnino, Luca Padovani
2022 J jnl
Fair Termination of Multiparty Sessions.
CoRR
Luca Ciccone, Francesco Dagnino, Luca Padovani
2022 J jnl
Fair termination of binary sessions.
Proc. ACM Program. Lang.
Luca Ciccone, Luca Padovani
2022 J jnl
Inference Systems with Corules for Combined Safety and Liveness Properties of Binary Session Types.
Log. Methods Comput. Sci.
Luca Ciccone, Luca Padovani
2021 B conf
Flexible Coinduction in Agda.
ITP
Luca Ciccone, Francesco Dagnino, Elena Zucca
2021 J jnl
Inference Systems with Corules for Combined Safety and Liveness Properties of Binary Session Types.
CoRR
Luca Ciccone, Luca Padovani
2021 A* conf
Inference Systems with Corules for Fair Subtyping and Liveness Properties of Binary Session Types.
ICALP
Luca Ciccone, Luca Padovani
2020 C conf
A Dependently Typed Linear π-Calculus in Agda.
PPDP
Luca Ciccone, Luca Padovani
2020 J jnl
Flexible Coinduction in Agda.
CoRR
Luca Ciccone
2019 — conf
Timed Trace Expressions.
CILC
Luca Ciccone, Angelo Ferrando, Davide Ancona, Viviana Mascardi