| Generalizing inference systems by coaxioms D Ancona, F Dagnino, E Zucca 26th European Symposium on Programming, ESOP 2017, 29-55, 2017 | 31 | 2017 |
| Coaxioms: flexible coinductive definitions by inference systems F Dagnino Logical Methods in Computer Science 15 (1), 26:1-26:48, 2019 | 23 | 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 | 20 | 2017 |
| Deconfined global types for asynchronous sessions F Dagnino, P Giannini, M Dezani-Ciancaglini Logical Methods in Computer Science 19, 2023 | 14 | 2023 |
| 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 |
| Foundations of regular coinduction F Dagnino Logical Methods in Computer Science 17, 2021 | 13 | 2021 |
| Soundness Conditions for Big-Step Semantics. F Dagnino, V Bono, E Zucca, M Dezani-Ciancaglini ESOP, 169-196, 2020 | 11 | 2020 |
| Logical foundations of quantitative equality F Dagnino, F Pasquali Proceedings of the 37th Annual ACM/IEEE Symposium on Logic in Computer …, 2022 | 9 | 2022 |
| Flexible coinductive logic programming F Dagnino, D Ancona, E Zucca Theory and Practice of Logic Programming 20 (6), 818-833, 2020 | 9 | 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 | 9 | 2017 |
| Flexible Coinduction. F Dagnino University of Genoa, Italy, 2021 | 7 | 2021 |
| Sound regular corecursion in coFJ D Ancona, P Barbieri, F Dagnino, E Zucca arXiv preprint arXiv:2005.14085, 2020 | 7 | 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 | 6 | 2022 |
| A meta-theory for big-step semantics F Dagnino ACM Transactions on Computational Logic (TOCL) 23 (3), 1-50, 2022 | 6 | 2022 |
| Doctrines, modalities and comonads F Dagnino, G Rosolini Mathematical Structures in Computer Science 31 (7), 769-798, 2021 | 6 | 2021 |
| Multi-Graded Featherweight Java B Riccardo, D Francesco, P Giannini, Z Elena 37th European Conference on ObjectOriented Programming, LEIBNIZ …, 2023 | 5* | 2023 |
| A Java-like calculus with user-defined coeffects B Riccardo, D Francesco, P Giannini, Z Elena CEUR Workshop Proceedings 3284 (urn: nbn: de: 0074-3284-4), 66-78, 2022 | 5 | 2022 |
| A big step from finite to infinite computations D Ancona, F Dagnino, J Rot, E Zucca Science of Computer Programming 197, 102492, 2020 | 5 | 2020 |
| 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 | 5 | 2018 |
| A fibrational tale of operational logical relations F Dagnino, F Gavazzo FSCD 2022-7th International Conference on Formal Structures for Computation …, 2022 | 4 | 2022 |
Elena ZuccaDIBRIS, University of GenovaVerified email at unige.it
