Giorgio Ghelli

According to our database1, Giorgio Ghelli
  • authored at least 89 papers between 1985 and 2017.
  • has a "Dijkstra number"2 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Homepage:

On csauthors.net:

Bibliography

2017
Linear Time Membership in a Class of Regular Expressions with Counting, Interleaving, and Unordered Concatenation.
ACM Trans. Database Syst., 2017

Schema Inference for Massive JSON Datasets.
Proceedings of the 20th International Conference on Extending Database Technology, 2017

Counting types for massive JSON datasets.
Proceedings of The 16th International Symposium on Database Programming Languages, 2017

2013
Almost-linear inclusion for XML regular expression types.
ACM Trans. Database Syst., 2013

Efficient asymmetric inclusion of regular expressions with interleaving and counting for XML type-checking.
Theor. Comput. Sci., 2013

2011
Schemas for safe and efficient XML processing.
Proceedings of the 27th International Conference on Data Engineering, 2011

2009
XML Updates.
Proceedings of the Encyclopedia of Database Systems, 2009

Efficient inclusion for a class of XML types with interleaving and counting.
Inf. Syst., 2009

Efficient asymmetric inclusion between regular expression types.
Proceedings of the Database Theory, 2009

Linear inclusion for XML regular expression types.
Proceedings of the 18th ACM Conference on Information and Knowledge Management, 2009

2008
Commutativity analysis for XML updates.
ACM Trans. Database Syst., 2008

XML query optimization in the presence of side effects.
Proceedings of the ACM SIGMOD International Conference on Management of Data, 2008

Efficient Inclusion of Conflict-free XML Types with Interleaving and Counting.
Proceedings of the Sixteenth Italian Symposium on Advanced Database Systems, 2008

Linear Time Membership for a Class of XML Types with Interleaving and Counting.
Proceedings of the PLAN-X 2008, 2008

Linear time membership in a class of regular expressions with interleaving and counting.
Proceedings of the 17th ACM Conference on Information and Knowledge Management, 2008

2007
Expressiveness and complexity of graph logic.
Inf. Comput., 2007

Manipulating Trees with Hidden Labels.
Electr. Notes Theor. Comput. Sci., 2007

Scalable Query Dissemination in XPeer.
Proceedings of the Eleventh International Database Engineering and Applications Symposium (IDEAS 2007), 2007

Commutativity Analysis in XML Update Languages.
Proceedings of the Database Theory, 2007

Scalable Query Dissemination in XPeer.
Proceedings of the 1st Workshop on Emerging Research Opportunities for Web Data Management (EROW 2007) Collocated with the 11th International Conference on Database Theory (ICDT 2007), 2007

A Better Semantics for XQuery with Side-Effects.
Proceedings of the Database Programming Languages, 11th International Symposium, 2007

Efficient Inclusion for a Class of XML Types with Interleaving and Counting.
Proceedings of the Database Programming Languages, 11th International Symposium, 2007

2006
Static analysis for path correctness of XML queries.
J. Funct. Program., 2006

XQuery!: An XML Query Language with Side Effects.
Proceedings of the Current Trends in Database Technology - EDBT 2006, 2006

2005
Subtyping recursion and parametric polymorphism in kernel fun.
Inf. Comput., 2005

Secrecy and group creation.
Inf. Comput., 2005

Types for Path Correctness of XML Queries.
Proceedings of the Thirteenth Italian Symposium on Advanced Database Systems, 2005

2004
TQL: a query language for semistructured data based on the ambient logic.
Mathematical Structures in Computer Science, 2004

A Self-organizing XML P2P Database System.
Proceedings of the Twelfth Italian Symposium on Advanced Database Systems, 2004

Types for path correctness of XML queries.
Proceedings of the Ninth ACM SIGPLAN International Conference on Functional Programming, 2004

Adjunct Elimination Through Games in Static Ambient Logic.
Proceedings of the FSTTCS 2004: Foundations of Software Technology and Theoretical Computer Science, 2004

Decidability of Freshness, Undecidability of Revelation.
Proceedings of the Foundations of Software Science and Computation Structures, 2004

XPeer: A Self-Organizing XML P2P Database System.
Proceedings of the Current Trends in Database Technology - EDBT 2004 Workshops, 2004

2003
Spatial Tree Logics to reason about Semistructured Data.
Proceedings of the Eleventh Italian Symposium on Advanced Database Systems, 2003

Manipulating Trees with Hidden Labels.
Proceedings of the Foundations of Software Science and Computational Structures, 2003

2002
A typed text retrieval query language for XML documents.
JASIST, 2002

Foundations for Extensible Objects with Roles.
Inf. Comput., 2002

Types for the Ambient Calculus.
Inf. Comput., 2002

The Query Language TQL.
Proceedings of the Fifth International Workshop on the Web and Databases, 2002

Types for Correctness of Queries over Semistructured Data.
Proceedings of the Fifth International Workshop on the Web and Databases, 2002

The Query Language TQL - Demo Presentation.
Proceedings of the Decimo Convegno Nazionale su Sistemi Evoluti per Basi di Dati, 2002

TQL Algebra and its Implementation.
Proceedings of the Foundations of Information Technology in the Era of Networking and Mobile Computing, 2002

A Spatial Logic for Querying Graphs.
Proceedings of the Automata, Languages and Programming, 29th International Colloquium, 2002

2001
A Query Language Based on the Ambient Logic.
Proceedings of the Nono Convegno Nazionale Sistemi Evoluti per Basi di Dati, 2001

