Items where authors include "Sindoni, G"

Article

Sindoni, G, Sano, K and Stell, JG orcid.org/0000-0001-9644-1908 (2021) Expressing discrete spatial relations under granularity. Journal of Logical and Algebraic Methods in Programming, 122. 100682. p. 100682. ISSN 2352-2208

Turrini, D, Miguel, Y, Zingales, T et al. (13 more authors) (2018) The contribution of the ARIEL space mission to the study of planetary formation. Experimental Astronomy, 46 (1). pp. 45-65. ISSN 0922-6435

Proceedings Paper

Sindoni, G orcid.org/0000-0003-4003-2317, Sano, K orcid.org/0000-0002-7780-423X and Stell, JG orcid.org/0000-0001-9644-1908 (2018) Axiomatizing Discrete Spatial Relations. In: RAMiCS 2018: Relational and Algebraic Methods in Computer Science. International Conference on Relational and Algebraic Methods in Computer Science, 29 Oct - 02 Nov 2018, Groningen. Springer, Cham , pp. 113-130. ISBN 978-3-030-02148-1

Sindoni, G and Stell, JG (2017) The Logic of Discrete Qualitative Relations. In: Clementini, E, Donnelly, M, Yuan, M, Kray, C, Fogliaroni, P and Ballatore, A, (eds.) LIPIcs : Leibniz International Proceedings in Informatics. 13th International Conference on Spatial Information Theory (COSIT2017), 04-08 Sep 2017, L’Aquila, Italy. Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik . ISBN 978-3-95977-043-9