Most cited papers
(according to CiteSeer,
excluding self-citations):
-
P.-L. Curien and G. Ghelli.
Coherence of subsumption, minimum typing and type checking in
Fsub.
Mathematical Structures in Computer Science, 2(1):55-91, 1992.
99 citations;
gs (google scholar).
-
L. Cardelli, G. Ghelli, A. Gordon.
Mobility types for mobile ambients
Proc. of ICALP'99,
LNCS 1644, pp. 230-239. Springer-Verlag, 1999.
87 citations;
gs
-
G. Castagna, G. Ghelli, and G. Longo.
A
calculus for overloaded functions with subtyping.
Information and Computation, 117(1):115-135, 1995.
85 citations;
gs.
-
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.
65 citations;
gs.
-
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.
64 citations;
gs.
-
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.
48 citations;
gs.
-
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.
47 citations;
gs.
-
L. Cardelli, G. Ghelli, and A. D. Gordon.
Secrecy and group creation.
Information and Computation, 196(2): 127-155, 2005.
43 citations;
gs.
-
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.
42 citations;
gs.