Francesco Di Cosmo

According to our database, Francesco Di Cosmo authored at least 8 papers between 2018 and 2023.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2023

Verification of Sometimes Termination of Lazy-Bounded Declarative Distributed Systems.

Francesco Di Cosmo

CoRR, 2023

Analyzing Termination for Prev-Aware Fragments of Communicating Datalog Programs.

Francesco Di Cosmo

Proceedings of the Rules and Reasoning - 7th International Joint Conference, 2023

Decidability Borders of Verification of Communicating Datalog Agents.

Francesco Di Cosmo

Proceedings of the Multi-Agent Systems - 20th European Conference, 2023

Verification of Prev-Free Communicating Datalog Programs.

Francesco Di Cosmo

Proceedings of the 38th Italian Conference on Computational Logic, 2023

2021

The Impact of Propositional Messages on Termination of Declarative Distributed Systems.

Francesco Di Cosmo

Proceedings of the Selected Reflections in Language, Logic, and Information - ESSLLI 2019, 2021

Convergence Verification of Declarative Distributed Systems.

Diego Calvanese, Francesco Di Cosmo, Jorge Lobo, Marco Montali

Proceedings of the 36th Italian Conference on Computational Logic, 2021

2019

FO Queries Strongly Distributing over Components in Arbitrary Cardinality.

Francesco Di Cosmo

Proceedings of the 34th Italian Conference on Computational Logic, 2019

2018

On Perfect Matchings for some Bipartite Graphs.

Alberto Casagrande, Francesco Di Cosmo, Eugenio G. Omodeo

Proceedings of the 3rd International Workshop on Sets and Tools co-located with the 6th International ABZ Conference, 2018