Giulia Sindoni

According to our database, Giulia Sindoni authored at least 5 papers between 2017 and 2025.

Collaborative distances:

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

2025

A Theorem Prover Based Approach for SAT-Based Model Checking Certification.

Giulia Sindoni, Paolo Pasini, Gianpiero Cabodi, Paolo E. Camurati, Alberto Griggio, Marco Palena, Marco Roveri, Stefano Tonetta

Proceedings of the Automated Deduction - CADE 30, 2025

2024

Ontology as Structure, Domain and Definition.

Brandon Bennett, Giulia Sindoni

Proceedings of the Formal Ontology in Information Systems, 2024

2021

Expressing discrete spatial relations under granularity.

Giulia Sindoni, Katsuhiko Sano, John G. Stell

J. Log. Algebraic Methods Program., 2021

2018

Axiomatizing Discrete Spatial Relations.

Giulia Sindoni, Katsuhiko Sano, John G. Stell

Proceedings of the Relational and Algebraic Methods in Computer Science, 2018

2017

The Logic of Discrete Qualitative Relations.

Giulia Sindoni, John G. Stell

Proceedings of the 13th International Conference on Spatial Information Theory, 2017