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 |