| Searching for liquori. |
259 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 20 (13): Viviana Bono, Michele Bugliesi, Mariangiola Dezani, and Luigi Liquori. Subtyping constraints for incomplete objects. In CAAP, Lecture Notes in Computer Science. Springer-Verlag, 1997.
Context Doc 12 (9): Luigi Liquori. An extended theory of primitive objects: First order system. In M. Aksit and S. Matsuoka, editors, Proceedings of ECOOP-97, International European Conference on Object Oriented Programming, number 1241 in Lecture Notes in Computer Science. Springer-Verlag, 1997.
Context Doc 10 (1): Luigi Liquori. An extended theory of primitive objects: First and second order systems. Technical Report CS-23-96, Dipartimento di Informatica, Universit a di Torino, 1996.
Context Doc 8 (11): Viviana Bono, Michele Bugliesi, and Luigi Liquori. A lambda calculus of incomplete objects. In Proceedings, Mathematical Foundations of Computer Science, volume 1113 of Lecture Notes in Computer Science, pages 218--229. Springer-Verlag, 1996.
Context Doc 7 (8): M. Bugliesi, G. Delzanno, L. Liquori, and M. Martelli. A Linear Logic Calculus of Objects. In M. Maher, editor, Proc. of JICSLP'96, pages 67--81. The MIT Press, 1996.
Context Doc 7 (26): V. Bono and L. Liquori. A Subtyping for the Fisher-Honsell-Mitchell Lambda Calculus of Objects. In Proc. of CSL'94, volume 933 of LNCS, pages 16--30. Springer-Verlag, 1995.
Context Doc 4 (7): L. Liquori and G. Castagna. A Typed Lambda Calculus of Objects. In Proc. of Asian'96, volume 1179 of LNCS, pages 129--141. Springer-Verlag, 1996.
Context Doc 3 (1): P. Di Gianantonio, F. Honsell, and L. Liquori. A Lambda Calculus of Objects with Self-inflicted Extension. In Proc. of ACM-SIGPLAN OOPSLA, International Symposium on Object Oriented, Programming, System, Languages and Applications, pages 166--178. The ACM Press, 1998.
Context Doc 3 (3): H. Cirstea, C. Kirchner, and L. Liquori. Matching Power. In A. Middeldorp, editor, Proceedings 12th Conference on Rewriting Techniques and Applications, RTA 2001, Utrecht, The Netherlands, volume 2051 of Lecture Notes in Computer Science, pages 77--92. Springer-Verlag, 2001.
Context Doc 3 (0): Di Gianantonio, P., Honsell, F., and Liquori, L. 1998. A Lambda Calculus of Objects with Self-in icted Extension. In OOPSLA'98. ACM Press, New York, 166-178.
Context Doc 3 (1): H. Cirstea, C. Kirchner, and L. Liquori. The Rho Cube. Proc. FoSSaCS'01, LNCS 2030, pp. 168--183. Springer, 2001.
Context Doc 3 (0): Horatiu Cirstea, Claude Kirchner, and Luigi Liquori. The rho cube. In F. Honsell and M. Miculan, editors, Foundations of Software Science and Computation Structures, 4th International Conference, FOSSACS
Context Doc 2 (0): Viviana Bono and Luigi Liquori. A subtyping for the Fisher-HonsellMitchell calculus of objects. In Proceedings, Computer Science Logic 1994.
Context Doc 2 (0): F. Lang, P. Lescanne, and L. Liquori. A framework for defining object-calculi. In Proc. of World Congress on Formal Methods (FM) (Volume II), Toulouse, France, volume 1709 of LNCS, pages 963--982, Berlin, 1999. Springer-Verlag.
Context Doc 2 (3): L. Liquori. An Extended Theory of Primitive Objects. Technical Report CS-23-96, Computer Science Department, Turin University, Italy, 1996.
Context Doc 2 (2): P. Di Gianantonio, F. Honsell, and L. Liquori. A Lambda Calculus of Objects with Self-in icted Extension. In Object-Oriented Programming, Systems, Languages, and Applications, pages 166-178. The ACM Press, 1998.
Context Doc 2 (0): H. Cirstea and C. Kirchner and L. Liquori. The Rho Cube. In Proc. of FOSSACS '01, Foundations of Software Science and Computation Structures. Genova, Italie. Lecture Notes in Computer Science to appear, Springer Verlag, 2001.
Context Doc 2 (2): L. Liquori. On Object Extension. In Proc. of ECOOP, European Conference on Object Oriented Programming, volume 1445 of Lecture Notes in Computer Sciences, pages 498--552. Springer Verlag, 1998.
Context Doc 2 (0): L. Liquori. An Extended Theory of Primitive Objects: First Oder System. In Proc. of ECOOP, volume 1241 of LNCS, pages 146--169. Springer-Verlag, 1997.
Context Doc 1 (1): M. Bugliesi, G. Delzanno, L. Liquori, M. Martelli. Object Calculi in Linear Logic. Journal of Logics and Computation, 10(1): 75-104, 2000.
Context Doc 1 (0): Horatiu Cirstea, Luigi Liquori, and Benjamin Wack. Rewriting calculus with fixpoints: Untyped and first-order systems. In Postprocededings of TYPES, 2003.
Context Doc 1 (1): Gilles Barthe, Horatiu Cirstea, Claude Kirchner, and Luigi Liquori. Pure Patterns Type Systems. In Principles of Programming Languages - POPL2003.
Context Doc 1 (0): L. Liquori and A.Spiwack. Featherweight-Trait Java, A Trait-based Extension for FJ. 2004, http://www-sop.inria.fr/mirho/Luigi.Liquori/PAPERS/ftj.ps.gz.
Context Doc 1 (0): A. Cia#aglione, L. Liquori, and M. Miculan. The Web Appendix of this paper, 2003. http://www.dimi. uniud.it/~ciaffagl/Objects/Imp-varsigma.tar.gz.
Context Doc 1 (0): A. Cia#aglione, L. Liquori, and M. Miculan. Formalization of imperative object-calculi in (co)inductive type theories. Submitted, 2003.
Context Doc 1 (0): MacGregor, R., Ezvan, C, and Liquori, L., Eds. Secure Electronic Transactions: Credit Card Payment on the Web in Theory and Practice. SG244978 -00 Redbook, IBM, International Technical Support Organization, Raleigh, NC, July 2, 1997; see www.redbooks.ibm.com/.
Context Doc 1 (1): G. Castagna and L. Liquori. Multi-methods in delegation-based objectoriented languages. Manuscript, 1996.
Context Doc 1 (7): V. Bono, M. Bugliesi, M. Dezani-Ciancaglini, and L. Liquori. A Subtyping for Extensible, Incomplete Objects. Fundamenta Informaticae, 38(4):325-- 364, 1999.
Context Doc 1 (4): L. Liquori. Bounded Polymorphism for Extensible Objects. Technical Report CS-24-96, Computer Science Department, University of Turin, Italy, 1996.
Context Doc 1 (3): F. Lang, P. Lescanne, and L. Liquori. A framework for dening object-calculi (extended abstract). In J.M. Wing, J. Woodcook, and J. Davies, editors, World Congress on Formal Methods in the Design of Computing Systems, number 1709 in Lecture Notes in Computer Science, pages 963-982. Springer-Verlag, 1999.
Context Doc 1 (2): S. van Bakel, L. Liquori, S. Ronchi della Rocca, and P. Urzyczyn. Comparing Cubes. In Nerode A. and Matiyasevich Yu.V., editors, Proceedings of Third International Symposium on Logical Foundations of Computer Science, volume 813 of Lecture Notes in Computer Science, pages 353--365. Springer-Verlag, 1994.
Context Doc 1 (0): Alberto Cia#aglione, Luigi Liquori, and Marino Miculan. On the formalization of imperative object-based calculi in (co)inductive type theories. Research Report RR-4812, INRIA, 2003.
Context Doc 1 (0): P. Di Gianantonio, F. Honsell, L. Liquori, A lambda-calculus of objects with selfinAEicted extension, OOPSLA'98, ACM SIGPLAN Notices Vol 33, No 10 (1998) 166-178.
Context Doc 1 (0): P. Di Gianantonio, F. Honsell, and L. Liquori. A lambda calculus of objects with self-inflicted extension. In OOPSLA'98, pages 166--178. ACM press, 1998.
Context Doc 1 (0): Domain-Free Pure Type Systems 35 van Bakel, S., Liquori, L., Ronchi della Roncha, S., & Urzyczyn, P. (1994). Comparing cubes. Pages 353--365 of: Nerode, A., & Matiyasevich, Y.N. (eds), Proceedings of LFCS'94. Lecture Notes in Computer Science, vol. 813. Springer-Verlag.
Context Doc 1 (0): Liquori L. (1997). An extended Theory of Primitive Types. In: [Askit & Matsuoka 97].
Context Doc 1 (0): A. M. Liquori, A. Ripamonti, C. Sadun, S. Ottani, and D. Braga. Pattern recognition of sequence similarities in globular proteins by fourier analysis: A novel approach to molecular evolution. J. of Molecular Evolution, 23:80--87, 1986.
Context Doc 1 (0): M. Bugliesi, G. Delzano, L. Liquori, M. Martelli, , to appear in , 1996.
Context Doc 0 (1): L. Liquori and M. Miculan. Formal semantics and certified compilers for the language FunTalk. Proposition pour equipes associes, http://www.loria.fr/ lliquori/PAPERS/miro-slp.ps.gz, 2001.
Context Doc 0 (1): V. Bono, M. Bugliesi, and L. Liquori. A Lambda Calculus of Incomplete Objects. Proc. International Conference of MFCS-96, Mathematical Foundation of Computer Science, 1996, Lecture Notes in Computer Science Springer-Verlag, 1996.
Context Doc 0 (1): A. Cia#aglione, L. Liquori, and M. Miculan. Imperative object-calculi in (co)inductive type theories. In Proc. of LPAR, LNAI (to appear), 2003.
Context Doc 0 (1): A. Cia#aglione, P. Di Gianantonio, F. Honsell, and L. Liquori. Foundations for dynamic object re-classification. Technical Report 03, Dipartimento di Matematica e Informatica, Universita di Udine, 2003.
Context Doc 0 (2): L. Liquori. Type Assigment Systems for Lambda Calculi and for the Lambda Calculus of Objects. PhD thesis, University of Turin, February 1996.
Context Doc 0 (2): V. Bono, M. Bugliesi, and L. Liquori. A Calculus of Incomplete objects with Subtyping. In preparation.
Context Doc 0 (2): F. Lang, P. Lescanne, and L. Liquori. A framework for dening object-calculi. Technical Report RR1998-51, Laboratoire de l'informatique du parallelisme, ENS de Lyon, France, 1998.
Context Doc 0 (1): L. Liquori. An extended theory of primitive objects: First and second order systems. Technical Report CS-23-96, Dipartimento di Informatica, Universit`a di Torino, 1996. A portion of this work appears in ECOOP'97 Proceedings, LNCS 1241.
Context Doc 0 (1): L. Liquori. The Deep Blue Calculus. Manuscrit, 9 pages. http://www.loria.fr/PAPERS/ deep-blue.ps.gz. Teaching Activities since 1998 - 11 4 Teaching Activities since 1998 Note. The Italian law forbids teaching to Ph.D. and Post-Doc Students, since they suppose that students are only involved in research.
Context Doc 0 (2): P. Di Gianantonio, L. Liquori and F. Honsell. A Lambda Calculus of Objects with SelfIn icted Extension. Version etendue de [3].
Context Doc 0 (1): L. Liquori. Semantica e Pragmatica di un Linguaggio Funzionale con le Continuazioni Esplicite, Ms thesis, Departement de Mathematique et Informatique, Universite de Udine, Italie, 1990. En Italien (74 pp.).
Context Doc 0 (1): D. Bacchiega, D. Gotta, L. Liquori and R. Rossi. MOMIX-emSDH2. Simulatore di Agent di Element Manager SDH2.0. Versione 2.2.3. Manuale Utente e Guida di Riferimento. Rapport technique DTR 97.0413, CSELT, Centro Studi e Laboratori Telecomunicazioni, Centre de Recherche Telecom Italia, Turin, Italie, 1997. En Italien.
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. 259 citations were found, of which 143 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