dblp.uni-trier.dewww.uni-trier.de

Elio Giovannetti Vis

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

*2008
24EEMariangiola Dezani-Ciancaglini, Roberto Di Cosmo, Elio Giovannetti, Makoto Tatsuta: On Isomorphisms of Intersection Types. CSL 2008: 461-477
23EEMario Coppo, Mariangiola Dezani-Ciancaglini, Elio Giovannetti: Types for ambient and process mobility. Mathematical Structures in Computer Science 18(2): 221-290 (2008)
2005
22EEMario 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
20EEElio Giovannetti: Type Inference for Mobile Ambients in Prolog. Electr. Notes Theor. Comput. Sci. 91: 96-115 (2004)
2003
19EEElio Giovannetti: Ambient Calculi with Types: A Tutorial. Global Computing 2003: 151-191
18EEMario Coppo, Mariangiola Dezani-Ciancaglini, Elio Giovannetti, Ivano Salvo: Mobility Types for Mobile Processes in Mobile Ambients. Electr. Notes Theor. Comput. Sci. 78: (2003)
2002
17EEMariangiola Dezani-Ciancaglini, Alain Frisch, Elio Giovannetti, Yoko Motohama: The Relevance of Semantic Subtyping. Electr. Notes Theor. Comput. Sci. 70(1): (2002)
2001
16EEMariangiola 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
12EEElio 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
9EEMarco 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
7EEPier 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
1EEMario Coppo, Elio Giovannetti: Completeness Results for a Polymorphic Type System. CAAP 1983: 179-190

Coauthor Index

1Marco Bellia [9]
2Pier Giorgio Bosco [2] [3] [6] [7] [8] [9] [11] [13] [15]
3Mario Coppo [1] [18] [21] [22] [23]
4Roberto Di Cosmo [24]
5Federico Cozzi [22]
6Mariangiola Dezani-Ciancaglini [16] [17] [18] [21] [22] [23] [24]
7Laura Ferrari [15]
8Alain Frisch [17]
9G. Giandonato [2]
10Giorgio Levi [8] [9] [14]
11Corrado Moiso [4] [5] [7] [8] [9] [10] [11] [13] [14] [15]
12Yoko Motohama [17]
13Catuscia Palamidessi [8] [9] [13] [14]
14Rosario Pugliese [21] [22]
15Ivano Salvo [18]
16Makoto Tatsuta [24]

Colors in the list of coauthors

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)