| A dependently typed linear π-calculus in agda L Ciccone, L Padovani Proceedings of the 22nd International Symposium on Principles and Practice …, 2020 | 14 | 2020 |
| Flexible coinduction in Agda L Ciccone arXiv preprint arXiv:2002.06047, 2020 | 9 | 2020 |
| Fair termination of binary sessions L Ciccone, L Padovani Proceedings of the ACM on Programming Languages 6 (POPL), 1-30, 2022 | 8 | 2022 |
| Inference systems with corules for fair subtyping and liveness properties of binary session types L Ciccone, L Padovani LEIBNIZ INTERNATIONAL PROCEEDINGS IN INFORMATICS 198, 1-16, 2021 | 5 | 2021 |
| An Infinitary Proof Theory of Linear Logic Ensuring Fair Termination in the Linear -Calculus L Ciccone, L Padovani arXiv preprint arXiv:2207.03749, 2022 | 4 | 2022 |
| Fair Termination of Multiparty Sessions L Ciccone, F Dagnino, L Padovani 36th European Conference on Object-Oriented Programming (ECOOP 2022) 222, 1-26, 2022 | 3 | 2022 |
| Ain't No Stopping Us Monitoring Now L Ciccone, F Dagnino, A Ferrando arXiv preprint arXiv:2211.11544, 2022 | 1 | 2022 |
| Inference Systems with Corules for Combined Safety and Liveness Properties of Binary Session Types L Ciccone, L Padovani Logical Methods in Computer Science 18, 2022 | 1 | 2022 |
| Timed Trace Expressions. L Ciccone, A Ferrando, D Ancona, V Mascardi CILC, 229-241, 2019 | 1 | 2019 |
| Concerto Grosso for Sessions: Fair Termination of Sessions L Ciccone arXiv preprint arXiv:2307.05539, 2023 | | 2023 |
| 12th International Conference on Interactive Theorem Proving (ITP 2021) MO Myreen, N Polikarpova, A Popescu, T Bauereiss, P Lammich, ... Schloss Dagstuhl-Leibniz-Zentrum für Informatik GmbH, 2021 | | 2021 |
| Parasitological community of red deer (Cervus elaphus): effects on population and reproduction T Trogu, N Formenti, N Ferrari, B Sebastiano, P Luca, C Luca, ... Mutamenti ambientali e parassiti, 115-115, 2018 | | 2018 |
| Spatial avoidance between red deer and cattle in alpine pastures F Alessandro, N Matteo, B Alessia, S Valentina, L Camilla, P Luca, C Luca | | |
Francesco DagninoDIBRIS, University of GenovaVerified email at dibris.unige.it
