Dario Colazzo: Publications

• Andrés Aranda-Andújar, Francesca Bugiotti, Jesús Camacho-Rodríguez, Dario Colazzo, François Goasdoué, Zoi Kaoudi, and Ioana Manolescu.
  Amada: Web Data Repositories in the Amazon Cloud. (demo)
  International Conference on Information and Knowledge Management (CIKM), 2012.

• Nicole Bidoit-Tollu, Dario Colazzo, Noor Malla, and Carlo Sartiani.
  Partitioning XML Data for Iterative Queries.
  International Database Engineering & Applications Symposium (IDEAS), 2012.

• Nicole Bidoit, Dario Colazzo, and Federico Ulliana.
  Type-based Detection of XML Query-Update Independence
  38th International Conference on Very Large Databases (VLDB), 2012.

• Jesus Camacho-Rodriguez, Dario Colazzo, and Ioana Manolescu.
  Building Large XML Stores in the Amazon Cloud.
  Data Management in the Cloud (DMC) Workshop (colocated with ICDE), 2012.

• 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)

• 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-Tollu 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-Tollu and Dario Colazzo.
  Capturing well typed references in DTDs.
  22èmes Journées Bases de Données Avancées (BDA), 2006. (pdf)

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