Francesco Di Cosmo

16 papers B 1C 1Journal 4Unranked 10
YearRankTypeTitle / Venue / Authors
2025 J jnl
A Lower Bound on Conservative Elementary Object Systems Coverability.
CoRR
Francesco Di Cosmo, Soumodev Mal, Tephilla Prince
2025 — conf
Nets-Within-Nets Through the Lens of Data Nets.
RP
Francesco Di Cosmo, Soumodev Mal, Tephilla Prince
2025 J jnl
Nets-within-Nets through the Lens of Data Nets.
CoRR
Francesco Di Cosmo, Soumodev Mal, Tephilla Prince
2025 — conf
Verification of Coverability in Positive Interactive Datalog Programs.
CILC
Francesco Di Cosmo
2024 — conf
Bounded Verification of Petri Nets and EOSs using Telingo: An Experience Report.
CILC
Francesco Di Cosmo, Tephilla Prince
2024 — conf
Deciding Reachability and Coverability in Lossy EOS.
PNSE@Petri Nets
Francesco Di Cosmo, Soumodev Mal, Tephilla Prince
2024 — conf
Verification of Unary Communicating Datalog Programs.
SEBD
Cyriac Aiswarya, Diego Calvanese, Francesco Di Cosmo, Marco Montali
2024 J jnl
Verification of Unary Communicating Datalog Programs.
Proc. ACM Manag. Data
C. Aiswarya, Diego Calvanese, Francesco Di Cosmo, Marco Montali
2023 B conf
Analyzing Termination for Prev-Aware Fragments of Communicating Datalog Programs.
RuleML+RR
Francesco Di Cosmo
2023 C conf
Decidability Borders of Verification of Communicating Datalog Agents.
EUMAS
Francesco Di Cosmo
2023 — conf
Verification of Prev-Free Communicating Datalog Programs.
CILC
Francesco Di Cosmo
2023 J jnl
Verification of Sometimes Termination of Lazy-Bounded Declarative Distributed Systems.
CoRR
Francesco Di Cosmo
2021 — conf
Convergence Verification of Declarative Distributed Systems.
CILC
Diego Calvanese, Francesco Di Cosmo, Jorge Lobo, Marco Montali
2021 — conf
The Impact of Propositional Messages on Termination of Declarative Distributed Systems.
ESSLLI Student Sessions
Francesco Di Cosmo
2019 — conf
FO Queries Strongly Distributing over Components in Arbitrary Cardinality.
CILC
Francesco Di Cosmo
2018 — conf
On Perfect Matchings for some Bipartite Graphs.
SETS@ABZ
Alberto Casagrande, Francesco Di Cosmo, Eugenio G. Omodeo