References

Deprecated: The each() function is deprecated. This message will be suppressed on further calls in /home/zhenxiangba/zhenxiangba.com/public_html/phproxy-improved-master/index.php on line 456
References

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. 97 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. 85 citations; gs

G. Castagna, G. Ghelli, and G. Longo. A calculus for overloaded functions with subtyping. Information and Computation, 117(1):115-135, 1995. 84 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. 64 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. 62 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. 45 citations; gs.

L. Cardelli, G. Ghelli, and A. D. Gordon. Secrecy and group creation. Information and Computation, 196(2): 127-155, 2005.

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.