The SCEAS System
Navigation Menu
Introduction
Collection Based
Clustering
Ranking
Paper Based
Journals
Conferences
DB Status
Statistics
Search

Search the dblp DataBase

Title:
Author:
Elio Giovannetti: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Pier Giorgio Bosco, Elio Giovannetti
    A Prolog-Compiled Higher-Order Functional and Logic Language. [Citation Graph (0, 0)][DBLP]
    AIMSA, 1986, pp:105-116 [Conf]
  2. Elio Giovannetti, Corrado Moiso
    Some Aspects of the Integration between Logic Programming and Fiunctional Programming. [Citation Graph (0, 0)][DBLP]
    AIMSA, 1986, pp:69-79 [Conf]
  3. Elio Giovannetti
    Narrowing and Resolution in Logic-Functional programming Languages (Abstract). [Citation Graph (0, 0)][DBLP]
    ALP, 1988, pp:30- [Conf]
  4. Mario Coppo, Federico Cozzi, Mariangiola Dezani-Ciancaglini, Elio Giovannetti, Rosario Pugliese
    A Mobility Calculus with Local and Dependent Types. [Citation Graph (0, 0)][DBLP]
    Processes, Terms and Cycles, 2005, pp:404-444 [Conf]
  5. Mario Coppo, Elio Giovannetti
    Completeness Results for a Polymorphic Type System. [Citation Graph (0, 0)][DBLP]
    CAAP, 1983, pp:179-190 [Conf]
  6. Elio Giovannetti, Corrado Moiso
    Notes on the Elimination of Conditions. [Citation Graph (0, 0)][DBLP]
    CTRS, 1987, pp:91-97 [Conf]
  7. Elio Giovannetti, Corrado Moiso
    A Completeness Result for E-unification Algorithms Based on Conditional Narrowing. [Citation Graph (0, 0)][DBLP]
    Foundations of Logic and Functional Programming, 1986, pp:157-167 [Conf]
  8. Elio Giovannetti
    Ambient Calculi with Types: A Tutorial. [Citation Graph (0, 0)][DBLP]
    Global Computing, 2003, pp:151-191 [Conf]
  9. Pier Giorgio Bosco, G. Giandonato, Elio Giovannetti
    A Prolog System for the Verification of Concurrent Processes Against Temporal Logic Specifications. [Citation Graph (0, 0)][DBLP]
    ICLP, 1984, pp:219-229 [Conf]
  10. Pier Giorgio Bosco, Laura Ferrari, Elio Giovannetti, Corrado Moiso
    An Overview of ALCOHOL: an Applicative Logic Concurrent Object-oriented Higher-Order Language. [Citation Graph (0, 0)][DBLP]
    IFIP Congress (1), 1992, pp:142-148 [Conf]
  11. Mario Coppo, Mariangiola Dezani-Ciancaglini, Elio Giovannetti, Rosario Pugliese
    Dynamic and Local Typing for Mobile Ambients. [Citation Graph (0, 0)][DBLP]
    IFIP TCS, 2004, pp:577-590 [Conf]
  12. Marco Bellia, Pier Giorgio Bosco, Elio Giovannetti, Giorgio Levi, Corrado Moiso, Catuscia Palamidessi
    A Two-Level Approach to Logic plus Functional Programming Integration. [Citation Graph (0, 0)][DBLP]
    PARLE (1), 1987, pp:374-393 [Conf]
  13. Pier Giorgio Bosco, Elio Giovannetti
    IDEAL: An Ideal Deductive Applicative Language. [Citation Graph (0, 0)][DBLP]
    SLP, 1986, pp:89-94 [Conf]
  14. Giorgio Levi, Catuscia Palamidessi, Pier Giorgio Bosco, Elio Giovannetti, Corrado Moiso
    A Complete Semantic Characterization of K-Leaf: A Logic Language with Partial Functions. [Citation Graph (0, 0)][DBLP]
    SLP, 1987, pp:318-327 [Conf]
  15. Pier Giorgio Bosco, Elio Giovannetti, Corrado Moiso
    Refined Strategies for Semantic Unification. [Citation Graph (0, 0)][DBLP]
    TAPSOFT, Vol.2, 1987, pp:276-290 [Conf]
  16. Mario Coppo, Mariangiola Dezani-Ciancaglini, Elio Giovannetti, Ivano Salvo
    Mobility Types for Mobile Processes in Mobile Ambients. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2003, v:78, n:, pp:- [Journal]
  17. Mariangiola Dezani-Ciancaglini, Alain Frisch, Elio Giovannetti, Yoko Motohama
    The Relevance of Semantic Subtyping. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2002, v:70, n:1, pp:- [Journal]
  18. Mariangiola Dezani-Ciancaglini, Elio Giovannetti
    From Bohm's Theorem to Observational Equivalences: an Informal Account. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2001, v:50, n:2, pp:- [Journal]
  19. Elio Giovannetti
    Type Inference for Mobile Ambients in Prolog. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2004, v:91, n:, pp:96-115 [Journal]
  20. Elio Giovannetti, Giorgio Levi, Corrado Moiso, Catuscia Palamidessi
    Kernel-LEAF: A Logic plus Functional Language. [Citation Graph (0, 0)][DBLP]
    J. Comput. Syst. Sci., 1991, v:42, n:2, pp:139-185 [Journal]
  21. Pier Giorgio Bosco, Elio Giovannetti, Corrado Moiso, Catuscia Palamidessi
    Comments on "Logic-Programming with Equations". [Citation Graph (0, 0)][DBLP]
    J. Log. Program., 1991, v:11, n:1&2, pp:85-89 [Journal]
  22. Pier Giorgio Bosco, Elio Giovannetti, Corrado Moiso
    Narrowing vs. SLD-Resolution. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1988, v:59, n:, pp:3-23 [Journal]

  23. On Isomorphisms of Intersection Types. [Citation Graph (, )][DBLP]


Search in 0.002secs, Finished in 0.303secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
Introduction Collection Based Clustering Ranking Paper Based Journals Conferences DB Status Statistics Search
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002