Francesco Di Cosmo

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

Collaborative distances:

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

2024

Verification of Unary Communicating Datalog Programs.

C. Aiswarya, Diego Calvanese, Francesco Di Cosmo, Marco Montali

Proc. ACM Manag. Data, 2024

Bounded Verification of Petri Nets and EOSs using Telingo: An Experience Report.

Francesco Di Cosmo, Tephilla Prince

Proceedings of the 39th Italian Conference on Computational Logic, 2024

Deciding Reachability and Coverability in Lossy EOS.

Francesco Di Cosmo, Soumodev Mal, Tephilla Prince

Proceedings of the International Workshop on Petri Nets and Software Engineering 2024 co-located with the 45th International Conference on Application and Theory of Petri Nets and Concurrency (PETRI NETS 2024), June 24, 2024

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