Thesis

• Path Correctness for XML Queries: Characterization and Static Type Checking  Ph.D. Thesis (advisor: Prof. G. Ghelli ) , Department of Computer Science, University of Pisa, Italy.(pdf)
• Inclusione tra tipi ricorsivi nel sistema Kernel Fun  Master Thesis (advisor: Prof. G. Ghelli ) , Department of Computer Science, University of Pisa, Italy.

Papers

• Dario Colazzo and Carlo Sartiani.
  Detection of Corrupted Schema Mappings in XML Data Integration Systems.
  ACM Transactions on Internet Technology (TOIT), 2009.

• Dario Colazzo, Giorgio Ghelli and Carlo Sartiani.
  Efficient Inclusion for a Class of XML Types with Interleaving and Counting.
  Information Systems. Volume 34, Issue 7, Pages 577-670, November, 2009.

• Dario Colazzo, Giorgio Ghelli, Luca Pardini and Carlo Sartiani.
  Linear Inclusion for XML Regular Expression Types.
  ACM Conference on Information and Knowledge Management (CIKM), 2009.

• Nicole Bidoit, Dario Colazzo, Noor Malla and Marina Sahakyan.
  Optimisation de Mises a jour XML par typage et projection.
  25èmes journées Bases de Données Avancées (BDA), 20-23 Octobre, 2009.

• Nicole Bidoit and Dario Colazzo.
  Hybrid Logic for Expressing XML Schemas with Typed References.
  Seventh International Conference on Computer Science and Information (CSIT), 2009.

• Nicole Bidoit, Dario Colazzo, Noor Malla and Marina Sahakyan.
  Projection based optimization for XML updates.
  1st International Workshop on Schema Languages for XML (X-Schemas), 2009. Short paper (8 pages), informal proceedings.

• Michele Bugliesi, Dario Colazzo, Silvia Crafa and Damiano Macedonio.
  A Type System for Discretionary Access Control.
  Mathematical Structures in Computer Science (MSCS), 2009.

• Dario Colazzo, Giorgio Ghelli and Carlo Sartiani.
  Efficient asymmetric inclusion between regular expression types.
  International Conference on Database Theory (ICDT), 2009. (pdf)

• Giorgio Ghelli, Dario Colazzo and Carlo Sartiani.
  Linear Time Membership for a Class of XML Types with Interleaving and Counting.
  ACM Conference on Information and Knowledge Management (CIKM), 2008. (pdf)

• Véronique Benzaken, Giuseppe Castagna, Dario Colazzo, and Cédric Miachon.
  Pattern by Example: type-driven visual programming of XML queries.
  ACM-SIGPLAN Symposium on Principles and Practice of Declarative Programming (PPDP), 2008. (pdf)

• Giorgio Ghelli, Dario Colazzo and Carlo Sartiani.
  Linear Time Membership for a Class of XML Types with Interleaving and Counting.
  ACM Workshop on Programming Language Technologies for XML (PLAN-X), 2008. (pdf)

• Giorgio Ghelli, Dario Colazzo and Carlo Sartiani.
  Efficient Inclusion for a Class of XML Types with Interleaving and Counting.
  International Symposium on Database Programming Languages (DBPL), 2007. (pdf)

• Nicole Bidoit and Dario Colazzo.
  Testing XML constraint satisfiability.
  Electronic Notes in Theoretical Computer Science, Volume 174(6):45-61, 2007. (pdf)

• Dario Colazzo and Carlo Sartiani.
  Efficient Subtyping for Unordered XML Types.
  Technical report, 2007. (pdf)

• Nicole Bidoit and Dario Colazzo.
  Capturing well typed references in DTDs.
  22èmes Journées Bases de Données Avancées (BDA), 2006. (pdf)

• Nicole Bidoit and Dario Colazzo.
  Testing XML constraint satisfiability.
  International Workshop on Hybrid Logic 2006 (HyLo), ENTCS,2006. (pdf)

• Veronique Benzaken, Giuseppe Castagna, Dario Colazzo, and Kim Nguyen.
  Type-Based XML Projection.
  32nd International Conference on Very Large Databases (VLDB), 2006. (pdf)

• Dario Colazzo and Carlo Sartiani.
  An Efficient Algorithm for XML Type Projection.
  ACM-SIGPLAN Symposium on Principles and Practice of Declarative Programming (PPDP), 2006. (pdf)

• Dario Colazzo, Giorgio Ghelli, Paolo Manghi, and Carlo Sartiani.
  Static analysis for path correctness of XML queries.
  Journal of Functional Programming. 16(4): 621-661, 2006. (pdf)

• Giuseppe Castagna, Dario Colazzo and Alain Frisch.
  Error Mining for Regular Expression Patterns.
  Theoretical Computer Science, 9th Italian Conference (ICTCS) LNCS 3701, 2005. (pdf)

• Dario Colazzo and Carlo Sartiani.
  Mapping Maintenance in XML P2P Databases.
  Tenth International Symposium on Database Programming Languages (DBPL), (co-located with VLDB), 2005. (pdf)

• Dario Colazzo and Carlo Sartiani.
  An Approach to Detect Corrupted Schema Mappings in XML P2P Databases.
  Thirteenth Italian Symposium on ADVANCED DATABASE SYSTEMS - Sistemi Evoluti per Basi di Dati (SEBD), 2005.

• Dario Colazzo and Giorgio Ghelli.
  Subtyping, Recursion and Parametric Polymorphism in Kernel Fun.
  Information and Computation. Volume 198, Issue 2, Pages 71-179. (pdf)

• Dario Colazzo and Carlo Sartiani.
  Typechecking Queries for Maintaining Schema Mappings in XML P2P Databases.
  ACM Workshop on Programming Language Technologies for XML (PLAN-X), 2005. (pdf)

• Michele Bugliesi, Dario Colazzo and Silvia Crafa.
  Type Based Discretionary Access Control.
  CONCUR'04 - Concurrency Theory. LNCS n.3170, 2004. (pdf)

• Dario Colazzo, Giorgio Ghelli, Paolo Manghi, and Carlo Sartiani.
  Types for Path Correctness of XML queries.
  ACM-SIGPLAN International Conference on Functional Programming (ICFP), 2004. (pdf)

• Dario Colazzo, Carlo Sartiani, Antonio Albano, Paolo Manghi, Giorgio Ghelli, Luca Lini, and Michele Paoli.
  A Typed Text Retrieval Query Language for XML Documents.
  Journal of American Society for Computer Science and Technology (JASIST), Special Issue on XML and Information Retrieval, 2002. (pdf)

• Dario Colazzo, Giorgio Ghelli, Paolo Manghi, and Carlo Sartiani.
  Types for Correctness of Queries over Semistructured Data.
  ACM Workshop on the Web and Databases (WebDB), 2002. (pdf)

• Giovanni Conforti, Giorgio Ghelli, Antonio Albano, Dario Colazzo, Paolo Manghi, and Carlo Sartiani.
  The Query Langauge TQL.
  ACM Workshop on the Web and Databases (WebDB), 2002. (pdf)

• A. Albano, D. Colazzo, G. Ghelli, P. Manghi, and C. Sartiani.
  A Type System For Querying XML documents.
  ACM-SIGIR 2000 Workshop On XML and Information Retrieval, 2000 .

• Dario Colazzo and Giorgio Ghelli.
  Subtyping Recursive Types in Kernel Fun.
  IEEE Symposium on Logic in Computer Science (LICS), 1999. (pdf)