Convergence verification of declarative distributed systems D Calvanese, F Cosmo, J Lobo, M Montali CEUR Workshop Proceedings. 2021; 3002: 62-76., 2021 | 4 | 2021 |
Verification of sometimes termination of lazy-bounded declarative distributed systems F Di Cosmo arXiv preprint arXiv:2308.10007, 2023 | 2 | 2023 |
On perfect matchings for some bipartite graphs A Casagrande, F Di Cosmo, E Omodeo CEUR WORKSHOP PROCEEDINGS, 38-51, 2018 | 1 | 2018 |
Analyzing Termination for Prev-Aware Fragments of Communicating Datalog Programs F Di Cosmo International Joint Conference on Rules and Reasoning, 110-125, 2023 | | 2023 |
Decidability Borders of Verification of Communicating Datalog Agents F Di Cosmo European Conference on Multi-Agent Systems, 507-513, 2023 | | 2023 |
Verification of Prev-Free Communicating Datalog Processes F Di Cosmo | | 2023 |
The Impact of Propositional Messages on Termination of Declarative Distributed Systems F Di Cosmo European Summer School in Logic, Language and Information, 44-79, 2019 | | 2019 |
FO Queries Strongly Distributing over Components in Arbitrary Cardinality. F Di Cosmo CILC, 260-268, 2019 | | 2019 |