| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Dario Colazzo, Giorgio Ghelli, Carlo Sartiani |
Schemas for safe and efficient XML processing.  |
ICDE  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Dario Colazzo, Giorgio Ghelli, Carlo Sartiani |
Efficient inclusion for a class of XML types with interleaving and counting. |
Inf. Syst. |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Giorgio Ghelli |
XML Updates. |
Encyclopedia of Database Systems |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Dario Colazzo, Giorgio Ghelli, Carlo Sartiani |
Efficient asymmetric inclusion between regular expression types. |
ICDT |
2009 |
DBLP DOI BibTeX RDF |
language inclusion, XML, regular expressions |
| 1 | Dario Colazzo, Giorgio Ghelli, Luca Pardini, Carlo Sartiani |
Linear inclusion for XML regular expression types. |
CIKM |
2009 |
DBLP DOI BibTeX RDF |
type inclusion, XML |
| 1 | Giorgio Ghelli, Kristoffer Høgsbro Rose, Jérôme Siméon |
Commutativity analysis for XML updates. |
ACM Trans. Database Syst. |
2008 |
DBLP DOI BibTeX RDF |
optimization, XML, XQuery, updates, commutativity |
| 1 | Giorgio Ghelli, Dario Colazzo, Carlo Sartiani |
Efficient Inclusion of Conflict-free XML Types with Interleaving and Counting. |
SEBD |
2008 |
DBLP BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
optimization, xquery, xml, updates, algebra, side-effects |
| 1 | Giorgio Ghelli, Dario Colazzo, Carlo Sartiani |
Linear time membership in a class of regular expressions with interleaving and counting. |
CIKM |
2008 |
DBLP DOI BibTeX RDF |
xml, regular expressions, xml schema |
| 1 | Giorgio Ghelli, Dario Colazzo, Carlo Sartiani |
Linear Time Membership for a Class of XML Types with Interleaving and Counting. |
PLAN-X |
2008 |
DBLP BibTeX RDF |
|
| 1 | Anuj Dawar, Philippa Gardner, Giorgio Ghelli |
Expressiveness and complexity of graph logic. |
Inf. Comput. |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Luca Cardelli, Philippa Gardner, Giorgio Ghelli |
Manipulating Trees with Hidden Labels. |
Electr. Notes Theor. Comput. Sci. |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Giovanni Conforti, Giorgio Ghelli, Paolo Manghi, Carlo Sartiani |
Scalable Query Dissemination in XPeer. |
EROW |
2007 |
DBLP BibTeX RDF |
|
| 1 | Giorgio Ghelli, Kristoffer Høgsbro Rose, Jérôme Siméon |
Commutativity Analysis in XML Update Languages. |
ICDT |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Giorgio Ghelli, Dario Colazzo, Carlo Sartiani |
Efficient Inclusion for a Class of XML Types with Interleaving and Counting. |
DBPL |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Giorgio Ghelli, Nicola Onose, Kristoffer Høgsbro Rose, Jérôme Siméon |
A Better Semantics for XQuery with Side-Effects. |
DBPL |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Giovanni Conforti, Giorgio Ghelli, Paolo Manghi, Carlo Sartiani |
Scalable Query Dissemination in XPeer. |
IDEAS |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Dario Colazzo, Giorgio Ghelli, Paolo Manghi, Carlo Sartiani |
Static analysis for path correctness of XML queries. |
J. Funct. Program. |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Giorgio Ghelli, Christopher Re, Jérôme Siméon |
XQuery!: An XML Query Language with Side Effects. |
EDBT Workshops |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Dario Colazzo, Giorgio Ghelli |
Subtyping recursion and parametric polymorphism in kernel fun. |
Inf. Comput. |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Luca Cardelli, Giorgio Ghelli, Andrew D. Gordon |
Secrecy and group creation. |
Inf. Comput. |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Dario Colazzo, Giorgio Ghelli, Paolo Manghi, Carlo Sartiani |
Types for Path Correctness of XML Queries. |
SEBD |
2005 |
DBLP BibTeX RDF |
|
| 1 | Luca Cardelli, Giorgio Ghelli |
TQL: a query language for semistructured data based on the ambient logic. |
Mathematical Structures in Computer Science |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Carlo Sartiani, Paolo Manghi, Giorgio Ghelli, Giovanni Conforti |
XPeer: A Self-Organizing XML P2P Database System. |
EDBT Workshops |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Giovanni Conforti, Giorgio Ghelli, Paolo Manghi, Carlo Sartiani |
A Self-organizing XML P2P Database System. |
SEBD |
2004 |
DBLP BibTeX RDF |
|
| 1 | Dario Colazzo, Giorgio Ghelli, Paolo Manghi, Carlo Sartiani |
Types for path correctness of XML queries. |
ICFP |
2004 |
DBLP DOI BibTeX RDF |
XML types, XML queries, type correctness |
| 1 | Giovanni Conforti, Giorgio Ghelli |
Decidability of Freshness, Undecidability of Revelation. |
FoSSaCS |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Anuj Dawar, Philippa Gardner, Giorgio Ghelli |
Adjunct Elimination Through Games in Static Ambient Logic. |
FSTTCS |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Giovanni Conforti, Giorgio Ghelli |
Spatial Tree Logics to reason about Semistructured Data. |
SEBD |
2003 |
DBLP BibTeX RDF |
|
| 1 | Luca Cardelli, Philippa Gardner, Giorgio Ghelli |
Manipulating Trees with Hidden Labels. |
FoSSaCS |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Giorgio Ghelli |
Foundations for Extensible Objects with Roles. |
Inf. Comput. |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Luca Cardelli, Giorgio Ghelli, Andrew D. Gordon |
Types for the Ambient Calculus. |
Inf. Comput. |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Dario Colazzo, Carlo Sartiani, Antonio Albano, Paolo Manghi, Giorgio Ghelli, Luca Lini, Michele Paoli |
A typed text retrieval query language for XML documents. |
JASIST |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Luca Cardelli, Philippa Gardner, Giorgio Ghelli |
A Spatial Logic for Querying Graphs. |
ICALP |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Giovanni Conforti, Giorgio Ghelli, Antonio Albano, Dario Colazzo, Paolo Manghi, Carlo Sartiani |
The Query Language TQL - Demo Presentation. |
SEBD |
2002 |
DBLP BibTeX RDF |
|
| 1 | Giovanni Conforti, Giorgio Ghelli, Antonio Albano, Dario Colazzo, Paolo Manghi, Carlo Sartiani |
The Query Language TQL. |
WebDB |
2002 |
DBLP BibTeX RDF |
|
| 1 | Dario Colazzo, Giorgio Ghelli, Paolo Manghi, Carlo Sartiani |
Types for Correctness of Queries over Semistructured Data. |
WebDB |
2002 |
DBLP BibTeX RDF |
|
| 1 | Giovanni Conforti, Orlando Ferrara, Giorgio Ghelli |
TQL Algebra and its Implementation. |
IFIP TCS |
2002 |
DBLP BibTeX RDF |
|
| 1 | Giorgio Ghelli, Gösta Grahne (eds.) |
Database Programming Languages, 8th International Workshop, DBPL 2001, Frascati, Italy, September 8-10, 2001, Revised Papers |
DBPL |
2002 |
DBLP BibTeX RDF |
|
| 1 | Giuseppe Castagna, Giorgio Ghelli, Francesco Zappa Nardelli |
Typing Mobility in the Seal Calculus. |
CONCUR |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Luca Cardelli, Giorgio Ghelli |
A Query Language Based on the Ambient Logic. |
SEBD |
2001 |
DBLP BibTeX RDF |
|
| 1 | Luca Cardelli, Giorgio Ghelli |
A Query Language Based on the Ambient Logic. |
ESOP |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Antonio Albano, Giuseppe Antognoni, Giorgio Ghelli |
View Operations on Objects with Roles for a Statically Typed Database Language. |
IEEE Trans. Knowl. Data Eng. |
2000 |
DBLP DOI BibTeX RDF |
object data models, objects with roles, object views, Object databases, database programming languages |
| 1 | Luca Cardelli, Andy Gordon, Giorgio Ghelli |
Secrecy, Group Creation. |
Electr. Notes Theor. Comput. Sci. |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Luca Cardelli, Giorgio Ghelli, Andrew D. Gordon |
Secrecy and Group Creation. |
CONCUR |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Luca Cardelli, Giorgio Ghelli, Andrew D. Gordon |
Ambient Groups and Mobility Types. |
IFIP TCS |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Paolo Baldan, Giorgio Ghelli, Alessandra Raffaetà |
Basic Theory of F-Bounded Quantification. |
Inf. Comput. |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Luca Cardelli, Andrew D. Gordon, Giorgio Ghelli |
Mobility Types for Mobile Ambients. |
ICALP |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Dario Colazzo, Giorgio Ghelli |
Subtyping Recursive Types in Kernel Fun. |
LICS |
1999 |
DBLP DOI BibTeX RDF |
type theory and type systems, kernel Fun, subtyping, recursive types |
| 1 | Giorgio Ghelli, Benjamin C. Pierce |
Bounded Existentials and Minimal Typing. |
Theor. Comput. Sci. |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Giorgio Ghelli, F. Nanni, G. Puglielli, Antonio Albano |
Tipi e moduli nel linguaggio Fibonacci. |
SEBD |
1998 |
DBLP BibTeX RDF |
|
| 1 | Giorgio Ghelli |
Termination of System F-bounded: A Complete Proof. |
Inf. Comput. |
1997 |
DBLP DOI BibTeX RDF |
|
| 1 | Giorgio Ghelli, Igor Pucci |
Il sistema grafico del Fibonacci. |
SEBD |
1996 |
DBLP BibTeX RDF |
|
| 1 | Giorgio Ghelli |
Complexity of Kernel Fun Subtype Checking. |
ICFP |
1996 |
DBLP DOI BibTeX RDF |
polymorphism, subtyping, type theory, type checking |
| 1 | Richard C. H. Connor, Giorgio Ghelli, Paolo Manghi |
Persistence, Modules and Type Abstraction. |
POS |
1996 |
DBLP BibTeX RDF |
|
| 1 | Giorgio Ghelli, Igor Pucci |
The Graphical System of Fibonacci. |
DEXA Workshops |
1996 |
DBLP BibTeX RDF |
|
| 1 | Giorgio Ghelli |
Divergence of F< Type Checking. |
Theor. Comput. Sci. |
1995 |
DBLP DOI BibTeX RDF |
|
| 1 | Giuseppe Castagna, Giorgio Ghelli, Giuseppe Longo |
A Calculus for Overloaded Functions with Subtyping |
Inf. Comput. |
1995 |
DBLP DOI BibTeX RDF |
|
| 1 | Antonio Albano, Giorgio Ghelli, Renzo Orsini |
Fibonacci: A Programming Language for Object Databases |
VLDB J. |
1995 |
DBLP BibTeX RDF |
|
| 1 | Antonio Albano, Giuseppe Antognoni, Gianluca Baratti, Giorgio Ghelli, Renzo Orsini |
Il Galileo95. |
SEBD |
1995 |
DBLP BibTeX RDF |
|
| 1 | Antonio Albano, Milena Diotallevi, Giorgio Ghelli |
Extensible Objects for Database Evolution: Language Features and Implementation Issues. |
DBPL |
1995 |
DBLP BibTeX RDF |
|
| 1 | Pierre-Louis Curien, Giorgio Ghelli |
Decidability and Confluence of \beta\eta\hboxtop_\le Reduction in F_\le |
Inf. Comput. |
1994 |
DBLP DOI BibTeX RDF |
|
| 1 | Antonio Albano, C. Brasini, Milena Diotallevi, Giorgio Ghelli, Renzo Orsini |
A Guided Tour of the Fibonacci System. |
SEBD |
1994 |
DBLP BibTeX RDF |
|
| 1 | Giorgio Ghelli |
Recursive Types Are not Conservative over F. |
TLCA |
1993 |
DBLP DOI BibTeX RDF |
|
| 1 | Giuseppe Castagna, Giorgio Ghelli, Giuseppe Longo |
A Semantics for Lambda&-early: A Calculus with Overloading and Early Binding. |
TLCA |
1993 |
DBLP DOI BibTeX RDF |
|
| 1 | Antonio Albano, Roberto Bergamini, Giorgio Ghelli, Renzo Orsini |
An Introduction to the Database Programming Language Fibonacci. |
SEBD |
1993 |
DBLP BibTeX RDF |
|
| 1 | Antonio Albano, Roberto Bergamini, Giorgio Ghelli, Renzo Orsini |
An Object Data Model with Roles. |
VLDB |
1993 |
DBLP BibTeX RDF |
|
| 1 | Pierre-Louis Curien, Giorgio Ghelli |
Coherence of Subsumption, Minimum Typing and Type-Checking in F<=. |
Mathematical Structures in Computer Science |
1992 |
DBLP DOI BibTeX RDF |
|
| 1 | Giuseppe Castagna, Giorgio Ghelli, Giuseppe Longo |
A Calculus for Overloaded Functions with Subtyping. |
LISP and Functional Programming |
1992 |
DBLP DOI BibTeX RDF |
|
| 1 | Richard C. H. Connor, Malcolm P. Atkinson, Giorgio Ghelli, Atsushi Ohori |
Keynote Discussion Session on Persistent Type Systems. |
POS |
1992 |
DBLP BibTeX RDF |
|
| 1 | Giorgio Ghelli |
Run-Time Support for Hierarchic Records in Persistent Languages. |
POS |
1992 |
DBLP BibTeX RDF |
|
| 1 | Antonio Albano, Giorgio Ghelli, M. Eugenia Occhiuto, Renzo Orsini |
Object-Oriented Galileo. |
On Object-Oriented Database System |
1991 |
DBLP BibTeX RDF |
|
| 1 | Pierre-Louis Curien, Giorgio Ghelli |
Subtyping + Extensionality: Confluence of beta-eta-top reduction in F<=. |
TACS |
1991 |
DBLP DOI BibTeX RDF |
|
| 1 | Pierre-Louis Curien, Giorgio Ghelli |
On Confluence for Weakly Normalizing Systems. |
RTA |
1991 |
DBLP DOI BibTeX RDF |
|
| 1 | Antonio Albano, Giorgio Ghelli, Renzo Orsini |
A Relationship Mechanism for a Strongly Typed Object-Oriented Database Programming Language. |
VLDB |
1991 |
DBLP BibTeX RDF |
|
| 1 | Giorgio Ghelli |
A Static Type System for Message Passing. |
OOPSLA |
1991 |
DBLP DOI BibTeX RDF |
|
| 1 | Antonio Albano, Giorgio Ghelli, Renzo Orsini |
Objects for a Database Programming Language. |
DBPL |
1991 |
DBLP BibTeX RDF |
|
| 1 | Pierre-Louis Curien, Giorgio Ghelli |
Coherence of Subsumption. |
CAAP |
1990 |
DBLP DOI BibTeX RDF |
|
| 1 | Giorgio Ghelli |
A Class Abstraction for a Hierarchical Type System. |
ICDT |
1990 |
DBLP DOI BibTeX RDF |
|
| 1 | Giorgio Ghelli |
Modelling Features of Object-Oriented Languages in Second Order Functional Languages with Subtypes. |
REX Workshop |
1990 |
DBLP DOI BibTeX RDF |
|
| 1 | Antonio Albano, Giorgio Ghelli, Renzo Orsini |
Types for Databases: The Galileo Experience. |
DBPL |
1989 |
DBLP BibTeX RDF |
|
| 1 | 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 |
DBLP BibTeX RDF |
|
| 1 | Antonio Albano, Giorgio Ghelli, M. Eugenia Occhiuto, Renzo Orsini |
A Strongly Typed, Interactive Object-Oriented Database Programming Language. |
OODBS |
1986 |
DBLP BibTeX RDF |
|
| 1 | Antonio Albano, Giorgio Ghelli, Renzo Orsini |
The Implementation of Galileo's Persistent Values. |
Data Types and Persistence (Appin) |
1985 |
DBLP BibTeX RDF |
|
| 1 | Antonio Albano, Giorgio Ghelli, Renzo Orsini |
The Implementation of Galileo's Persistent Values. |
Data Types and Persistence (Appin), Informal Proceedings |
1985 |
DBLP BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")