Æȷοì
Giorgio Ghelli
Giorgio Ghelli
¼Ò¼ÓÀ» ¾Ë ¼ö ¾øÀ½
di.unipi.itÀÇ À̸ÞÀÏ È®ÀεÊ
Á¦¸ñ
Àοë
Àοë
¿¬µµ
An object data model with roles
A Albano, R Bergamini, G Ghelli, R Orsini
VLDB 93, 39-51, 1993
3131993
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
2121999
A spatial logic for querying graphs
L Cardelli, P Gardner, G Ghelli
Automata, Languages and Programming: 29th International Colloquium, ICALP ¡¦, 2002
1652002
A calculus for overloaded functions with subtyping
G Castagna, G Ghelli, G Longo
Information and Computation 117 (1), 115-135, 1995
1591995
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 calculus for overloaded functions with subtyping
G Castagna, G Ghelli, G Longo
Proceedings of the 1992 ACM Conference on LISP and Functional Programming ¡¦, 1992
1361992
A query language based on the ambient logic
L Cardelli, G Ghelli
European Symposium on Programming, 1-22, 2001
1262001
Ambient groups and mobility types
L Cardelli, G Ghelli, AD Gordon
Theoretical Computer Science: Exploring New Frontiers of Theoretical ¡¦, 2000
1252000
Fibonacci: A programming language for object databases
A Albano, G Ghelli, R Orsini
The VLDB Journal 4, 403-444, 1995
1251995
Parametric schema inference for massive JSON datasets
MA Baazizi, D Colazzo, G Ghelli, C Sartiani
The VLDB Journal 28, 497-521, 2019
1112019
Types for the ambient calculus
L Cardelli, G Ghelli, AD Gordon
Information and Computation 177 (2), 160-194, 2002
1112002
Schema inference for massive JSON datasets
MA Baazizi, HB Lahmar, D Colazzo, G Ghelli, C Sartiani
Extending Database Technology (EDBT), 2017
1082017
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
1042004
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
942005
Secrecy and group creation
L Cardelli, G Ghelli, AD Gordon
CONCUR 2000—Concurrency Theory: 11th International Conference University ¡¦, 2000
792000
A static type system for message passing
G Ghelli
ACM SIGPLAN Notices 26 (11), 129-145, 1991
761991
Proof Theoretic Studies about a minimal type system integrating inclusion and parametric polymorphism
G Ghelli
Università di Pisa. Dipartimento di Informatica, 1990
681990
Manipulating trees with hidden labels
L Cardelli, P Gardner, G Ghelli
Foundations of Software Science and Computation Structures: 6th ¡¦, 2003
662003
Expressiveness and complexity of graph logic
A Dawar, P Gardner, G Ghelli
Information and Computation 205 (3), 263-310, 2007
602007
ÇöÀç ½Ã½ºÅÛÀÌ ÀÛµ¿µÇÁö ¾Ê½À´Ï´Ù. ³ªÁß¿¡ ´Ù½Ã ½ÃµµÇØ ÁÖ¼¼¿ä.
ÇмúÀÚ·á 1–20