Sign in
Francesco Di Cosmo
ORCID
Publication Activity (10 Years)
Years Active: 2018-2023
Publications (10 Years): 8
Top Topics
Datalog Programs
Top Venues
CILC
RuleML+RR
CoRR
EUMAS
</>
Publications
</>
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)