| 2007 | ||
|---|---|---|
| 21 | EE | Giorgio Ghelli, Dario Colazzo, Carlo Sartiani: Efficient Inclusion for a Class of XML Types with Interleaving and Counting. DBPL 2007: 231-245 |
| 20 | Dario Colazzo, Carlo Sartiani: XML Type Projection: A Maximum Flow Approach. SEBD 2007: 357-364 | |
| 19 | EE | Nicole Bidoit, Dario Colazzo: Testing XML constraint satisfiability. Electr. Notes Theor. Comput. Sci. 174(6): 45-61 (2007) |
| 2006 | ||
| 18 | Nicole Bidoit, Dario Colazzo: Capturing well typed references in DTDs. BDA 2006 | |
| 17 | Véronique Benzaken, Giuseppe Castagna, Dario Colazzo, Kim Nguyen: Type-Based XML Projection. BDA 2006 | |
| 16 | EE | Dario Colazzo, Carlo Sartiani: An efficient algorithm for XML type projection. PPDP 2006: 51-60 |
| 15 | Dario Colazzo, Carlo Sartiani: Mapping Maintenance in XML P2P Databases. SEBD 2006: 64-71 | |
| 14 | EE | Véronique Benzaken, Giuseppe Castagna, Dario Colazzo, Kim Nguyen: Type-Based XML Projection. VLDB 2006: 271-282 |
| 13 | EE | Dario Colazzo, Giorgio Ghelli, Paolo Manghi, Carlo Sartiani: Static analysis for path correctness of XML queries. J. Funct. Program. 16(4-5): 621-661 (2006) |
| 2005 | ||
| 12 | EE | Dario Colazzo, Carlo Sartiani: Mapping Maintenance in XML P2P Databases. DBPL 2005: 74-89 |
| 11 | EE | Giuseppe Castagna, Dario Colazzo, Alain Frisch: Error Mining for Regular Expression Patterns. ICTCS 2005: 160-172 |
| 10 | Carlo Sartiani, Dario Colazzo: Detecting Corrupted Schema Mappings in XML P2P Databases. SEBD 2005: 184-191 | |
| 9 | Dario Colazzo, Giorgio Ghelli, Paolo Manghi, Carlo Sartiani: Types for Path Correctness of XML Queries. SEBD 2005: 264-271 | |
| 8 | EE | Dario Colazzo, Giorgio Ghelli: Subtyping recursion and parametric polymorphism in kernel fun. Inf. Comput. 198(2): 71-147 (2005) |
| 2004 | ||
| 7 | EE | Michele Bugliesi, Dario Colazzo, Silvia Crafa: Type Based Discretionary Access Control. CONCUR 2004: 225-239 |
| 6 | EE | Dario Colazzo, Giorgio Ghelli, Paolo Manghi, Carlo Sartiani: Types for path correctness of XML queries. ICFP 2004: 126-137 |
| 2002 | ||
| 5 | Giovanni Conforti, Giorgio Ghelli, Antonio Albano, Dario Colazzo, Paolo Manghi, Carlo Sartiani: The Query Language TQL - Demo Presentation. SEBD 2002: 427-431 | |
| 4 | EE | Giovanni Conforti, Giorgio Ghelli, Antonio Albano, Dario Colazzo, Paolo Manghi, Carlo Sartiani: The Query Language TQL. WebDB 2002: 13-18 |
| 3 | EE | Dario Colazzo, Giorgio Ghelli, Paolo Manghi, Carlo Sartiani: Types for Correctness of Queries over Semistructured Data. WebDB 2002: 19-24 |
| 2 | Dario Colazzo, Carlo Sartiani, Antonio Albano, Paolo Manghi, Giorgio Ghelli, Luca Lini, Michele Paoli: A typed text retrieval query language for XML documents. JASIST 53(6): 467-488 (2002) | |
| 1999 | ||
| 1 | EE | Dario Colazzo, Giorgio Ghelli: Subtyping Recursive Types in Kernel Fun. LICS 1999: 137-146 |
| 1 | Antonio Albano | [2] [4] [5] |
| 2 | Véronique Benzaken | [14] [17] |
| 3 | Nicole Bidoit | [18] [19] |
| 4 | Michele Bugliesi | [7] |
| 5 | Giuseppe Castagna | [11] [14] [17] |
| 6 | Giovanni Conforti | [4] [5] |
| 7 | Silvia Crafa | [7] |
| 8 | Alain Frisch | [11] |
| 9 | Giorgio Ghelli | [1] [2] [3] [4] [5] [6] [8] [9] [13] [21] |
| 10 | Luca Lini | [2] |
| 11 | Paolo Manghi | [2] [3] [4] [5] [6] [9] [13] |
| 12 | Kim Nguyen | [14] [17] |
| 13 | Michele Paoli | [2] |
| 14 | Carlo Sartiani | [2] [3] [4] [5] [6] [9] [10] [12] [13] [15] [16] [20] [21] |
Colors in the list of coauthors