An object data model with roles A Albano, R Bergamini, G Ghelli, R Orsini VLDB 93, 39-51, 1993 | 313 | 1993 |
Coherence of subsumption, minimum typing and type-checking in F¡Â PL Curien, G Ghelli Mathematical structures in computer science 2 (1), 55-91, 1992 | 269* | 1992 |
Mobility types for mobile ambients L Cardelli, G Ghelli, AD Gordon Automata, Languages and Programming: 26th International Colloquium, ICALP¡¯99 ¡¦, 1999 | 212 | 1999 |
A spatial logic for querying graphs L Cardelli, P Gardner, G Ghelli Automata, Languages and Programming: 29th International Colloquium, ICALP ¡¦, 2002 | 165 | 2002 |
A calculus for overloaded functions with subtyping G Castagna, G Ghelli, G Longo Information and Computation 117 (1), 115-135, 1995 | 159 | 1995 |
A Relationship Mechanism for a Strongly Typed Object-Oriented Database Programming Language. A Albano, G Ghelli, R Orsini VLDB 91, 565-575, 1991 | 150 | 1991 |
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 | 136 | 1992 |
A query language based on the ambient logic L Cardelli, G Ghelli European Symposium on Programming, 1-22, 2001 | 126 | 2001 |
Ambient groups and mobility types L Cardelli, G Ghelli, AD Gordon Theoretical Computer Science: Exploring New Frontiers of Theoretical ¡¦, 2000 | 125 | 2000 |
Fibonacci: A programming language for object databases A Albano, G Ghelli, R Orsini The VLDB Journal 4, 403-444, 1995 | 125 | 1995 |
Parametric schema inference for massive JSON datasets MA Baazizi, D Colazzo, G Ghelli, C Sartiani The VLDB Journal 28, 497-521, 2019 | 111 | 2019 |
Types for the ambient calculus L Cardelli, G Ghelli, AD Gordon Information and Computation 177 (2), 160-194, 2002 | 111 | 2002 |
Schema inference for massive JSON datasets MA Baazizi, HB Lahmar, D Colazzo, G Ghelli, C Sartiani Extending Database Technology (EDBT), 2017 | 108 | 2017 |
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 | 104 | 2004 |
XPeer: A self-organizing XML P2P database system C Sartiani, P Manghi, G Ghelli, G Conforti Current Trends in Database Technology-EDBT 2004 Workshops: EDBT 2004 ¡¦, 2005 | 94 | 2005 |
Secrecy and group creation L Cardelli, G Ghelli, AD Gordon CONCUR 2000—Concurrency Theory: 11th International Conference University ¡¦, 2000 | 79 | 2000 |
A static type system for message passing G Ghelli ACM SIGPLAN Notices 26 (11), 129-145, 1991 | 76 | 1991 |
Proof Theoretic Studies about a minimal type system integrating inclusion and parametric polymorphism G Ghelli Università di Pisa. Dipartimento di Informatica, 1990 | 68 | 1990 |
Manipulating trees with hidden labels L Cardelli, P Gardner, G Ghelli Foundations of Software Science and Computation Structures: 6th ¡¦, 2003 | 66 | 2003 |
Expressiveness and complexity of graph logic A Dawar, P Gardner, G Ghelli Information and Computation 205 (3), 263-310, 2007 | 60 | 2007 |