A Query Language Based on the Ambient Logic.
Proceedings of the Programming Languages and Systems, 2001

Typing Mobility in the Seal Calculus.
Proceedings of the CONCUR 2001, 2001

2000
View Operations on Objects with Roles for a Statically Typed Database Language.
IEEE Trans. Knowl. Data Eng., 2000

Secrecy, Group Creation.
Electr. Notes Theor. Comput. Sci., 2000

Ambient Groups and Mobility Types.
Proceedings of the Theoretical Computer Science, 2000

Secrecy and Group Creation.
Proceedings of the CONCUR 2000, 2000

1999
Basic Theory of F-Bounded Quantification.
Inf. Comput., 1999

Subtyping Recursive Types in Kernel Fun.
Proceedings of the 14th Annual IEEE Symposium on Logic in Computer Science, 1999

Mobility Types for Mobile Ambients.
Proceedings of the Automata, 1999

1998
Bounded Existentials and Minimal Typing.
Theor. Comput. Sci., 1998

Tipi e moduli nel linguaggio Fibonacci.
Proceedings of the Atti del Sesto Convegno Nazionale Sistemi Evolluti per Basi di Dati, 1998

1997
Termination of System F-bounded: A Complete Proof.
Inf. Comput., 1997

1996
Il sistema grafico del Fibonacci.
Proceedings of the Atti del Quarto Convegno Nazionale su Sistemi Evoluti per Basi di Dati (4th National Conference on Advanced Database Systems), 1996

Persistence, Modules and Type Abstraction.
Proceedings of the 7th Workshop on Persistent Object Systems, 1996

Complexity of Kernel Fun Subtype Checking.
Proceedings of the 1996 ACM SIGPLAN International Conference on Functional Programming (ICFP '96), 1996

The Graphical System of Fibonacci.
Proceedings of the Seventh International Workshop on Database and Expert Systems Applications, 1996

1995
A Calculus for Overloaded Functions with Subtyping
Inf. Comput., February, 1995

Fibonacci: A Programming Language for Object Databases
VLDB J., 1995

Divergence of F< Type Checking.
Theor. Comput. Sci., 1995

Il Galileo95.
Proceedings of the Atti del Terzo Convegno Nazionale su Sistemi Evoluti per Basi di Dati, 1995

Extensible Objects for Database Evolution: Language Features and Implementation Issues.
Proceedings of the Database Programming Languages (DBPL-5), 1995

1994
Decidability and Confluence of \beta\eta\hboxtop_\le Reduction in F_\le
Inf. Comput., 1994

A Guided Tour of the Fibonacci System.
Proceedings of the Atti del Secondo Convegno Nazionale "Sistemi Evoluti per Basi di Dati", 1994

1993
An Object Data Model with Roles.
Proceedings of the 19th International Conference on Very Large Data Bases, 1993

Recursive Types Are not Conservative over F.
Proceedings of the Typed Lambda Calculi and Applications, 1993

A Semantics for Lambda&-early: A Calculus with Overloading and Early Binding.
Proceedings of the Typed Lambda Calculi and Applications, 1993

An Introduction to the Database Programming Language Fibonacci.
Proceedings of the Convegno SEBD'93, 1993

1992
Coherence of Subsumption, Minimum Typing and Type-Checking in F<=.
Mathematical Structures in Computer Science, 1992

Run-Time Support for Hierarchic Records in Persistent Languages.
Proceedings of the Persistent Object Systems, 1992

Keynote Discussion Session on Persistent Type Systems.
Proceedings of the Persistent Object Systems, 1992

A Calculus for Overloaded Functions with Subtyping.
LISP and Functional Programming, 1992

1991
A Relationship Mechanism for a Strongly Typed Object-Oriented Database Programming Language.
Proceedings of the 17th International Conference on Very Large Data Bases, 1991

Subtyping + Extensionality: Confluence of beta-eta-top reduction in F<=.
Proceedings of the Theoretical Aspects of Computer Software, 1991

On Confluence for Weakly Normalizing Systems.
Proceedings of the Rewriting Techniques and Applications, 4th International Conference, 1991

A Static Type System for Message Passing.
Proceedings of the Conference on Object-Oriented Programming Systems, 1991

Objects for a Database Programming Language.
Proceedings of the Database Programming Languages: Bulk Types and Persistent Data. 3rd International Workshop, 1991

Object-Oriented Galileo.
On Object-Oriented Database System, 1991

1990
Modelling Features of Object-Oriented Languages in Second Order Functional Languages with Subtypes.
Proceedings of the Foundations of Object-Oriented Languages, 1990

A Class Abstraction for a Hierarchical Type System.
Proceedings of the ICDT'90, 1990

Coherence of Subsumption.
Proceedings of the CAAP '90, 1990

1989
Types for Databases: The Galileo Experience.
Proceedings of the Second International Workshop on Database Programming Languages, 1989

A Framework for Comparing Type Systems for Database Programming Languages.
Proceedings of the Second International Workshop on Database Programming Languages, 1989

1986
A Strongly Typed, Interactive Object-Oriented Database Programming Language.
Proceedings of the 1986 International Workshop on Object-Oriented Database Systems, 1986

1985
The Implementation of Galileo's Persistent Values.
Proceedings of the Data Types and Persistence, 1985

The Implementation of Galileo's Persistent Values.
Proceedings of the Data Types and Persistence. Edited Papers from the Proceedings of the First Workshop on Persistent Objects, 1985


  Loading...