Fabio Alessi

List of publications from the DBLP Bibliography Server - FAQ
Other views: by type - by year (modern) - classic-C

Ask others: ACM DL/Guide -

- CSB - MetaPress - Google - Bing - Yahoo

	2008
j13		Fabio Alessi: An irregularfilter model. Theor. Comput. Sci. 398(1-3): 129-149 (2008)
c9		Fabio Alessi, Paula Severi: Recursive Domain Equations of Filter Models. SOFSEM 2008: 124-135
	2006
j12		Fabio Alessi, Franco Barbanera, Mariangiola Dezani-Ciancaglini: Intersection types and lambda models. Theor. Comput. Sci. 355(2): 108-126 (2006)
	2005
j11		Fabio Alessi, Mariangiola Dezani-Ciancaglini: Type Preorders and Recursive Terms. Electr. Notes Theor. Comput. Sci. 136: 3-21 (2005)
	2004
j10		Fabio Alessi, Mariangiola Dezani-Ciancaglini, Stefania Lusin: Intersection types and domain operators. Theor. Comput. Sci. 316(1): 25-47 (2004)
	2003
j9		Fabio Alessi, Franco Barbanera, Mariangiola Dezani-Ciancaglini: Intersection Types and Computational Rules. Electr. Notes Theor. Comput. Sci. 84: 45-59 (2003)
j8		Fabio Alessi, Paolo Baldan, Furio Honsell: A category of compositional domain-models for separable Stone spaces. Theor. Comput. Sci. 290(1): 599-635 (2003)
j7		Mariangiola Dezani-Ciancaglini, Furio Honsell, Fabio Alessi: A complete characterization of complete intersection-type preorders. ACM Trans. Comput. Log. 4(1): 120-147 (2003)
c8		Fabio Alessi, Franco Barbanera, Mariangiola Dezani-Ciancaglini: Tailoring Filter Models. TYPES 2003: 17-33
	2002
j6		Fabio Alessi, Stefania Lusin: Simple Easy Terms. Electr. Notes Theor. Comput. Sci. 70(1): 1-18 (2002)
	2001
c7		Fabio Alessi, Mariangiola Dezani-Ciancaglini, Furio Honsell: Filter Models and Easy Terms. ICTCS 2001: 17-37
	2000
c6		Mariangiola Dezani-Ciancaglini, Furio Honsell, Fabio Alessi: A Complete Characterization of the Complete Intersection-Type Theories. ICALP Satellite Workshops 2000: 287-302
i1		Mariangiola Dezani-Ciancaglini, Furio Honsell, Fabio Alessi: A Complete Characterization of Complete Intersection-Type Theories. CoRR cs.LO/0011039 (2000)
	1998
j5		Fabio Alessi, Paolo Baldan: A Characterization of Distance Between 1-Bounded Compact Ultrametic Spaces Through a Universal Space. Theor. Comput. Sci. 193(1-2): 113-127 (1998)
	1997
j4		Fabio Alessi, Mariangiola Dezani-Ciancaglini, Ugo de'Liguoro: A Convex Powerdomain over Lattices: Its Logic and lambda-Calculus. Fundam. Inform. 32(3-4): 193-250 (1997)
c5		Fabio Alessi, Paolo Baldan, Furio Honsell: Partializing Stone Spaces using SFP Domains (Extended Abstract). TAPSOFT 1997: 478-489
	1995
j3		Fabio Alessi, Paolo Baldan, Gianna Bellè, Jan J. M. M. Rutten: Solutions of functorial and non-functorial metric domain equations. Electr. Notes Theor. Comput. Sci. 1: 1-12 (1995)
j2		Fabio Alessi, Paolo Baldan, Gianna Bellè: A Fixed-Point Theorem in a Category of Compact Metric Spaces. Theor. Comput. Sci. 146(1&2): 311-320 (1995)
	1994
j1		Fabio Alessi, Franco Barbanera: Toward A Semantics for the Quest Language. ITA 28(6): 513-555 (1994)
c4		Fabio Alessi: Type Preorders. CAAP 1994: 37-51
c3		Fabio Alessi, Mariangiola Dezani-Ciancaglini, Ugo de'Liguoro: May and Must Convergencey in Concurrent Lambda-Calculus. MFCS 1994: 211-220
	1991
c2		Fabio Alessi, Franco Barbanera: Towards a Semantics for the QUEST Language. LICS 1991: 12-21
c1		Fabio Alessi, Franco Barbanera: Strong Conjunction and Intersection Types. MFCS 1991: 64-73

Coauthor Index

1	Paolo Baldan	[j8] [j5] [c5] [j3] [j2]
2	Franco Barbanera	[j12] [j9] [c8] [j1] [c2] [c1]
3	Gianna Bellè	[j3] [j2]
4	Mariangiola Dezani-Ciancaglini (Mariangiola Dezani)	[j12] [j11] [j10] [j9] [j7] [c8] [c7] [c6] [i1] [j4] [c3]
5	Furio Honsell	[j8] [j7] [c7] [c6] [i1] [c5]
6	Stefania Lusin	[j10] [j6]
7	Jan J. M. M. Rutten	[j3]
8	Paula Severi	[c9]
9	Ugo de'Liguoro	[j4] [c3]

Last update Sat May 25 06:15:49 2013 CET by the DBLP Team —

Data released under the ODC-BY 1.0 license — See also our legal information page