| 2009 |
|---|
| 27 | EE | Dario Colazzo,
Giorgio Ghelli,
Carlo Sartiani:
Efficient asymmetric inclusion between regular expression types.
ICDT 2009: 174-182 |
| 2008 |
|---|
| 26 | EE | Giorgio Ghelli,
Dario Colazzo,
Carlo Sartiani:
Linear time membership in a class of regular expressions with interleaving and counting.
CIKM 2008: 389-398 |
| 25 | EE | Giorgio Ghelli,
Dario Colazzo,
Carlo Sartiani:
Linear Time Membership for a Class of XML Types with Interleaving and Counting.
PLAN-X 2008 |
| 24 | EE | Véronique Benzaken,
Giuseppe Castagna,
Dario Colazzo,
Cédric Miachon:
Pattern by example: type-driven visual programming of XML queries.
PPDP 2008: 131-142 |
| 23 | | Giorgio Ghelli,
Dario Colazzo,
Carlo Sartiani:
Efficient Inclusion of Conflict-free XML Types with Interleaving and Counting.
SEBD 2008: 390-397 |
| 2007 |
|---|
| 22 | | Véronique Benzaken,
Giuseppe Castagna,
Dario Colazzo,
Cédric Miachon:
Pattern by Example: type-driven visual programming of XML queries.
BDA 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 |
