Francesco Di Cosmo

Publication Activity (10 Years)

Years Active: 2018-2024
Publications (10 Years): 12

Top Topics

Datalog Programs

Top Venues

Proc. ACM Manag. Data

Publications

C. Aiswarya, Diego Calvanese, Francesco Di Cosmo, Marco Montali
Verification of Unary Communicating Datalog Programs. Proc. ACM Manag. Data 2 (2) (2024)
Cyriac Aiswarya, Diego Calvanese, Francesco Di Cosmo, Marco Montali
Verification of Unary Communicating Datalog Programs. SEBD (2024)
Francesco Di Cosmo, Soumodev Mal, Tephilla Prince
Deciding Reachability and Coverability in Lossy EOS. PNSE@Petri Nets (2024)
Francesco Di Cosmo, Tephilla Prince
Bounded Verification of Petri Nets and EOSs using Telingo: An Experience Report. CILC (2024)
Francesco Di Cosmo
Decidability Borders of Verification of Communicating Datalog Agents. EUMAS (2023)
Francesco Di Cosmo
Verification of Prev-Free Communicating Datalog Programs. CILC (2023)
Francesco Di Cosmo
Analyzing Termination for Prev-Aware Fragments of Communicating Datalog Programs. RuleML+RR (2023)
Francesco Di Cosmo
Verification of Sometimes Termination of Lazy-Bounded Declarative Distributed Systems. CoRR (2023)
Francesco Di Cosmo
The Impact of Propositional Messages on Termination of Declarative Distributed Systems. ESSLLI Student Sessions (2021)
Diego Calvanese, Francesco Di Cosmo, Jorge Lobo, Marco Montali
Convergence Verification of Declarative Distributed Systems. CILC (2021)
Francesco Di Cosmo
FO Queries Strongly Distributing over Components in Arbitrary Cardinality. CILC (2019)
Alberto Casagrande, Francesco Di Cosmo, Eugenio G. Omodeo
On Perfect Matchings for some Bipartite Graphs. SETS@ABZ (2018)