Giorgio Ghelli
Giorgio Ghelli
Unknown affiliation
Verified email at di.unipi.it
Title
Cited by
Cited by
Year
An object data model with roles
A Albano, R Bergamini, G Ghelli, R Orsini
VLDB 93, 39-51, 1993
2971993
Types for mobile ambients
L Cardelli, AD Gordon
Proceedings of the 26th ACM SIGPLAN-SIGACT symposium on Principles ofá…, 1999
2561999
Coherence of subsumption, minimum typing and type-checking in F≤
PL Curien, G Ghelli
Mathematical structures in computer science 2 (1), 55-91, 1992
234*1992
Mobility types for mobile ambients
L Cardelli, G Ghelli, AD Gordon
International Colloquium on Automata, Languages, and Programming, 230-239, 1999
2041999
A calculus for overloaded functions with subtyping
G Castagna, G Ghelli, G Longo
Information and Computation 117 (1), 115-135, 1995
1531995
A Relationship Mechanism for a Strongly Typed Object-Oriented Database Programming Language.
A Albano, G Ghelli, R Orsini
VLDB 91, 565-575, 1991
1501991
A spatial logic for querying graphs
L Cardelli, P Gardner, G Ghelli
International Colloquium on Automata, Languages, and Programming, 597-610, 2002
1342002
A calculus for overloaded functions with subtyping
G Castagna, G Ghelli, G Longo
Proceedings of the 1992 ACM conference on LISP and functional programmingá…, 1992
1241992
Ambient groups and mobility types
L Cardelli, G Ghelli, AD Gordon
IFIP International Conference on Theoretical Computer Science, 333-347, 2000
1212000
A query language based on the ambient logic
L Cardelli, G Ghelli
European Symposium on Programming, 1-22, 2001
1182001
Fibonacci: A programming language for object databases
A Albano, G Ghelli, R Orsini
The VLDB Journal 4 (3), 403-444, 1995
1171995
Types for the ambient calculus
L Cardelli, G Ghelli, A Gordon
Information and Computation 177, 2002
1082002
TQL: a query language for semistructured data based on the ambient logic
L Cardelli, G Ghelli
Mathematical structures in computer science 14 (3), 285-327, 2004
98*2004
XPeer: A self-organizing XML P2P database system
C Sartiani, P Manghi, G Ghelli, G Conforti
International Conference on Extending Database Technology, 456-465, 2004
932004
Secrecy and group creation
L Cardelli, G Ghelli, AD Gordon
International Conference on Concurrency Theory, 365-379, 2000
732000
A static type system for message passing
G Ghelli
ACM SIGPLAN Notices 26 (11), 129-145, 1991
731991
Proof Theoretic Studies about a minimal type system integrating inclusion and parametric polymorphism
G Ghelli
UniversitÓ di Pisa. Dipartimento di Informatica, 1990
661990
Manipulating trees with hidden labels
L Cardelli, P Gardner, G Ghelli
International Conference on Foundations of Software Science and Computationá…, 2003
602003
Expressiveness and complexity of graph logic
A Dawar, P Gardner, G Ghelli
Information and Computation 205 (3), 263-310, 2007
552007
Schema inference for massive JSON datasets
MA Baazizi, HB Lahmar, D Colazzo, G Ghelli, C Sartiani
542017
The system can't perform the operation now. Try again later.
Articles 1–20