The Logic of Discrete Qualitative Relations. - Giulia Sindoni; John G. Stell (COSIT, 2017)

Axiomatizing Discrete Spatial Relations. - Giulia Sindoni; Katsuhiko Sano; John G. Stell (RAMiCS, 2018)

Expressing discrete spatial relations under granularity. - Giulia Sindoni; Katsuhiko Sano; John G. Stell (J. Log. Algebraic Methods Program., 2021)

Ontology as Structure, Domain and Definition. - Brandon Bennett; Giulia Sindoni (FOIS, 2024)

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 (CADE, 2025)