Travelled to:1 × Canada
1 × China
1 × Czech Republic
1 × Ireland
1 × Poland
1 × The Netherlands
2 × Spain
3 × Italy
5 × USA
Collaborated with:∅ L.Cardelli D.Colazzo C.Sartiani P.Gardner G.Castagna G.Longo G.Conforti P.Curien A.D.Gordon L.Pardini N.Onose K.H.Rose J.Siméon P.Manghi A.Albano R.Bergamini R.Orsini
Talks about:type (6) queri (4) subtyp (3) xml (3) overload (2) calculus (2) regular (2) express (2) ambient (2) system (2)
Person: Giorgio Ghelli
DBLP: Ghelli:Giorgio
Contributed to:
20092008
2008
2004
20042003
2002
20011999
19991996
1993
1993
1992
1991
1991Wrote 17 papers:
- 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.
- SIGMOD-2008-GhelliORS #optimisation #query #xml
- XML query optimization in the presence of side effects (GG, NO, KHR, JS), pp. 339–352.
- FoSSaCS-2004-ConfortiG #decidability
- Decidability of Freshness, Undecidability of Revelation (GC, GG), pp. 105–120.
- ICFP-2004-ColazzoGMS #correctness #query #xml
- Types for path correctness of XML queries (DC, GG, PM, CS), pp. 126–137.
- FoSSaCS-2003-CardelliGG
- Manipulating Trees with Hidden Labels (LC, PG, GG), pp. 216–232.
- ICALP-2002-CardelliGG #graph #logic #query
- A Spatial Logic for Querying Graphs (LC, PG, GG), pp. 597–610.
- ESOP-2001-CardelliG #logic #query
- A Query Language Based on the Ambient Logic (LC, GG), pp. 1–22.
- ICALP-1999-CardelliGG #mobile
- Mobility Types for Mobile Ambients (LC, ADG, GG), pp. 230–239.
- LICS-1999-ColazzoG #kernel #recursion #type system
- Subtyping Recursive Types in Kernel Fun (DC, GG), pp. 137–146.
- ICFP-1996-Ghelli #complexity #kernel #type checking #type system
- Complexity of Kernel Fun Subtype Checking (GG), pp. 134–145.
- TLCA-1993-CastagnaGL #calculus #semantics
- A Semantics for λ&-early: A Calculus with Overloading and Early Binding (GC, GG, GL), pp. 107–123.
- TLCA-1993-Ghelli #recursion
- Recursive Types Are not Conservative over F (GG), pp. 146–162.
- VLDB-1993-AlbanoBGO
- An Object Data Model with Roles (AA, RB, GG, RO), pp. 39–51.
- LFP-1992-CastagnaGL #calculus #type system
- A Calculus for Overloaded Functions with Subtyping (GC, GG, GL), pp. 182–192.
- OOPSLA-1991-Ghelli #message passing #static typing #type system
- A Static Type System for Message Passing (GG), pp. 129–145.
- RTA-1991-CurienG #confluence #normalisation #on the
- On Confluence for Weakly Normalizing Systems (PLC, GG), pp. 215–225.