Towards a model of corecursion with default. - Davide Ancona; Francesco Dagnino; Elena Zucca (FTfJP@ECOOP, 2016)

Extending Coinductive Logic Programming with Co-Facts. - Davide Ancona; Francesco Dagnino; Elena Zucca (CoALP-Ty, 2016)

Generalizing Inference Systems by Coaxioms. - Davide Ancona; Francesco Dagnino; Elena Zucca (ESOP, 2017)

Generalizing inference systems by coaxioms. - Francesco Dagnino (CoRR, 2017)

Reasoning on divergent computations with coaxioms. - Davide Ancona; Francesco Dagnino; Elena Zucca (Proc. ACM Program. Lang., 2017)

Modeling Infinite Behaviour by Corules. - Davide Ancona; Francesco Dagnino; Elena Zucca (ECOOP, 2018)

Flexible Coinduction for Infinite Behaviour. - Francesco Dagnino (ICTCS, 2018)

A formalism for specification of Java API interfaces. - Davide Ancona; Francesco Dagnino; Luca Franceschini (ISSTA/ECOOP Workshops, 2018)

: DRHOP, A Platform Proposal for Online Charity. - Francesco Dagnino; Marina Ribaudo (WEBIST, 2018)

Corecursive Featherweight Java Revisited. - Pietro Barbieri; Francesco Dagnino; Elena Zucca; Davide Ancona (ICTCS, 2019)

A framework for big-step semantics. - Francesco Dagnino (Programming, 2019)

Coaxioms: flexible coinductive definitions by inference systems. - Francesco Dagnino (Log. Methods Comput. Sci., 2019)

Sound Regular Corecursion in coFJ. - Davide Ancona; Pietro Barbieri; Francesco Dagnino; Elena Zucca (ECOOP, 2020)

A Big Step from Finite to Infinite Computations (SCICO Journal-first). - Davide Ancona; Francesco Dagnino; Jurriaan Rot; Elena Zucca (ECOOP, 2020)

An inductive abstract semantics for coFJ. - Pietro Barbieri; Francesco Dagnino; Elena Zucca (FTfJP@ECOOP, 2020)

Soundness Conditions for Big-Step Semantics. - Francesco Dagnino; Viviana Bono; Elena Zucca; Mariangiola Dezani-Ciancaglini (ESOP, 2020)

A big step from finite to infinite computations. - Davide Ancona; Francesco Dagnino; Jurriaan Rot; Elena Zucca (Sci. Comput. Program., 2020)

Flexible coinductive logic programming. - Francesco Dagnino; Davide Ancona; Elena Zucca (Theory Pract. Log. Program., 2020)

Asynchronous Global Types in Co-logic Programming. - Riccardo Bianchini 001; Francesco Dagnino (COORDINATION, 2021)

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

Logical Foundations of Quantitative Equality (long version). - Francesco Dagnino; Fabio Pasquali (CoRR, 2021)

Foundations of regular coinduction. - Francesco Dagnino (Log. Methods Comput. Sci., 2021)

Doctrines, modalities and comonads. - Francesco Dagnino; Giuseppe Rosolini (Math. Struct. Comput. Sci., 2021)

Flexible Coinduction. - Francesco Dagnino (2021)

A Fibrational Tale of Operational Logical Relations. - Francesco Dagnino; Francesco Gavazzo (FSCD, 2022)

A Java-Like Calculus with User-Defined Coeffects. - Riccardo Bianchini 001; Francesco Dagnino; Paola Giannini; Elena Zucca (ICTCS, 2022)

Logical Foundations of Quantitative Equality. - Francesco Dagnino; Fabio Pasquali (LICS, 2022)

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

Coeffects for sharing and mutation. - Riccardo Bianchini 001; Francesco Dagnino; Paola Giannini; Elena Zucca; Marco Servetto (Proc. ACM Program. Lang., 2022)

A Meta-theory for Big-step Semantics. - Francesco Dagnino (ACM Trans. Comput. Log., 2022)

Multi-Graded Featherweight Java. - Riccardo Bianchini 001; Francesco Dagnino; Paola Giannini; Elena Zucca (ECOOP, 2023)

Quotients and Extensionality in Relational Doctrines. - Francesco Dagnino; Fabio Pasquali (FSCD, 2023)

Robustness in Metric Spaces over Continuous Quantales and the Hausdorff-Smyth Monad. - Francesco Dagnino; Amin Farjudian; Eugenio Moggi (ICTAC, 2023)

Deconfined Global Types for Asynchronous Sessions. - Francesco Dagnino; Paola Giannini; Mariangiola Dezani-Ciancaglini (Log. Methods Comput. Sci., 2023)

QueryAGT: Asynchronous global types in co-logic programming. - Riccardo Bianchini 001; Francesco Dagnino (Sci. Comput. Program., 2023)

A Java-like calculus with heterogeneous coeffects. - Riccardo Bianchini 001; Francesco Dagnino; Paola Giannini; Elena Zucca (Theor. Comput. Sci., 2023)

Resource-Aware Soundness for Big-Step Semantics. - Riccardo Bianchini 001; Francesco Dagnino; Paola Giannini; Elena Zucca (Proc. ACM Program. Lang., 2023)

sMALL CaPS: An Infinitary Linear Logic for a Calculus of Pure Sessions. - Francesco Dagnino; Luca Padovani (PPDP, 2024)

Cauchy-completions and the rule of unique choice in relational doctrines. - Francesco Dagnino; Fabio Pasquali (CoRR, 2024)

The Relational Quotient Completion. - Francesco Dagnino; Fabio Pasquali (CoRR, 2024)

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

A Fibrational Tale of Operational Logical Relations: Pure, Effectful and Differential. - Francesco Dagnino; Francesco Gavazzo (Log. Methods Comput. Sci., 2024)

Monadic Type-And-Effect Soundness. - Francesco Dagnino; Paola Giannini; Elena Zucca (ECOOP, 2025)

An Effectful Object Calculus. - Francesco Dagnino; Paola Giannini; Elena Zucca (ECOOP, 2025)

Quantitative Equality in Substructural Logic via Lipschitz Doctrines. - Francesco Dagnino; Fabio Pasquali (Log. Methods Comput. Sci., 2025)

Don't exhaust, don't waste. - Riccardo Bianchini 001; Francesco Dagnino; Paola Giannini; Elena Zucca (CoRR, 2025)

Robust Topology and the Hausdorff-Smyth Monad on Metric Spaces over Continuous Quantales. - Francesco Dagnino; Amin Farjudian; Eugenio Moggi (CoRR, 2025)

Fair Termination for Resource-Aware Active Objects. - Francesco Dagnino; Paola Giannini; Violet Ka I Pun; Ulises Torrella (CoRR, 2025)