PhD Thesis:

G. Conforti. Spatial Logics for Semistructured Resources. Dipartimento di Informatica, Universitą di Pisa, 2005 [.pdf]

Journal Papers:

G. Conforti, D. Macedonio, and V. Sassone. Static BiLog: a Unifying Language for Spatial Structures. To appear in Fundamenta Informaticae, 2007. [.pdf]

International conferences:

· Giovanni Conforti, Giorgio Ghelli, Paolo Manghi and Carlo Sartiani. Scalable Query Dissemination in XPeer (Extended Version). In Proceedings of the Eleventh International Database Engineering and Applications Symposium (IDEAS 2007), Banff, Canada September 6-8, 2007 [ .pdf ]

· G. Conforti, D.Macedonio, and V.Sassone. Spatial Logics for Bigraphs. In Proc. of International Colloquium on Automata, Languages and Programming (ICALP), Lisbona, Portugal, June 2005. [.pdf]

·  G. Conforti and G. Ghelli. Decidability of Freshness, Undecidability of Revelation (extended abstract). In Proc. of Foundations of Software Science and Computation Structures (FOSSACS), Barcelona, Spain, March-April 2004. [.pdf]

·  G. Conforti, O. Ferrara, and G. Ghelli. TQL Algebra and its implementation (extended abstract). In Proc. of ( IFIP TCS), Montreal, Canada , August 2002. [.pdf ]

International Workshops:

·  Giovanni Conforti, Giorgio Ghelli, Paolo Manghi and Carlo Sartiani. Scalable Query Dissemination in XPeer. In Proceedings of the ICDT Workshop on Emerging Research Opportunities in Web Data Management (EROW 2007), Barcelona, Spain. January 13, 2007. [ .pdf ]

·  C. Sartiani, P. Manghi, G. Ghelli, and G. Conforti. XPeer: A self-organizing XML P2P database system. In Proc. of the First International Workshop on Peer-to-Peer Computing and Databases (P2P&DB), Heraklion - Crete, Greece, 2003. [ .pdf ]

·  G. Conforti, G. Ghelli, A. Albano, D. Colazzo, P. Manghi, and C. Sartiani. The Query Language TQL. In Proc. of Workshop on the Web and Data Bases (WebDB), Madison, Wisconsin , June 2002. [ .pdf ]

Italian conferences:

·  G. Conforti, D.Macedonio, and V.Sassone. Bigraphical Logics for XML. In Proc. of Tredicesimo Convegno su Sistemi Evoluti per Basi di Dati (SEBD), Bolzano, Italy , June 2005. [.pdf]

·  G. Conforti, G. Ghelli, P. Manghi, and C. Sartiani. A self-organizing XML P2P database system.. In Proc. of Dodicesimo Convegno su Sistemi Evoluti per Basi di Dati (SEBD), S.Margherita di Pula (CAGLIARI), Italia, June 2005 [.pdf]

·  G. Conforti, G. Ghelli. Spatial Tree Logics to reason about Semistructured Data. In Proc. of Undicesimo Convegno su Sistemi Evoluti per Basi di Dati (SEBD), Cetraro (CS), Italy , June 2003. [ .pdf ]

·  G. Conforti, G. Ghelli, A. Albano, D. Colazzo, P. Manghi, and C. Sartiani. The Query Language TQL Demo Presentation. In Proc. of Decimo Convegno su Sistemi Evoluti per Basi di Dati (SEBD), Portoferraio, Italy , June 2002. [ .pdf ]

Technical reports:

·  G. Conforti, D. Macedonio, V. Sassone. BiLog: Spatial Logics for Bigraphs. Computer Science Report 2005:02, University of Sussex, 2005. [ .pdf ]

·  G. Ghelli, G. Conforti. Decidability of freshness, Undecidability of revelation. Technical Report TR-03-11, Dipartimento di Informatica, Universitą di Pisa, July 2003. [ .ps ]

Drafts:

·         G. Conforti, D. Macedonio, V. Sassone. Static BiLog with recursion can describe dynamics intensionally. In progress.

·         G. Conforti, T. Schwentick. XML documents as relational structures, XML queries as Logical Interpretations. In progress.

Master Thesis:

·  G. Conforti and O. Ferrara. "Realizzazione completa di TQL, un linguaggio per l'interrogazione di dati semi-strutturati" (A complete implementation of TQL, a query language for semi-structured data). Advisor Giorgio Ghelli , October 2001.

Giovanni Conforti