Dario Colazzo Home Page Coauthor index DBLP Vis pubzone.org

List of publications from the DBLP Bibliography Server - FAQ
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

DBLP keys2009
30Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDario Colazzo, Giorgio Ghelli, Carlo Sartiani: Efficient asymmetric inclusion between regular expression types. ICDT 2009: 174-182
29Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDario Colazzo, Carlo Sartiani: Detection of corrupted schema mappings in XML data integration systems. ACM Trans. Internet Techn. 9(4): (2009)
28Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDario Colazzo, Giorgio Ghelli, Carlo Sartiani: Efficient inclusion for a class of XML types with interleaving and counting. Inf. Syst. 34(7): 643-656 (2009)
27Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMichele Bugliesi, Dario Colazzo, Silvia Crafa, Damiano Macedonio: A type system for Discretionary Access Control. Mathematical Structures in Computer Science 19(4): 839-875 (2009)
2008
26Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGiorgio Ghelli, Dario Colazzo, Carlo Sartiani: Linear time membership in a class of regular expressions with interleaving and counting. CIKM 2008: 389-398
25Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGiorgio Ghelli, Dario Colazzo, Carlo Sartiani: Linear Time Membership for a Class of XML Types with Interleaving and Counting. PLAN-X 2008
24Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLVéronique Benzaken, Giuseppe Castagna, Dario Colazzo, Cédric Miachon: Pattern by example: type-driven visual programming of XML queries. PPDP 2008: 131-142
23no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGiorgio Ghelli, Dario Colazzo, Carlo Sartiani: Efficient Inclusion of Conflict-free XML Types with Interleaving and Counting. SEBD 2008: 390-397
2007
22no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLVéronique Benzaken, Giuseppe Castagna, Dario Colazzo, Cédric Miachon: Pattern by Example: type-driven visual programming of XML queries. BDA 2007
21Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGiorgio Ghelli, Dario Colazzo, Carlo Sartiani: Efficient Inclusion for a Class of XML Types with Interleaving and Counting. DBPL 2007: 231-245
20no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDario Colazzo, Carlo Sartiani: XML Type Projection: A Maximum Flow Approach. SEBD 2007: 357-364
19Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLNicole Bidoit, Dario Colazzo: Testing XML constraint satisfiability. Electr. Notes Theor. Comput. Sci. 174(6): 45-61 (2007)
2006
18no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLNicole Bidoit, Dario Colazzo: Capturing well typed references in DTDs. BDA 2006
17no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLVéronique Benzaken, Giuseppe Castagna, Dario Colazzo, Kim Nguyen: Type-Based XML Projection. BDA 2006
16Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDario Colazzo, Carlo Sartiani: An efficient algorithm for XML type projection. PPDP 2006: 51-60
15no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDario Colazzo, Carlo Sartiani: Mapping Maintenance in XML P2P Databases. SEBD 2006: 64-71
14Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLVéronique Benzaken, Giuseppe Castagna, Dario Colazzo, Kim Nguyen: Type-Based XML Projection. VLDB 2006: 271-282
13Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDario 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
12Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDario Colazzo, Carlo Sartiani: Mapping Maintenance in XML P2P Databases. DBPL 2005: 74-89
11Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGiuseppe Castagna, Dario Colazzo, Alain Frisch: Error Mining for Regular Expression Patterns. ICTCS 2005: 160-172
10no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLCarlo Sartiani, Dario Colazzo: Detecting Corrupted Schema Mappings in XML P2P Databases. SEBD 2005: 184-191
9no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDario Colazzo, Giorgio Ghelli, Paolo Manghi, Carlo Sartiani: Types for Path Correctness of XML Queries. SEBD 2005: 264-271
8Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDario Colazzo, Giorgio Ghelli: Subtyping recursion and parametric polymorphism in kernel fun. Inf. Comput. 198(2): 71-147 (2005)
2004
7Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMichele Bugliesi, Dario Colazzo, Silvia Crafa: Type Based Discretionary Access Control. CONCUR 2004: 225-239
6Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDario Colazzo, Giorgio Ghelli, Paolo Manghi, Carlo Sartiani: Types for path correctness of XML queries. ICFP 2004: 126-137
2002
5no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGiovanni Conforti, Giorgio Ghelli, Antonio Albano, Dario Colazzo, Paolo Manghi, Carlo Sartiani: The Query Language TQL - Demo Presentation. SEBD 2002: 427-431
4Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGiovanni Conforti, Giorgio Ghelli, Antonio Albano, Dario Colazzo, Paolo Manghi, Carlo Sartiani: The Query Language TQL. WebDB 2002: 13-18
3Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDario Colazzo, Giorgio Ghelli, Paolo Manghi, Carlo Sartiani: Types for Correctness of Queries over Semistructured Data. WebDB 2002: 19-24
2no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDario 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
1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDario Colazzo, Giorgio Ghelli: Subtyping Recursive Types in Kernel Fun. LICS 1999: 137-146

Coauthor Index

1Antonio Albano [2] [4] [5]
2Véronique Benzaken [14] [17] [22] [24]
3Nicole Bidoit (Nicole Bidoit-Tollu) [18] [19]
4Michele Bugliesi [7] [27]
5Giuseppe Castagna [11] [14] [17] [22] [24]
6Giovanni Conforti [4] [5]
7Silvia Crafa [7] [27]
8Alain Frisch [11]
9Giorgio Ghelli [1] [2] [3] [4] [5] [6] [8] [9] [13] [21] [23] [25] [26] [28] [30]
10Luca Lini [2]
11Damiano Macedonio [27]
12Paolo Manghi [2] [3] [4] [5] [6] [9] [13]
13Cédric Miachon [22] [24]
14Kim Nguyen [14] [17]
15Michele Paoli [2]
16Carlo Sartiani [2] [3] [4] [5] [6] [9] [10] [12] [13] [15] [16] [20] [21] [23] [25] [26] [28] [29] [30]

Colors in the list of coauthors

Home | Conferences | Journals | Series | FAQ — Search: Faceted | Complete | Author
Copyright © Mon Nov 9 16:52:13 2009 by Michael Ley (ley@uni-trier.de)