Available papers
-
G. Ghelli, D. Colazzo, and C. Sartiani.
Efficient inclusion for a class of XML types with interleaving and
counting.
In Information Systems, 2008. To appear.
-
G. Ghelli, D. Colazzo, and C. Sartiani.
Efficient asymmetric inclusion between regular expression types.
In Proc. of the 12th Intl. Conf. on Database Theory (ICDT),
Saint-Petersburg, Russia, 2009.
-
G. Ghelli, D. Colazzo, and C. Sartiani.
Linear time membership for a class of XML types with interleaving
and counting.
In Proc. of ACM Conference on Information and Knowledge
Management (CIKM), Napa Valley, CA, 2008.
-
G. Ghelli, K. Rose, and J. Siméon.
Commutativity analysis for XML updates.
ACM Transactions on Database Systems, 2008.
To appear.
-
G. Ghelli, D. Colazzo, and C. Sartiani.
Linear time membership for a class of XML types with interleaving
and counting.
In
Proc. of Workshop on Programming Language Technologies for
XML (PLAN-X), San Francisco, CA,
2008.
-
G. Ghelli, N. Onose, K. Rose, and J. Siméon.
XML query optimization in the presence of side effects.
In Proc. of ACM SIGMOD Conference (SIGMOD), Vancouver, Canada, 2007.
-
L. Cardelli, P. Gardner, and G. Ghelli.
Manipulating trees with hidden labels.
In Computation, Meaning and Logic: Articles dedicated to Gordon
Plotkin, number 172 in ENTCS - Electronic Notes in Theoretical Computer
Science, pages 177-201, 2007.
-
G. Conforti, G. Ghelli, P. Manghi, and C. Sartiani.
Scalable query dissemination in XPeer.
In Proc. of the 11th International Database Engineering and
Applications Symposium (IDEAS), Banff, Canada, 2007.
-
G. Ghelli, D. Colazzo, and C. Sartiani.
Efficient Inclusion for a Class of XML Types with
Interleaving and Counting.
Technical Report: TR-07-14.
Università di Pisa,
Dipartimento di Informatica, June 2007.
DBPL07 Version.
-
G. Ghelli, N. Onose, K. Rose, and J. Siméon.
A Better Semantics for XQuery with Side-Effects.
In
Proc. of the 11th Data Base Programming Languages (DBPL),
Vienna, Austria,
number 4797 in LNCS, pages 81-96, Berlin, 2007.
Springer-Verlag.
-
C. Sartiani, P. Manghi, G. Ghelli, and G. Conforti.
Scalable query dissemination in XPeer.
In Proc. of Workshop on Emerging Research Opportunities in Web
Data Management (EROW), Barcelona, Spain.
2007.
-
G. Ghelli, K. Rose, and J. Siméon.
Commutativity analysis in XML update languages.
In Proc. of the 11th Intl. Conf. on Database Theory (ICDT),
Barcelona, Spain,
LNCS, Berlin, 2007. Springer-Verlag.
-
A. Dawar, P. Gardner, and G. Ghelli.
Expressiveness and complexity of graph logic.
Information and Computation, 205(3):263-310, 2007.
-
D. Colazzo, G. Ghelli, P. Manghi, and C. Sartiani.
Static analysis for path correctness of XML queries.
Journal of Functional Programming (JFP), 16(4-5):621-661, 2006.
-
G. Ghelli, C. Ré, and J. Siméon.
XQuery!: An XML query language with side effects.
In Proc. of Workshop on Database Technologies for Handling XML
Information on the Web (DataX), number 4254 in LNCS, pages
178-191,
Berlin,
2006. Springer-Verlag.
-
D. Colazzo and G. Ghelli.
Subtyping, recursion and parametric polymorphism in Kernel Fun.
Information and Computation, 198(2):71-147, 2005.
-
L. Cardelli, G. Ghelli, and A. D. Gordon.
Secrecy and group creation.
Information and Computation, 196(2): 127-155, 2005.
-
A. Dawar, P. Gardner, and G. Ghelli.
Adjunct elimination through games
in Static Ambient Logic
(extended abstract).
In Proc. of the 24th Foundations of Software Technology and
Theoretical Computer Science (FSTTCS), Chennai, India, number 3328 in LNCS, Berlin, December 2004. Springer-Verlag.
-
D. Colazzo, G. Ghelli, P. Manghi, and C. Sartiani.
Types for path correctness for xml queries.
In Proc. of ACM International Conference on Functional
Programming (ICFP), Snowbird, Utah, USA, pages 126-137, September 2004.
-
C. Sartiani, P. Manghi, G. Ghelli, and G. Conforti.
XPeer: A self-organizing XML P2P database system.
In Proc. of the First International Workshop on Peer-to-Peer
Computing and Databases (P2P&DB), Heraklion - Crete, Greece,
number 3268 in LNCS, pages 456-465, Berlin, 2004. Springer-Verlag.
-
G. Ghelli and G. Conforti.
Decidability of Freshness, Undecidability of Revelation.
TR-03-11, Dipartimento di Informatica, Università di Pisa, 24 July 2003.
-
L. Cardelli and G. Ghelli.
TQL: A query language for semistructured data based on the ambient logic.
Mathematical Structures in Computer Science, 14(3):285-327, 2004.
-
G. Conforti, O. Ferrara, and G. Ghelli.
TQL algebra and its implementation (extended abstract).
 
