| Searching for ghelli g or ghelli giorgio. |
1124 citations found. Only retrieving 125 citations (System busy - maximum reduced). Only a fraction of citations to each article may be shown. Retrieving citations...
Context Doc 78 (9): L. Cardelli, G. Ghelli, and A. D. Gordon. Mobility types for mobile ambients. In Proceedings ICALP'99, volume 1644 of Lecture Notes in Computer Science, pages 230-239. Springer, 1999.
Context Doc 60 (9): L. Cardelli, G. Ghelli, and A. D. Gordon. Ambient groups and mobility types. Unpublished, 1999.
Context Doc 60 (6): A. Albano, R. Bergamini, G. Ghelli, and R. Orsini, "An object data model with roles," in Procs. of VLDB'93, 1993, pp. 39--51.
Context Doc 59 (11): G. Castagna, G. Ghelli, and G. Longo. A Calculus for Overloaded Functions with Subtyping. In Lisp and Functional Programming, 1992.
Context Doc 41 (3): L. Cardelli, G. Ghelli, and A. D. Gordon. Secrecy and group creation. In C. Palamidessi, editor, CONCUR 2000|Concurrency Theory, volume 1877 of Lecture Notes in Computer Science, pages 365-379. Springer, 2000.
Context Doc 28 (11): Cardelli, L. and G. Ghelli (2001). A query language based on the ambient logic. In Proceedings ESOP'01, Volume 2028 of Lecture Notes in Computer Science, pp. 1-22. Springer.
Context Doc 28 (2): Antonio Albano, Giorgio Ghelli, and Renzo Orsini. A relationship mechanism for strongly typed Object-Oriented database programming languages. In Proc. of the 17th Int. Conf. on Very Large Data Bases (VLDB'91), pages 565--575, Barcelona (Spain), 1991.
Context Doc 26 (3): Pierre-Louis Curien and Giorgio Ghelli. Coherence of subsumption, minimum typing and type-checking in F# . Mathematical Structures in Computer Science, 2(1):55--91, 1992.
Context Doc 24 (7): Giorgio Ghelli. Proof Theoretic Studies about a Minimal Type System Integrating Inclusion and Parametric Polymorphism. PhD thesis, Universita di Pisa, 1990. Technical report TD--6/90, Dipartimento di Informatica, Universita di Pisa.
Context Doc 24 (5): Giorgio Ghelli. A Static Type System for Message Passing. In Proceedings of the Conference on Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA), pages 129-145, Phoenix, October 1991. Published as ACM SIGPLAN Notices 26(11), November 1991.
Context Doc 20 (5): ALBANO, A., GHELLI,G.,AND ORSINI, R. 1995. Fibonacci: A programming language for object databases. VLDB J. 4, 403--444.
Context Doc 20 (2): Pierre-Louis Curien and Giorgio Ghelli. Coherence of subsumption, minimum typing and typechecking in F . Mathematical Structures in Computer Science, 2(1):55-91, 1992.
Context Doc 20 (9): L. Cardelli, P. Gardner, and G. Ghelli. A spatial logic for querying graphs. In 29th International Colloquium on Automata, Languages, and Programming, ICALP 2002.
Context Doc 17 (3): L. Cardelli, P. Gardner, and G. Ghelli. Manipulating trees with hidden labels. In Proc. of FOSSACS '03, volume 2620 of LNCS, pages 216--232. Springer-Verlag, 2003.
Context Doc 16 (5): G. Castagna, G. Ghelli, F. Z. Nardelli. Typing mobility in the Seal calculus. In K. G. Larsen, M. Nielsen, eds., CONCUR, vol. 2154 of LNCS. Springer-Verlag, 2001.
Context Doc 15 (1): Cardelli, L., and Ghelli, G. A query language for semistructured data based on the ambient logic. Manuscript, 4 April 2000.
Context Doc 13 (0): Luca Cardelli, Giorgio Ghelli, and Andrew D. Gordon. Types for the ambient calculus. Inf. Comput., 177(2):160--194, 2002.
Context Doc 11 (1): Pierre-Louis Curien and Giorgio Ghelli. Coherence of subsumption: Minimum typing and type-checking in F# . Mathematical Structures in Computer Science, 2:55--91, 1992. Also in C. A. Gunter and J. C. Mitchell, editors, Theoretical Aspects of Object-Oriented Programming: Types, Semantics, and Language Design, MIT Press, 1994.
Context Doc 11 (6): G. Ghelli. Recursive types are not conservative over F . In M. Bezen and J. Groote, editors, Proceedings of the Typed Lambda Calculi And Application, Utrecht, The Netherlands, number 664 in LNCS, pages 146--162, Berlin, March 1993. Springer Verlag.
Context Doc 9 (0): P.-L. Curien and G. Ghelli, Coherence of subsumption,
Context Doc 9 (0): A. Albano, G. Ghelli, R. Orsini: A Relationship Mechanism for a Strongly Typed Object-Oriented Database Programming Language, in A. Sernadas (Ed.): Proc. VLDB 91, Barcelona 1991
Context Doc 8 (1): L. Cardelli, G. Ghelli, and A.D. Gordon. Types for the ambient calculus. Information and Computation, 177:160--194, 2002.
Context Doc 8 (10): G. Castagna, G. Ghelli, and G. Longo. A semantics for &-early: a calculus with overloading and early binding. In M. Bezen and J.F. Groote, editors, Proc. of the International Conference on Typed Lambda Calculi and Applications (TLCA), Utrecht, The Netherlands, number 664 in Lecture Notes in Computer Science, pages 107--123, Berlin, March 1993. Springer-Verlag.
Context Doc 8 (8): Giorgio Ghelli and Benjamin Pierce. Bounded existentials and minimal typing. Theoretical Computer Science, 193:75--96, 1998.
Context Doc 7 (0): Luca Cardelli, Giorgio Ghelli, Andrew D. Gordon: Mobility Types for Mobile Ambients. In Proc. of ICALP, Springer LNCS 1644 (1999) 230239
Context Doc 6 (1): G. Ghelli and D. Palmerini. Foundations for extensible objects with roles, extended abstract. In Proc. of the 6th Workshop on Foundations of ObjectOriented Languages (FOOL), 1999.
Context Doc 6 (2): L. Cardelli, P.Gardner, and G. Ghelli. Querying trees with pointers. Unpublished notes.
Context Doc 6 (0): A. Albano, G. Ghelli, R. Orsini: Objects and Classes for a Database Programming Language, FIDE technical report 91/16, 1991
Context Doc 6 (0): A. Albano, R. Bergamini, G. Ghelli, and R. Orsini. An introduction to the database programming language Fibonacci. The VLDB Journal, 4(3), 1995.
Context Doc 5 (0): A. Albano, G. Ghelli, R. Orsini: Types for Databases: The Galileo Experience, in Type Systems and Database Programming Languages, University of St. Andrews, Dept. of Mathematical and Computational Sciences, Research Report CS/90/3, 27 - 37
Context Doc 5 (2): G. Ghelli. A static type system for late binding overloading. In A. Paepcke, editor, Proc. of the Sixth Intl. ACM Conference on Object Oriented Programing: Systems, Languages, and Applications (OOPSLA) , Phoenix, Arizona, number 26 (11) in ACM SIGPLAN Notices, pages 129--145, Reading, MA, 1991. Addison-Wesley.
Context Doc 4 (2): Pierre-Louis Curien and Giorgio Ghelli. Decidability and Confluence of fijtop Reduction in F . Information and Computation, 1/2:57--114, 1994.
Context Doc 4 (0): G. Ghelli and G. Conforti. Decidability of freshness, undecidability of revelation. Technical Report 03--11, Dipartimento di Informatica, Universita di Pisa, 2003.
Context Doc 4 (0): Pierre-Louis Curien and Giorgio Ghelli. Coherence of subsumption, minimum typing and type-checking in F . Mathematical Structures in Computer Science, 2(1):55--91, 1992.
Context Doc 4 (1): A. Albano, A. Dearle, G. Ghelli, C. Martin, R. Morrison, R. Orsini, and D. Stemple. A framework for comparing type systems for database programming languages. In Proceedings of the Second International Workshop on Database Programming Languages, Portland, Oregon, pages 203--212, June 1989.
Context Doc 4 (5): G. Conforti, O. Ferrara, and G. Ghelli. TQL Algebra and its Implementation (Extended Abstract). In Proc. of IFIP TCS, pages 422--434. Kluwer Academic Publishers, 2002.
Context Doc 4 (0): G. Castagna, G. Ghelli, G. Longo: A Calculus for Overloaded Functions with Subtyping. Extended Abstract, ACM, 1992
Context Doc 4 (0): L. Cardelli and G. Ghelli Ambient Groups and Mobility Types. Proc. of IFIP TCS'00.
Context Doc 4 (0): Ghelli, G. and Palmerini, D. 1999. Foundations of Extended Objets with Roles (extended abstract). In FOOL6. Available from http://www.cs.williams.edu/kim/FOOL/FOOL6.html.
Context Doc 4 (0): A. Albano, A. Dearle, G. Ghelli, C. Marlin, R. Morrison, R. Orsini, D. Stemple: A Framework for Comparing Type Systems for Database Programming Languages, in Type Systems and Database Programming Languages, University of St. Andrews, Dept. of Mathematical and Computational Sciences, Research Report CS/90/3, 1990
Context Doc 4 (0): Pierre-Louis Curien and Giorgio Ghelli. Subtyping + extensionality: Confluence of fijtop reduction in F . In T. Ito and A. R. Meyer, editors, Theoretical Aspects of Computer Software, volume 526 of Lecture Notes in Computer Science, pages 731--749, Berlin, 1991. Springer-Verlag.
Context Doc 3 (5): G. Conforti, G. Ghelli, A. Albano, D. Colazzo, P. Manghi, and C. Sartiani. The Query Language TQL. In Proc. of 5th International Workshop on Web and Databases (WebDB 2002.
Context Doc 3 (2): G. Conforti and G. Ghelli. Decidability of freshness, undecidability of revelation. In Foundations of Software Science and Computation Structures, FOSSACS 2004.
Context Doc 3 (0): P.-L. Curien and G. Ghelli. Subtyping + extensionality: confluence of bh- reductions in F . Proc. Theoretical Aspects of Computer Software. Sendai, Japan. Lecture Notes in Computer Science 526. Springer-Verlag.
Context Doc 3 (3): G. Ghelli. A class abstraction for a hierarchical type system. In Proc. of Intl. Conference of Database Theory (ICDT), volume 470 of LNCS, pages 56--71, Berlin, 1990. Springer-Verlag.
Context Doc 3 (3): A. Albano, G. Ghelli, and R. Orsini. Objects for a database programming language. In P. C. Kanellakis and J. W. Schmidt, editors, Proc. of the Third Intl. Workshop on Data Base Programming Languages (DBPL), Nafplion, Greece, pages 236--253, San Mateo, California, 1991. Morgan Kaufmann Publishers.
Context Doc 3 (0): Pierre-Louis Curien and Giorgio Ghelli. Subtyping + extensionality: Confluence of fij-reductions in F . In Ito and Meyer [IM91], pages 731--749.
Context Doc 3 (0): Pierre-Louis Curien and Giorgio Ghelli. Decidability and Confluence of fijtop Reduction in F . Information and Computation, 1/2:57--114, 1994.
Context Doc 2 (1): L. Cardelli and G. Ghelli. Tql: A query language for semistructured data based on the ambient logic. Mathematical Structures in Computer Science, 14:285--327, 2004.
Context Doc 2 (0): P.-L. Curien and G. Ghelli. Subtyping + extensionality: con uence of -reduction in f . In Theoretical Aspects of Computer Software, volume 526, 1991. Lecture Notes in Computer Sciences.
First 50 documents Next 50
The numbers before each article are the number of citations (excluding self-citations), and the predicted number of self-citations. 1000 citations were found, of which 199 were predicted to be self-citations. Self-citations are not included in the graph.
Try your query at: Google (CiteSeer) Google (Web) Yahoo! MSN CSB DBLP
CiteSeer.IST - Copyright Penn State and NEC