BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Australia
1 × China
1 × Denmark
1 × Korea
1 × Spain
2 × Italy
3 × USA
Collaborated with:
C.Sartiani G.Ghelli V.Benzaken G.Castagna J.Camacho-Rodríguez I.Manolescu N.Bidoit-Tollu F.Ulliana J.A.M.Naranjo L.Pardini C.Miachon K.Nguyen P.Manghi A.Aranda-Andújar F.Bugiotti F.Goasdoué Z.Kaoudi
Talks about:
type (8) xml (7) queri (5) regular (2) project (2) express (2) linear (2) base (2) repositori (1) membership (1)

Person: Dario Colazzo

DBLP DBLP: Colazzo:Dario

Contributed to:

SIGMOD 20152015
CIKM 20122012
VLDB 20122012
PPDP 20112011
CIKM 20092009
CIKM 20082008
PPDP 20082008
PPDP 20062006
VLDB 20062006
ICFP 20042004
LICS 19991999

Wrote 11 papers:

SIGMOD-2015-Camacho-Rodriguez #named #parallel #xml
PAXQuery: Parallel Analytical XML Processing (JCR, DC, IM, JAMN), pp. 1117–1122.
CIKM-2012-Aranda-AndujarBCCGKM #named #repository #web
AMADA: web data repositories in the amazon cloud (AAA, FB, JCR, DC, FG, ZK, IM), pp. 2749–2751.
VLDB-2012-Bidoit-TolluCU #detection #independence #type system #xml
Type-Based Detection of XML Query-Update Independence (NBT, DC, FU), pp. 872–883.
PPDP-2011-ColazzoS #complexity #precise #type inference #xquery
Precision and complexity of XQuery type inference (DC, CS), pp. 89–100.
CIKM-2009-ColazzoGPS #linear #regular expression #xml
Linear inclusion for XML regular expression types (DC, GG, LP, CS), pp. 137–146.
CIKM-2008-GhelliCS #linear #regular expression
Linear time membership in a class of regular expressions with interleaving and counting (GG, DC, CS), pp. 389–398.
PPDP-2008-BenzakenCCM #programming #query #visual notation #xml
Pattern by example: type-driven visual programming of XML queries (VB, GC, DC, CM), pp. 131–142.
PPDP-2006-ColazzoS #algorithm #performance #xml
An efficient algorithm for XML type projection (DC, CS), pp. 51–60.
VLDB-2006-BenzakenCCN #type system #xml
Type-Based XML Projection (VB, GC, DC, KN), pp. 271–282.
ICFP-2004-ColazzoGMS #correctness #query #xml
Types for path correctness of XML queries (DC, GG, PM, CS), pp. 126–137.
LICS-1999-ColazzoG #kernel #recursion #type system
Subtyping Recursive Types in Kernel Fun (DC, GG), pp. 137–146.
Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.