In Proc. of IFIP International Conference on Theoretical
Computer Science (IFIP TCS), Montreal, Canada, August 2002.
-
G. Conforti, G. Ghelli, A. Albano, D. Colazzo, P. Manghi, and C. Sartiani.
The query language TQL.
In Proc. of the 5th International Workshop on the Web and
Databases (WebDB), Madison, Wisconsin, USA, 2002.
-
D. Colazzo, G. Ghelli, P. Manghi, and C. Sartiani.
Types for correctness of queries over semistructured data.
In Proc. of the 5th International Workshop on the Web and
Databases (WebDB), Madison, Wisconsin, USA, 2002.
-
L. Cardelli, P. Gardner, and G. Ghelli.
A spatial logic for querying graphs.
In Proc. of the 29th International Colloquium on Automata,
Languages, and Programming (ICALP), Malaga, Spain, LNCS, Berlin, July 2002.
Springer-Verlag.
-
L. Cardelli, G. Ghelli, and A. D. Gordon.
Types
for the Ambient Calculus.
Information and Computation, 177(2):160-194, 2002.
- L. Cardelli, and G. Ghelli,
A Query Language Based on the Ambient Logic.
In Proc. of the European Symposium on Programming (ESOP), Genova, Italy,
number 2028 in LNCS, pages
1-22, Berlin, April 2001. Springer-Verlag.
-
L. Cardelli, and G. Ghelli.
A Query
Language for Semistructured Data Based on the Ambient Logic - Full
DRAFT.
-
L. Cardelli, G. Ghelli, and A. D. Gordon.
Ambient groups and mobility types.
In Proc. of IFIP International Conference on Theoretical
Computer Science (IFIP TCS), Sendai, Japan,
August 2000.
-
A. Albano, G.Antognoni, and G. Ghelli.
View operations on objects with roles for a statically typed database
language.
IEEE Transactions on Knowledge and Data Engineering, 12(4):548-567, 2000.
-
L. Cardelli, G. Ghelli, and A. D. Gordon.
Mobility
types for mobile ambients. In Proc. of the 26th International Colloquium
on Automata, Languages, and Programming (ICALP), Prague, Czech Republic,
July 1999. Published here by permission of Springer-Verlag.
-
G. Ghelli and D. Palmerini.
Foundations
for extensible objects with roles, extended abstract.
Proc. of the
6th Workshop on Foundations of Object-Oriented Languages (FOOL), San
Antonio, Texas, 1999.
-
D. Colazzo and G. Ghelli.
Subtyping recursive types in kernel Fun, extended abstract.
In Proc. of the 14th Annual IEEE Symposium on Logic in Computer
Science (LICS), Trento, Italy, June 1999.
(full paper)
-
A. Albano, G. Ghelli, and R. Orsini.
A
relationship mechanism for a strongly typed object-oriented database programming
language.
In G.M. Lohman, A. Sernadas, and R. Camps, editors, Proc.
of the Seventeenth Intl. Conf. on Very Large Data Bases (VLDB), Barcelona,
Spain, pages 565-576, San Mateo, CA, 1991. Morgan Kaufmann. Best paper
award.
-
G. Ghelli.
Complexity of kernel Fun subtype checking.
In Proc. of ACM International Conference on Functional
Programming (ICFP), Philadelphia, Pennsylvania, pages 134-145. ACM Press,
May 1996.
-
A. Albano, G. Ghelli, and R. Orsini.
Fibonacci: A programming language for object databases.
Journal of Very Large Data Bases, 4(3):403-444, 1995.
-
A. Albano, R. Bergamini, G. Ghelli, and R. Orsini.
An object data model with roles.
In R. Agrawal, S. Baker, and D. Bell,
editors, Proc. of the Nineteenth Intl. Conf. on Very Large Data Bases
(VLDB), Dublin, Ireland, pages 39-51, San Mateo, CA, 1993. Morgan Kaufmann.
-
G. Ghelli. Recursive
types are not conservative over F<. In M. Bezen and J.F. Groote,
editors, Proc. of the International Conference on Typed Lambda Calculi
and Applications (TLCA), Utrecht, The Netherlands, number 664 in LNCS,
pages 146-162, Berlin, March 1993. Springer-Verlag.
-
G. Ghelli. Divergence
of F< type checking.
Theoretical Computer Science, 139(1,2),
131-162, 1995.
-
G. Ghelli.
A
static type system for message passing.
In A. Paepcke, editor,
Proc.
of the Sixth Intl. ACM Conference on Object-Oriented Programming Systems
Languages and Applications (OOPSLA), Phoenix, Arizona, number 26 (11)
in ACM SIGPLAN Notices, pages 129-145, Reading, MA, 1991. Addison-Wesley.
-
G. Castagna, G. Ghelli, and G. Longo.
A
calculus for overloaded functions with subtyping.
Information and
Computation, 117(1), 1995, pages 115-135.
-
G. Castagna, G. Ghelli, and G. Longo.
A
calculus for overloaded functions with subtyping, extended abstract.
In Proc. of ACM Conference on LISP and Functional Programming (LFP),
San Francisco, Ca, pages 182-192. ACM Press, July 1992. Superseded.
-
G. Ghelli.
A static type system for message passing.
In A. Paepcke, editor, Proc. of the Sixth Intl. ACM Conference
on Object-Oriented Programming Systems Languages and Applications (OOPSLA),
Phoenix, Arizona, number 26 (11) in ACM SIGPLAN Notices, pages 129-145,
Reading, MA, 1991. Addison-Wesley.
Giorgio Ghelli (ghelli@di.unipi.it)