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 | 15 | 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 |

Doctrines, modalities and comonads F Dagnino, G Rosolini Mathematical Structures in Computer Science 31 (7), 769-798, 2021 | 7 | 2021 |

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 |

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 R Bianchini, F Dagnino, P Giannini, E Zucca 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 |