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

Search the dblp DataBase

Title:
Author:
Fabio Alessi: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Fabio Alessi
    Type Preorders. [Citation Graph (0, 0)][DBLP]
    CAAP, 1994, pp:37-51 [Conf]
  2. Mariangiola Dezani-Ciancaglini, Furio Honsell, Fabio Alessi
    A Complete Characterization of the Complete Intersection-Type Theories. [Citation Graph (0, 0)][DBLP]
    ICALP Satellite Workshops, 2000, pp:287-302 [Conf]
  3. Fabio Alessi, Mariangiola Dezani-Ciancaglini, Furio Honsell
    Filter Models and Easy Terms. [Citation Graph (0, 0)][DBLP]
    ICTCS, 2001, pp:17-37 [Conf]
  4. Fabio Alessi, Franco Barbanera
    Towards a Semantics for the QUEST Language [Citation Graph (0, 0)][DBLP]
    LICS, 1991, pp:12-21 [Conf]
  5. Fabio Alessi, Franco Barbanera
    Strong Conjunction and Intersection Types. [Citation Graph (0, 0)][DBLP]
    MFCS, 1991, pp:64-73 [Conf]
  6. Fabio Alessi, Mariangiola Dezani-Ciancaglini, Ugo de'Liguoro
    May and Must Convergencey in Concurrent Lambda-Calculus. [Citation Graph (0, 0)][DBLP]
    MFCS, 1994, pp:211-220 [Conf]
  7. Fabio Alessi, Paolo Baldan, Furio Honsell
    Partializing Stone Spaces using SFP Domains (Extended Abstract). [Citation Graph (0, 0)][DBLP]
    TAPSOFT, 1997, pp:478-489 [Conf]
  8. Fabio Alessi, Franco Barbanera, Mariangiola Dezani-Ciancaglini
    Tailoring Filter Models. [Citation Graph (0, 0)][DBLP]
    TYPES, 2003, pp:17-33 [Conf]
  9. Mariangiola Dezani-Ciancaglini, Furio Honsell, Fabio Alessi
    A Complete Characterization of Complete Intersection-Type Theories [Citation Graph (0, 0)][DBLP]
    CoRR, 2000, v:0, n:, pp:- [Journal]
  10. Fabio Alessi, Paolo Baldan, Gianna Bellè, Jan J. M. M. Rutten
    Solutions of functorial and non-functorial metric domain equations. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 1995, v:1, n:, pp:- [Journal]
  11. Fabio Alessi, Franco Barbanera, Mariangiola Dezani-Ciancaglini
    Intersection Types and Computational Rules. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2003, v:84, n:, pp:- [Journal]
  12. Fabio Alessi, Mariangiola Dezani-Ciancaglini
    Type Preorders and Recursive Terms. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2005, v:136, n:, pp:3-21 [Journal]
  13. Fabio Alessi, Stefania Lusin
    Simple Easy Terms. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2002, v:70, n:1, pp:- [Journal]
  14. Fabio Alessi, Mariangiola Dezani-Ciancaglini, Ugo de'Liguoro
    A Convex Powerdomain over Lattices: Its Logic and lambda-Calculus. [Citation Graph (0, 0)][DBLP]
    Fundam. Inform., 1997, v:32, n:3-4, pp:193-250 [Journal]
  15. Fabio Alessi, Franco Barbanera
    Toward A Semantics for the Quest Language. [Citation Graph (0, 0)][DBLP]
    ITA, 1994, v:28, n:6, pp:513-555 [Journal]
  16. Fabio Alessi, Paolo Baldan
    A Characterization of Distance Between 1-Bounded Compact Ultrametic Spaces Through a Universal Space. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1998, v:193, n:1-2, pp:113-127 [Journal]
  17. Fabio Alessi, Paolo Baldan, Gianna Bellè
    A Fixed-Point Theorem in a Category of Compact Metric Spaces. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1995, v:146, n:1&2, pp:311-320 [Journal]
  18. Fabio Alessi, Franco Barbanera, Mariangiola Dezani-Ciancaglini
    Intersection types and lambda models. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 2006, v:355, n:2, pp:108-126 [Journal]
  19. Fabio Alessi, Paolo Baldan, Furio Honsell
    A category of compositional domain-models for separable Stone spaces. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 2003, v:290, n:1, pp:599-635 [Journal]
  20. Fabio Alessi, Mariangiola Dezani-Ciancaglini, Stefania Lusin
    Intersection types and domain operators. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 2004, v:316, n:1, pp:25-47 [Journal]
  21. Mariangiola Dezani-Ciancaglini, Furio Honsell, Fabio Alessi
    A complete characterization of complete intersection-type preorders. [Citation Graph (0, 0)][DBLP]
    ACM Trans. Comput. Log., 2003, v:4, n:1, pp:120-147 [Journal]

  22. Recursive Domain Equations of Filter Models. [Citation Graph (, )][DBLP]


Search in 0.003secs, Finished in 0.004secs
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