Francesco Dagnino
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
22
Venues
11
Active years
2016–2025
Best venue rank
A*
Where they publish
Papers
22 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2025 | APLAS | Fair Termination for Resource-Aware Active Objects. | Francesco Dagnino, Paola Giannini, Violet Ka I Pun, Ulises Torrella |
| 2025 | ECOOP | Monadic Type-And-Effect Soundness. | Francesco Dagnino, Paola Giannini, Elena Zucca |
| 2025 | ECOOP | An Effectful Object Calculus. | Francesco Dagnino, Paola Giannini, Elena Zucca |
| 2024 | PPDP | sMALL CaPS: An Infinitary Linear Logic for a Calculus of Pure Sessions. | Francesco Dagnino, Luca Padovani |
| 2023 | ECOOP | Multi-Graded Featherweight Java. | Riccardo Bianchini, Francesco Dagnino, Paola Giannini, Elena Zucca |
| 2023 | FSCD | Quotients and Extensionality in Relational Doctrines. | Francesco Dagnino, Fabio Pasquali |
| 2023 | ICTAC | Robustness in Metric Spaces over Continuous Quantales and the Hausdorff-Smyth Monad. | Francesco Dagnino, Amin Farjudian, Eugenio Moggi |
| 2022 | ECOOP | Fair Termination of Multiparty Sessions. | Luca Ciccone, Francesco Dagnino, Luca Padovani |
| 2022 | FSCD | A Fibrational Tale of Operational Logical Relations. | Francesco Dagnino, Francesco Gavazzo |
| 2022 | LICS | Logical Foundations of Quantitative Equality. | Francesco Dagnino, Fabio Pasquali |
| 2021 | Coordination | Asynchronous Global Types in Co-logic Programming. | Riccardo Bianchini, Francesco Dagnino |
| 2021 | Coordination | Deconfined Global Types for Asynchronous Sessions. | Francesco Dagnino, Paola Giannini, Mariangiola Dezani-Ciancaglini |
| 2021 | ITP | Flexible Coinduction in Agda. | Luca Ciccone, Francesco Dagnino, Elena Zucca |
| 2020 | ECOOP | Sound Regular Corecursion in coFJ. | Davide Ancona, Pietro Barbieri, Francesco Dagnino, Elena Zucca |
| 2020 | ECOOP | A Big Step from Finite to Infinite Computations (SCICO Journal-first). | Davide Ancona, Francesco Dagnino, Jurriaan Rot, Elena Zucca |
| 2020 | ECOOP | An inductive abstract semantics for coFJ. | Pietro Barbieri, Francesco Dagnino, Elena Zucca |
| 2020 | ESOP | Soundness Conditions for Big-Step Semantics. | Francesco Dagnino, Viviana Bono, Elena Zucca, Mariangiola Dezani-Ciancaglini |
| 2018 | ECOOP | Modeling Infinite Behaviour by Corules. | Davide Ancona, Francesco Dagnino, Elena Zucca |
| 2018 | ISSTA | A formalism for specification of Java API interfaces. | Davide Ancona, Francesco Dagnino, Luca Franceschini |
| 2018 | WEBIST | : DRHOP, A Platform Proposal for Online Charity. | Francesco Dagnino, Marina Ribaudo |
| 2017 | ESOP | Generalizing Inference Systems by Coaxioms. | Davide Ancona, Francesco Dagnino, Elena Zucca |
| 2016 | ECOOP | Towards a model of corecursion with default. | Davide Ancona, Francesco Dagnino, Elena Zucca |