Publications (recent ones, full list.)

• Mohamed-Amine Baazizi, Nicole Bidoit-Tollu, and Dario Colazzo.
  Efficient Encoding of Temporal XML Documents.
  International Symposium on Temporal Representation and Reasoning (TIME), 2011.

• Dario Colazzo and Carlo Sartiani.
  Precision and Complexity of XQuery Type Inference.
  ACM-SIGPLAN Symposium on Principles and Practice of Declarative Programming (PPDP), 2011.

• Benjamin Nguyen, Antoine Vion, Francois-Xavier DuDouet, Ioana Manolescu, and Dario Colazzo.
  XML Content Warehousing: Improving Sociological Studies of Mailing Lists and Web Data
  Bulletin of Sociological Methodology (BMS), To appear.

• Amine Baazizi, Nicole Bidoit-Tollu, Dario Colazzo, Noor Malla and Marina Sahakyan.
  Projection for XML Update Optimization.
  International Conference on Extending Database Technology (EDBT), 2011.

• Dario Colazzo, Giorgio Ghelli and Carlo Sartiani.
  Schemas for Safe and Efficient XML Processing. (tutorial)
  IEEE International Conference on Data Engineering (ICDE), 2011.

• Dario Colazzo and Carlo Sartiani.
  Precision and Complexity of XQuery Type Inference.
  12th Italian Conference on Theoretical Computer Science (ICTCS), 2010.

• Dario Colazzo, Giovanna Guerrini, Marco Mesiti, Barbara Oliboni, and Emmanuel Waller.
  Document and Schema XML Updates.
  Book chapter. In Changqing Li and Tok Wang Ling, editors.
  Advanced Applications and Structures in XML Processing: Label Stream, Semantics Utilization and Data Query Technololgies,
  IDEA Group, 2010.

• 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-Tollu, 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-Tollu and Dario Colazzo.
  Hybrid Logic for Expressing XML Schemas with Typed References.
  Seventh International Conference on Computer Science and Information (CSIT), 2009.

• Nicole Bidoit-Tollu, 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)

Teaching (mainly in French)

• Données semi-structurées et XML : langage et optimisation.

Thesis

• Path Correctness for XML Queries: Characterization and Static Type Checking 
  PhD 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.