- CSB - MetaPress - Google - Bing - Yahoo
 | 2010 | |
|---|---|---|
| j9 |      | Mariangiola Dezani-Ciancaglini, Roberto Di Cosmo, Elio Giovannetti, Makoto Tatsuta: On isomorphisms of intersection types. ACM Trans. Comput. Log. 11(4) (2010) |
| 2008 | ||
| j8 | | Mario Coppo, Mariangiola Dezani-Ciancaglini, Elio Giovannetti: Types for ambient and process mobility. Mathematical Structures in Computer Science 18(2): 221-290 (2008) |
| c16 | | Mariangiola Dezani-Ciancaglini, Roberto Di Cosmo, Elio Giovannetti, Makoto Tatsuta: On Isomorphisms of Intersection Types. CSL 2008: 461-477 |
| 2005 | ||
| c15 | | Mario Coppo, Federico Cozzi, Mariangiola Dezani-Ciancaglini, Elio Giovannetti, Rosario Pugliese: A Mobility Calculus with Local and Dependent Types. Processes, Terms and Cycles 2005: 404-444 |
| 2004 | ||
| j7 | | Elio Giovannetti: Type Inference for Mobile Ambients in Prolog. Electr. Notes Theor. Comput. Sci. 91: 96-115 (2004) |
| c14 |  | Mario Coppo, Mariangiola Dezani-Ciancaglini, Elio Giovannetti, Rosario Pugliese: Dynamic and Local Typing for Mobile Ambients. IFIP TCS 2004: 577-590 |
| 2003 | ||
| j6 | | Mario Coppo, Mariangiola Dezani-Ciancaglini, Elio Giovannetti, Ivano Salvo: Mobility Types for Mobile Processes in Mobile Ambients. Electr. Notes Theor. Comput. Sci. 78: 144-177 (2003) |
| c13 | | |
| 2002 | ||
| j5 | | Mariangiola Dezani-Ciancaglini, Alain Frisch, Elio Giovannetti, Yoko Motohama: The Relevance of Semantic Subtyping. Electr. Notes Theor. Comput. Sci. 70(1): 88-105 (2002) |
| 2001 | ||
| j4 | | Mariangiola Dezani-Ciancaglini, Elio Giovannetti: From Bohm's Theorem to Observational Equivalences: an Informal Account. Electr. Notes Theor. Comput. Sci. 50(2): 83-116 (2001) |
| 1992 | ||
| c12 | | Pier Giorgio Bosco, Laura Ferrari, Elio Giovannetti, Corrado Moiso: An Overview of ALCOHOL: an Applicative Logic Concurrent Object-oriented Higher-Order Language. IFIP Congress (1) 1992: 142-148 |
| 1991 | ||
| j3 | | Elio Giovannetti, Giorgio Levi, Corrado Moiso, Catuscia Palamidessi: Kernel-LEAF: A Logic plus Functional Language. J. Comput. Syst. Sci. 42(2): 139-185 (1991) |
| j2 | | Pier Giorgio Bosco, Elio Giovannetti, Corrado Moiso, Catuscia Palamidessi: Comments on "Logic-Programming with Equations". J. Log. Program. 11(1&2): 85-89 (1991) |
| 1988 | ||
| j1 | | Pier Giorgio Bosco, Elio Giovannetti, Corrado Moiso: Narrowing vs. SLD-Resolution. Theor. Comput. Sci. 59: 3-23 (1988) |
| c11 | | Elio Giovannetti: Narrowing and Resolution in Logic-Functional programming Languages (Abstract). ALP 1988: 30 |
| 1987 | ||
| c10 | | |
| c9 | | Marco Bellia, Pier Giorgio Bosco, Elio Giovannetti, Giorgio Levi, Corrado Moiso, Catuscia Palamidessi: A Two-Level Approach to Logic plus Functional Programming Integration. PARLE (1) 1987: 374-393 |
| c8 | | Giorgio Levi, Catuscia Palamidessi, Pier Giorgio Bosco, Elio Giovannetti, Corrado Moiso: A Complete Semantic Characterization of K-Leaf: A Logic Language with Partial Functions. SLP 1987: 318-327 |
| c7 | | Pier Giorgio Bosco, Elio Giovannetti, Corrado Moiso: Refined Strategies for Semantic Unification. TAPSOFT, Vol.2 1987: 276-290 |
| 1986 | ||
| c6 | | Elio Giovannetti, Corrado Moiso: Some Aspects of the Integration between Logic Programming and Fiunctional Programming. AIMSA 1986: 69-79 |
| c5 | | Pier Giorgio Bosco, Elio Giovannetti: A Prolog-Compiled Higher-Order Functional and Logic Language. AIMSA 1986: 105-116 |
| c4 | | Elio Giovannetti, Corrado Moiso: A Completeness Result for E-unification Algorithms Based on Conditional Narrowing. Foundations of Logic and Functional Programming 1986: 157-167 |
| c3 | | Pier Giorgio Bosco, Elio Giovannetti: IDEAL: An Ideal Deductive Applicative Language. SLP 1986: 89-94 |
| 1984 | ||
| c2 | | Pier Giorgio Bosco, G. Giandonato, Elio Giovannetti: A Prolog System for the Verification of Concurrent Processes Against Temporal Logic Specifications. ICLP 1984: 219-229 |
| 1983 | ||
| c1 | | Mario Coppo, Elio Giovannetti: Completeness Results for a Polymorphic Type System. CAAP 1983: 179-190 |
Colors in the list of coauthors
Last update Fri May 24 06:55:22 2013 CET by the DBLP Team —
Data released under the ODC-BY 1.0 license — See also our legal information page