| 2008 |
|---|
| 24 | EE | Mariangiola Dezani-Ciancaglini,
Roberto Di Cosmo,
Elio Giovannetti,
Makoto Tatsuta:
On Isomorphisms of Intersection Types.
CSL 2008: 461-477 |
| 23 | EE | Mario Coppo,
Mariangiola Dezani-Ciancaglini,
Elio Giovannetti:
Types for ambient and process mobility.
Mathematical Structures in Computer Science 18(2): 221-290 (2008) |
| 2005 |
|---|
| 22 | EE | 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 |
|---|
| 21 | | Mario Coppo,
Mariangiola Dezani-Ciancaglini,
Elio Giovannetti,
Rosario Pugliese:
Dynamic and Local Typing for Mobile Ambients.
IFIP TCS 2004: 577-590 |
| 20 | EE | Elio Giovannetti:
Type Inference for Mobile Ambients in Prolog.
Electr. Notes Theor. Comput. Sci. 91: 96-115 (2004) |
| 2003 |
|---|
| 19 | EE | Elio Giovannetti:
Ambient Calculi with Types: A Tutorial.
Global Computing 2003: 151-191 |
| 18 | EE | Mario Coppo,
Mariangiola Dezani-Ciancaglini,
Elio Giovannetti,
Ivano Salvo:
Mobility Types for Mobile Processes in Mobile Ambients.
Electr. Notes Theor. Comput. Sci. 78: (2003) |
| 2002 |
|---|
| 17 | EE | Mariangiola Dezani-Ciancaglini,
Alain Frisch,
Elio Giovannetti,
Yoko Motohama:
The Relevance of Semantic Subtyping.
Electr. Notes Theor. Comput. Sci. 70(1): (2002) |
| 2001 |
|---|
| 16 | EE | Mariangiola Dezani-Ciancaglini,
Elio Giovannetti:
From Bohm's Theorem to Observational Equivalences: an Informal Account.
Electr. Notes Theor. Comput. Sci. 50(2): (2001) |
| 1992 |
|---|
| 15 | | 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 |
|---|
| 14 | | Elio Giovannetti,
Giorgio Levi,
Corrado Moiso,
Catuscia Palamidessi:
Kernel-LEAF: A Logic plus Functional Language.
J. Comput. Syst. Sci. 42(2): 139-185 (1991) |
| 13 | | 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 |
|---|
| 12 | | Elio Giovannetti:
Narrowing and Resolution in Logic-Functional programming Languages (Abstract).
ALP 1988: 30 |
| 11 | | Pier Giorgio Bosco,
Elio Giovannetti,
Corrado Moiso:
Narrowing vs. SLD-Resolution.
Theor. Comput. Sci. 59: 3-23 (1988) |
| 1987 |
|---|
| 10 | | Elio Giovannetti,
Corrado Moiso:
Notes on the Elimination of Conditions.
CTRS 1987: 91-97 |
| 9 | | 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 |
| 8 | | 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 |
| 7 | | Pier Giorgio Bosco,
Elio Giovannetti,
Corrado Moiso:
Refined Strategies for Semantic Unification.
TAPSOFT, Vol.2 1987: 276-290 |
| 1986 |
|---|
| 6 | | Pier Giorgio Bosco,
Elio Giovannetti:
A Prolog-Compiled Higher-Order Functional and Logic Language.
AIMSA 1986: 105-116 |
| 5 | | Elio Giovannetti,
Corrado Moiso:
Some Aspects of the Integration between Logic Programming and Fiunctional Programming.
AIMSA 1986: 69-79 |
| 4 | | Elio Giovannetti,
Corrado Moiso:
A Completeness Result for E-unification Algorithms Based on Conditional Narrowing.
Foundations of Logic and Functional Programming 1986: 157-167 |
| 3 | | Pier Giorgio Bosco,
Elio Giovannetti:
IDEAL: An Ideal Deductive Applicative Language.
SLP 1986: 89-94 |
| 1984 |
|---|
| 2 | | 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 |
|---|
| 1 | | Mario Coppo,
Elio Giovannetti:
Completeness Results for a Polymorphic Type System.
CAAP 1983: 179-190 |
