| 2009 |
|---|
| 81 | EE | Dario Colazzo,
Giorgio Ghelli,
Carlo Sartiani:
Efficient asymmetric inclusion between regular expression types.
ICDT 2009: 174-182 |
| 2008 |
|---|
| 80 | EE | Giorgio Ghelli,
Dario Colazzo,
Carlo Sartiani:
Linear time membership in a class of regular expressions with interleaving and counting.
CIKM 2008: 389-398 |
| 79 | EE | Giorgio Ghelli,
Dario Colazzo,
Carlo Sartiani:
Linear Time Membership for a Class of XML Types with Interleaving and Counting.
PLAN-X 2008 |
| 78 | | Giorgio Ghelli,
Dario Colazzo,
Carlo Sartiani:
Efficient Inclusion of Conflict-free XML Types with Interleaving and Counting.
SEBD 2008: 390-397 |
| 77 | EE | Giorgio Ghelli,
Nicola Onose,
Kristoffer Høgsbro Rose,
Jérôme Siméon:
XML query optimization in the presence of side effects.
SIGMOD Conference 2008: 339-352 |
| 76 | EE | Giorgio Ghelli,
Kristoffer Høgsbro Rose,
Jérôme Siméon:
Commutativity analysis for XML updates.
ACM Trans. Database Syst. 33(4): (2008) |
| 2007 |
|---|
| 75 | EE | Giorgio Ghelli,
Dario Colazzo,
Carlo Sartiani:
Efficient Inclusion for a Class of XML Types with Interleaving and Counting.
DBPL 2007: 231-245 |
| 74 | EE | Giorgio Ghelli,
Nicola Onose,
Kristoffer Høgsbro Rose,
Jérôme Siméon:
A Better Semantics for XQuery with Side-Effects.
DBPL 2007: 81-96 |
| 73 | EE | Giovanni Conforti,
Giorgio Ghelli,
Paolo Manghi,
Carlo Sartiani:
Scalable Query Dissemination in XPeer.
EROW 2007 |
| 72 | EE | Giorgio Ghelli,
Kristoffer Høgsbro Rose,
Jérôme Siméon:
Commutativity Analysis in XML Update Languages.
ICDT 2007: 374-388 |
| 71 | EE | Giovanni Conforti,
Giorgio Ghelli,
Paolo Manghi,
Carlo Sartiani:
Scalable Query Dissemination in XPeer.
IDEAS 2007: 199-207 |
| 70 | EE | Luca Cardelli,
Philippa Gardner,
Giorgio Ghelli:
Manipulating Trees with Hidden Labels.
Electr. Notes Theor. Comput. Sci. 172: 177-201 (2007) |
| 69 | EE | Anuj Dawar,
Philippa Gardner,
Giorgio Ghelli:
Expressiveness and complexity of graph logic.
Inf. Comput. 205(3): 263-310 (2007) |
| 2006 |
|---|
| 68 | EE | Giorgio Ghelli,
Christopher Re,
Jérôme Siméon:
XQuery!: An XML Query Language with Side Effects.
EDBT Workshops 2006: 178-191 |
| 67 | 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 |
|---|
| 66 | | Dario Colazzo,
Giorgio Ghelli,
Paolo Manghi,
Carlo Sartiani:
Types for Path Correctness of XML Queries.
SEBD 2005: 264-271 |
| 65 | EE | Luca Cardelli,
Giorgio Ghelli,
Andrew D. Gordon:
Secrecy and group creation.
Inf. Comput. 196(2): 127-155 (2005) |
| 64 | EE | Dario Colazzo,
Giorgio Ghelli:
Subtyping recursion and parametric polymorphism in kernel fun.
Inf. Comput. 198(2): 71-147 (2005) |
| 2004 |
|---|
| 63 | EE | Carlo Sartiani,
Paolo Manghi,
Giorgio Ghelli,
Giovanni Conforti:
XPeer: A Self-Organizing XML P2P Database System.
EDBT Workshops 2004: 456-465 |
| 62 | EE | Anuj Dawar,
Philippa Gardner,
Giorgio Ghelli:
Adjunct Elimination Through Games in Static Ambient Logic.
FSTTCS 2004: 211-223 |
| 61 | EE | Giovanni Conforti,
Giorgio Ghelli:
Decidability of Freshness, Undecidability of Revelation.
FoSSaCS 2004: 105-120 |
| 60 | EE | Dario Colazzo,
Giorgio Ghelli,
Paolo Manghi,
Carlo Sartiani:
Types for path correctness of XML queries.
ICFP 2004: 126-137 |
| 59 | | Giovanni Conforti,
Giorgio Ghelli,
Paolo Manghi,
Carlo Sartiani:
A Self-organizing XML P2P Database System.
SEBD 2004: 394-401 |
| 58 | EE | Luca Cardelli,
Giorgio Ghelli:
TQL: a query language for semistructured data based on the ambient logic.
Mathematical Structures in Computer Science 14(3): 285-327 (2004) |
| 2003 |
|---|
| 57 | EE | Luca Cardelli,
Philippa Gardner,
Giorgio Ghelli:
Manipulating Trees with Hidden Labels.
FoSSaCS 2003: 216-232 |
| 56 | | Giovanni Conforti,
Giorgio Ghelli:
Spatial Tree Logics to reason about Semistructured Data.
SEBD 2003: 37-48 |
| 2002 |
|---|
| 55 | | Giorgio Ghelli,
Gösta Grahne:
Database Programming Languages, 8th International Workshop, DBPL 2001, Frascati, Italy, September 8-10, 2001, Revised Papers
Springer 2002 |
| 54 | EE | Luca Cardelli,
Philippa Gardner,
Giorgio Ghelli:
A Spatial Logic for Querying Graphs.
ICALP 2002: 597-610 |
| 53 | | Giovanni Conforti,
Orlando Ferrara,
Giorgio Ghelli:
TQL Algebra and its Implementation.
IFIP TCS 2002: 422-434 |
| 52 | | Giovanni Conforti,
Giorgio Ghelli,
Antonio Albano,
Dario Colazzo,
Paolo Manghi,
Carlo Sartiani:
The Query Language TQL - Demo Presentation.
SEBD 2002: 427-431 |
| 51 | EE | Giovanni Conforti,
Giorgio Ghelli,
Antonio Albano,
Dario Colazzo,
Paolo Manghi,
Carlo Sartiani:
The Query Language TQL.
WebDB 2002: 13-18 |
| 50 | EE | Dario Colazzo,
Giorgio Ghelli,
Paolo Manghi,
Carlo Sartiani:
Types for Correctness of Queries over Semistructured Data.
WebDB 2002: 19-24 |
| 49 | EE | Giorgio Ghelli:
Foundations for Extensible Objects with Roles.
Inf. Comput. 175(1): 50-75 (2002) |
| 48 | EE | Luca Cardelli,
Giorgio Ghelli,
Andrew D. Gordon:
Types for the Ambient Calculus.
Inf. Comput. 177(2): 160-194 (2002) |
| 47 | | 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) |
| 2001 |
|---|
| 46 | EE | Giuseppe Castagna,
Giorgio Ghelli,
Francesco Zappa Nardelli:
Typing Mobility in the Seal Calculus.
CONCUR 2001: 82-101 |
| 45 | EE | Luca Cardelli,
Giorgio Ghelli:
A Query Language Based on the Ambient Logic.
ESOP 2001: 1-22 |
| 44 | | Luca Cardelli,
Giorgio Ghelli:
A Query Language Based on the Ambient Logic.
SEBD 2001: 95-104 |
| 2000 |
|---|
| 43 | EE | Luca Cardelli,
Giorgio Ghelli,
Andrew D. Gordon:
Secrecy and Group Creation.
CONCUR 2000: 365-379 |
| 42 | EE | Luca Cardelli,
Giorgio Ghelli,
Andrew D. Gordon:
Ambient Groups and Mobility Types.
IFIP TCS 2000: 333-347 |
| 41 | EE | Luca Cardelli,
Andy Gordon,
Giorgio Ghelli:
Secrecy, Group Creation.
Electr. Notes Theor. Comput. Sci. 40: (2000) |
| 40 | EE | Antonio Albano,
Giuseppe Antognoni,
Giorgio Ghelli:
View Operations on Objects with Roles for a Statically Typed Database Language.
IEEE Trans. Knowl. Data Eng. 12(4): 548-567 (2000) |
| 1999 |
|---|
| 39 | EE | Luca Cardelli,
Andrew D. Gordon,
Giorgio Ghelli:
Mobility Types for Mobile Ambients.
ICALP 1999: 230-239 |
| 38 | EE | Dario Colazzo,
Giorgio Ghelli:
Subtyping Recursive Types in Kernel Fun.
LICS 1999: 137-146 |
| 37 | | Paolo Baldan,
Giorgio Ghelli,
Alessandra Raffaetà:
Basic Theory of F-Bounded Quantification.
Inf. Comput. 153(1): 173-237 (1999) |
| 1998 |
|---|
| 36 | | Giorgio Ghelli,
F. Nanni,
G. Puglielli,
Antonio Albano:
Tipi e moduli nel linguaggio Fibonacci.
SEBD 1998: 377-397 |
| 35 | EE | Giorgio Ghelli,
Benjamin C. Pierce:
Bounded Existentials and Minimal Typing.
Theor. Comput. Sci. 193(1-2): 75-96 (1998) |
| 1997 |
|---|
| 34 | | Giorgio Ghelli:
Termination of System F-bounded: A Complete Proof.
Inf. Comput. 139(1): 39-56 (1997) |
| 1996 |
|---|
| 33 | | Giorgio Ghelli,
Igor Pucci:
The Graphical System of Fibonacci.
DEXA Workshop 1996: 237-242 |
| 32 | | Giorgio Ghelli:
Complexity of Kernel Fun Subtype Checking.
ICFP 1996: 134-145 |
| 31 | EE | Richard C. H. Connor,
Giorgio Ghelli,
Paolo Manghi:
Persistence, Modules and Type Abstraction.
POS 1996: 48-59 |
| 30 | | Giorgio Ghelli,
Igor Pucci:
Il sistema grafico del Fibonacci.
SEBD 1996: 35-50 |
| 1995 |
|---|
| 29 | EE | Antonio Albano,
Milena Diotallevi,
Giorgio Ghelli:
Extensible Objects for Database Evolution: Language Features and Implementation Issues.
DBPL 1995: 10 |
| 28 | | Antonio Albano,
Giuseppe Antognoni,
Gianluca Baratti,
Giorgio Ghelli,
Renzo Orsini:
Il Galileo95.
SEBD 1995: 247-272 |
| 27 | | Giuseppe Castagna,
Giorgio Ghelli,
Giuseppe Longo:
A Calculus for Overloaded Functions with Subtyping
Inf. Comput. 117(1): 115-135 (1995) |
| 26 | EE | Giorgio Ghelli:
Divergence of F< Type Checking.
Theor. Comput. Sci. 139(1&2): 131-162 (1995) |
| 25 | EE | Antonio Albano,
Giorgio Ghelli,
Renzo Orsini:
Fibonacci: A Programming Language for Object Databases
VLDB J. 4(3): 403-444 (1995) |
| 1994 |
|---|
| 24 | | Antonio Albano,
C. Brasini,
Milena Diotallevi,
Giorgio Ghelli,
Renzo Orsini:
A Guided Tour of the Fibonacci System.
SEBD 1994: 371-394 |
| 23 | | Pierre-Louis Curien,
Giorgio Ghelli:
Decidability and Confluence of \beta\eta\hboxtop_\le Reduction in F_\le
Inf. Comput. 109(1/2): 57-114 (1994) |
| 1993 |
|---|
| 22 | | Antonio Albano,
Roberto Bergamini,
Giorgio Ghelli,
Renzo Orsini:
An Introduction to the Database Programming Language Fibonacci.
SEBD 1993: 247-266 |
| 21 | | Giuseppe Castagna,
Giorgio Ghelli,
Giuseppe Longo:
A Semantics for Lambda&-early: A Calculus with Overloading and Early Binding.
TLCA 1993: 107-123 |
| 20 | | Giorgio Ghelli:
Recursive Types Are not Conservative over F.
TLCA 1993: 146-162 |
| 19 | EE | Antonio Albano,
Roberto Bergamini,
Giorgio Ghelli,
Renzo Orsini:
An Object Data Model with Roles.
VLDB 1993: 39-51 |
| 1992 |
|---|
| 18 | EE | Giuseppe Castagna,
Giorgio Ghelli,
Giuseppe Longo:
A Calculus for Overloaded Functions with Subtyping.
LISP and Functional Programming 1992: 182-192 |
| 17 | EE | Giorgio Ghelli:
Run-Time Support for Hierarchic Records in Persistent Languages.
POS 1992: 107-123 |
| 16 | EE | Richard C. H. Connor,
Malcolm P. Atkinson,
Giorgio Ghelli,
Atsushi Ohori:
Keynote Discussion Session on Persistent Type Systems.
POS 1992: 216-221 |
| 15 | | Pierre-Louis Curien,
Giorgio Ghelli:
Coherence of Subsumption, Minimum Typing and Type-Checking in F<=.
Mathematical Structures in Computer Science 2(1): 55-91 (1992) |
| 1991 |
|---|
| 14 | EE | Antonio Albano,
Giorgio Ghelli,
Renzo Orsini:
Objects for a Database Programming Language.
DBPL 1991: 236-253 |
| 13 | | Giorgio Ghelli:
A Static Type System for Message Passing.
OOPSLA 1991: 129-145 |
| 12 | | Pierre-Louis Curien,
Giorgio Ghelli:
On Confluence for Weakly Normalizing Systems.
RTA 1991: 215-225 |
| 11 | | Pierre-Louis Curien,
Giorgio Ghelli:
Subtyping + Extensionality: Confluence of beta-eta-top reduction in F<=.
TACS 1991: 731-749 |
| 10 | EE | Antonio Albano,
Giorgio Ghelli,
Renzo Orsini:
A Relationship Mechanism for a Strongly Typed Object-Oriented Database Programming Language.
VLDB 1991: 565-575 |
| 9 | | Antonio Albano,
Giorgio Ghelli,
M. Eugenia Occhiuto,
Renzo Orsini:
Object-Oriented Galileo.
On Object-Oriented Database System 1991: 87-104 |
| 1990 |
|---|
| 8 | | Pierre-Louis Curien,
Giorgio Ghelli:
Coherence of Subsumption.
CAAP 1990: 132-146 |
| 7 | EE | Giorgio Ghelli:
A Class Abstraction for a Hierarchical Type System.
ICDT 1990: 56-71 |
| 6 | | Giorgio Ghelli:
Modelling Features of Object-Oriented Languages in Second Order Functional Languages with Subtypes.
REX Workshop 1990: 311-340 |
| 1989 |
|---|
| 5 | EE | Antonio Albano,
Alan Dearle,
Giorgio Ghelli,
Chris D. Marlin,
Ronald Morrison,
Renzo Orsini,
David W. Stemple:
A Framework for Comparing Type Systems for Database Programming Languages.
DBPL 1989: 170-178 |
| 4 | EE | Antonio Albano,
Giorgio Ghelli,
Renzo Orsini:
Types for Databases: The Galileo Experience.
DBPL 1989: 196-206 |
| 1986 |
|---|
| 3 | EE | Antonio Albano,
Giorgio Ghelli,
M. Eugenia Occhiuto,
Renzo Orsini:
A Strongly Typed, Interactive Object-Oriented Database Programming Language.
OODBS 1986: 94-103 |
| 1985 |
|---|
| 2 | EE | Antonio Albano,
Giorgio Ghelli,
Renzo Orsini:
The Implementation of Galileo's Persistent Values.
Data Types and Persistence (Appin) 1985: 253-263 |
| 1 | EE | Antonio Albano,
Giorgio Ghelli,
Renzo Orsini:
The Implementation of Galileo's Persistent Values.
Data Types and Persistence (Appin), Informal Proceedings 1985: 197-208 |
