Fabio Alessi

	2008
23		Fabio Alessi, Paula Severi: Recursive Domain Equations of Filter Models. SOFSEM 2008: 124-135
22		Fabio Alessi: An irregularfilter model. Theor. Comput. Sci. 398(1-3): 129-149 (2008)
	2006
21		Fabio Alessi, Franco Barbanera, Mariangiola Dezani-Ciancaglini: Intersection types and lambda models. Theor. Comput. Sci. 355(2): 108-126 (2006)
	2005
20		Fabio Alessi, Mariangiola Dezani-Ciancaglini: Type Preorders and Recursive Terms. Electr. Notes Theor. Comput. Sci. 136: 3-21 (2005)
	2004
19		Fabio Alessi, Mariangiola Dezani-Ciancaglini, Stefania Lusin: Intersection types and domain operators. Theor. Comput. Sci. 316(1): 25-47 (2004)
	2003
18		Fabio Alessi, Franco Barbanera, Mariangiola Dezani-Ciancaglini: Tailoring Filter Models. TYPES 2003: 17-33
17		Mariangiola Dezani-Ciancaglini, Furio Honsell, Fabio Alessi: A complete characterization of complete intersection-type preorders. ACM Trans. Comput. Log. 4(1): 120-147 (2003)
16		Fabio Alessi, Franco Barbanera, Mariangiola Dezani-Ciancaglini: Intersection Types and Computational Rules. Electr. Notes Theor. Comput. Sci. 84: (2003)
15		Fabio Alessi, Paolo Baldan, Furio Honsell: A category of compositional domain-models for separable Stone spaces. Theor. Comput. Sci. 290(1): 599-635 (2003)
	2002
14		Fabio Alessi, Stefania Lusin: Simple Easy Terms. Electr. Notes Theor. Comput. Sci. 70(1): (2002)
	2001
13		Fabio Alessi, Mariangiola Dezani-Ciancaglini, Furio Honsell: Filter Models and Easy Terms. ICTCS 2001: 17-37
	2000
12		Mariangiola Dezani-Ciancaglini, Furio Honsell, Fabio Alessi: A Complete Characterization of the Complete Intersection-Type Theories. ICALP Satellite Workshops 2000: 287-302
11		Mariangiola Dezani-Ciancaglini, Furio Honsell, Fabio Alessi: A Complete Characterization of Complete Intersection-Type Theories CoRR cs.LO/0011039: (2000)
	1998
10		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
9		Fabio Alessi, Paolo Baldan, Furio Honsell: Partializing Stone Spaces using SFP Domains (Extended Abstract). TAPSOFT 1997: 478-489
8		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)
	1995
7		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: (1995)
6		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
5		Fabio Alessi: Type Preorders. CAAP 1994: 37-51
4		Fabio Alessi, Mariangiola Dezani-Ciancaglini, Ugo de'Liguoro: May and Must Convergencey in Concurrent Lambda-Calculus. MFCS 1994: 211-220
3		Fabio Alessi, Franco Barbanera: Toward A Semantics for the Quest Language. ITA 28(6): 513-555 (1994)
	1991
2		Fabio Alessi, Franco Barbanera: Towards a Semantics for the QUEST Language LICS 1991: 12-21
1		Fabio Alessi, Franco Barbanera: Strong Conjunction and Intersection Types. MFCS 1991: 64-73

Coauthor Index

1	Paolo Baldan	[6] [7] [9] [10] [15]
2	Franco Barbanera	[1] [2] [3] [16] [18] [21]
3	Gianna Bellè	[6] [7]
4	Mariangiola Dezani-Ciancaglini	[4] [8] [11] [12] [13] [16] [17] [18] [19] [20] [21]
5	Furio Honsell	[9] [11] [12] [13] [15] [17]
6	Stefania Lusin	[14] [19]
7	Jan J. M. M. Rutten	[7]
8	Paula Severi	[23]
9	Ugo de'Liguoro	[4] [8]