| An object data model with roles A Albano, R Bergamini, G Ghelli, R Orsini VLDB 93, 39-51, 1993 | 297 | 1993 |
| Types for mobile ambients L Cardelli, AD Gordon Proceedings of the 26th ACM SIGPLAN-SIGACT symposium on Principles of …, 1999 | 256 | 1999 |
| 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 | 204 | 1999 |
| A calculus for overloaded functions with subtyping G Castagna, G Ghelli, G Longo Information and Computation 117 (1), 115-135, 1995 | 153 | 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 spatial logic for querying graphs L Cardelli, P Gardner, G Ghelli International Colloquium on Automata, Languages, and Programming, 597-610, 2002 | 134 | 2002 |
| 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 | 124 | 1992 |
| Ambient groups and mobility types L Cardelli, G Ghelli, AD Gordon IFIP International Conference on Theoretical Computer Science, 333-347, 2000 | 121 | 2000 |
| A query language based on the ambient logic L Cardelli, G Ghelli European Symposium on Programming, 1-22, 2001 | 118 | 2001 |
| Fibonacci: A programming language for object databases A Albano, G Ghelli, R Orsini The VLDB Journal 4 (3), 403-444, 1995 | 117 | 1995 |
| Types for the ambient calculus L Cardelli, G Ghelli, A Gordon Information and Computation 177, 2002 | 108 | 2002 |
| 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 | 93 | 2004 |
| Secrecy and group creation L Cardelli, G Ghelli, AD Gordon International Conference on Concurrency Theory, 365-379, 2000 | 73 | 2000 |
| A static type system for message passing G Ghelli ACM SIGPLAN Notices 26 (11), 129-145, 1991 | 73 | 1991 |
| Proof Theoretic Studies about a minimal type system integrating inclusion and parametric polymorphism G Ghelli Universitą di Pisa. Dipartimento di Informatica, 1990 | 66 | 1990 |
| Manipulating trees with hidden labels L Cardelli, P Gardner, G Ghelli International Conference on Foundations of Software Science and Computation …, 2003 | 60 | 2003 |
| Expressiveness and complexity of graph logic A Dawar, P Gardner, G Ghelli Information and Computation 205 (3), 263-310, 2007 | 55 | 2007 |
| Schema inference for massive JSON datasets MA Baazizi, HB Lahmar, D Colazzo, G Ghelli, C Sartiani | 54 | 2017 |
