| Generalizing inference systems by coaxioms D Ancona, F Dagnino, E Zucca 26th European Symposium on Programming, ESOP 2017, 29-55, 2017 | 34 | 2017 |
| Deconfined global types for asynchronous sessions F Dagnino, P Giannini, M Dezani-Ciancaglini Logical Methods in Computer Science 19, 2023 | 25 | 2023 |
| Coaxioms: flexible coinductive definitions by inference systems F Dagnino Logical Methods in Computer Science 15 (1), 26:1-26:48, 2019 | 25 | 2019 |
| Reasoning on divergent computations with coaxioms D Ancona, F Dagnino, E Zucca Proceedings of the ACM on Programming Languages 1 (OOPSLA), 1-26, 2017 | 22 | 2017 |
| Soundness Conditions for Big-Step Semantics. F Dagnino, V Bono, E Zucca, M Dezani-Ciancaglini ESOP, 169-196, 2020 | 15 | 2020 |
| Logical foundations of quantitative equality F Dagnino, F Pasquali Proceedings of the 37th Annual ACM/IEEE Symposium on Logic in Computer …, 2022 | 14 | 2022 |
| Foundations of regular coinduction F Dagnino Logical Methods in Computer Science 17, 2021 | 14 | 2021 |
| Modeling Infinite Behaviour by Corules D Ancona, F Dagnino, E Zucca 32nd European Conference on Object-Oriented Programming, ECOOP 2018 109, 21 …, 2018 | 14 | 2018 |
| Flexible coinductive logic programming F Dagnino, D Ancona, E Zucca Theory and Practice of Logic Programming 20 (6), 818-833, 2020 | 11 | 2020 |
| Extending Coinductive Logic Programming with Co-Facts D Ancona, F Dagnino, E Zucca Electronic Proceedings in Theoretical Computer Science 258 (CoALP-Ty 2016 …, 2017 | 10 | 2017 |
| Doctrines, modalities and comonads F Dagnino, G Rosolini Mathematical Structures in Computer Science 31 (7), 769-798, 2021 | 9 | 2021 |
| Sound regular corecursion in coFJ D Ancona, P Barbieri, F Dagnino, E Zucca arXiv preprint arXiv:2005.14085, 2020 | 9 | 2020 |
| Coeffects for sharing and mutation R Bianchini, F Dagnino, P Giannini, E Zucca, M Servetto Proceedings of the ACM on Programming Languages 6 (OOPSLA2), 870-898, 2022 | 8 | 2022 |
| A meta-theory for big-step semantics F Dagnino ACM Transactions on Computational Logic (TOCL) 23 (3), 1-50, 2022 | 8 | 2022 |
| Flexible Coinduction. F Dagnino University of Genoa, Italy, 2021 | 8 | 2021 |
| Fair termination of multiparty sessions L Ciccone, F Dagnino, L Padovani Journal of Logical and Algebraic Methods in Programming 139, 100964, 2024 | 7 | 2024 |
| Multi-Graded Featherweight Java B Riccardo, D Francesco, P Giannini, Z Elena 37th European Conference on ObjectOriented Programming, LEIBNIZ …, 2023 | 7* | 2023 |
| A Java-Like Calculus with User-Defined Coeffects. R Bianchini, F Dagnino, P Giannini, E Zucca ICTCS, 66-78, 2022 | 7 | 2022 |
| A formalism for specification of Java API interfaces D Ancona, F Dagnino, L Franceschini Companion Proceedings for the ISSTA/ECOOP 2018 Workshops, 24-26, 2018 | 7 | 2018 |
| Resource-Aware Soundness for Big-Step Semantics R Bianchini, F Dagnino, P Giannini, E Zucca Proceedings of the ACM on Programming Languages 7 (OOPSLA2), 1281-1309, 2023 | 5 | 2023 |
Elena ZuccaDIBRIS, University of GenovaAdresse e-mail validée de unige.it
