Paola Giannini

2008
31	EE	Ferruccio Damiani, Elena Giachino, Paola Giannini, Sophia Drossopoulou: A type safe state abstraction for coordination in Java -like languages. Acta Inf. 45(7-8): 479-536 (2008)
30	EE	Ferruccio Damiani, Elena Giachino, Paola Giannini: Alias Types and Effects for "Environment-aware" Computations. Fundam. Inform. 88(1-2): 63-107 (2008)
2007
29	EE	Davide Ancona, Christopher Anderson, Ferruccio Damiani, Sophia Drossopoulou, Paola Giannini, Elena Zucca: A provenly correct translation of Fickle into Java. ACM Trans. Program. Lang. Syst. 29(2): (2007)
2006
28		Ferruccio Damiani, Elena Giachino, Paola Giannini, Emanuele Cazzola: On state classes and their dynamic semantics. ICSOFT (1) 2006: 5-12
27	EE	Paola Giannini, Davide Sangiorgi, Andrea Valente: Safe Ambients: Abstract machine and distributed implementation. Sci. Comput. Program. 59(3): 209-249 (2006)
2005
26	EE	Christopher Anderson, Paola Giannini, Sophia Drossopoulou: Towards Type Inference for JavaScript. ECOOP 2005: 428-452
25	EE	Christopher Anderson, Paola Giannini: Type Checking for JavaScript. Electr. Notes Theor. Comput. Sci. 138(2): 37-58 (2005)
2004
24	EE	Ferruccio Damiani, Mariangiola Dezani-Ciancaglini, Paola Giannini: Re-classification and multi-threading: FickleMT. SAC 2004: 1297-1304
23	EE	Ferruccio Damiani, Mariangiola Dezani-Ciancaglini, Paola Giannini: On Re-classification and Multi-threading. Journal of Object Technology 3(11): 5-30 (2004)
2003
22	EE	Ferruccio Damiani, Sophia Drossopoulou, Paola Giannini: Refined Effects for Unanticipated Object Re-classification: Fickle3. ICTCS 2003: 97-110
21	EE	Ferruccio Damiani, Paola Giannini: Alias types for "environment-aware" computations. Electr. Notes Theor. Comput. Sci. 82(7): (2003)
2002
20	EE	Sophia Drossopoulou, Ferruccio Damiani, Mariangiola Dezani-Ciancaglini, Paola Giannini: More dynamic object reclassification: Fickle|| ACM Trans. Program. Lang. Syst. 24(2): 153-191 (2002)
19	EE	Viviana Bono, Ferruccio Damiani, Paola Giannini: A Calculus for "Environment-Aware" Computation. Electr. Notes Theor. Comput. Sci. 66(3): (2002)
18	EE	Mario Coppo, Ferruccio Damiani, Paola Giannini: Strictness, totality, and non-standard-type inference. Theor. Comput. Sci. 272(1-2): 69-112 (2002)
2001
17	EE	Sophia Drossopoulou, Ferruccio Damiani, Mariangiola Dezani-Ciancaglini, Paola Giannini: Fickle : Dynamic Object Re-classification. ECOOP 2001: 130-149
16	EE	Davide Ancona, Christopher Anderson, Ferruccio Damiani, Sophia Drossopoulou, Paola Giannini, Elena Zucca: An Effective Translation of Fickle into Java. ICTCS 2001: 215-234
15	EE	Davide Ancona, Christopher Anderson, Ferruccio Damiani, Sophia Drossopoulou, Paola Giannini, Elena Zucca: A type preserving translation of Fickle into Java. Electr. Notes Theor. Comput. Sci. 62: (2001)
2000
14	EE	Stefano Berardi, Mario Coppo, Ferruccio Damiani, Paola Giannini: Type-Based Useless-Code Elimination for Functional Programs. SAIG 2000: 172-189
13		Ferruccio Damiani, Paola Giannini: Automatic useless-code elimination for HOT functional programs. J. Funct. Program. 10(6): 509-559 (2000)
1999
12		Ferruccio Damiani, Mariangiola Dezani-Ciancaglini, Paola Giannini: A filter model for mobile processes. Mathematical Structures in Computer Science 9(1): 63-101 (1999)
1997
11		Mario Coppo, Ferruccio Damiani, Paola Giannini: On Strictness and Totality. TACS 1997: 138-164
10		Ferruccio Damiani, Paola Giannini: An Inference Algorithm for Strictness. TLCA 1997: 129-146
1996
9		Mario Coppo, Ferruccio Damiani, Paola Giannini: Refinement Types for Program Analysis. SAS 1996: 143-158
1995
8		Mario Coppo, Paola Giannini: Principal Types and Unification for a Simple Intersection Type System Inf. Comput. 122(1): 70-96 (1995)
1994
7		Ferruccio Damiani, Paola Giannini: A Decidable Intersection Type System based on Relevance. TACS 1994: 707-725
6		Paola Giannini, Simona Ronchi Della Rocca: A Type Inference Algorithm for a Stratified Polymorphic Type Discipline Inf. Comput. 109(1/2): 115-173 (1994)
1993
5		Paola Giannini, Furio Honsell, Simona Ronchi Della Rocca: Type Inference: Some Results, Some Problems. Fundam. Inform. 19(1/2): 87-125 (1993)
1992
4		Mario Coppo, Paola Giannini: A Complete Type Inference Algorithm for Simple Intersection Types. CAAP 1992: 102-123
1991
3		Paola Giannini, Simona Ronchi Della Rocca: Type Inference in Polymorphic Type Discipline. TACS 1991: 18-37
1988
2		Paola Giannini, Simona Ronchi Della Rocca: Characterization of typings in polymorphic type discipline LICS 1988: 61-70
1984
1		Paola Giannini, Giuseppe Longo: Effectively Given Domains and Lambda-Calculus Models Information and Control 62(1): 36-63 (1984)

Coauthor Index

1	Davide Ancona	[15] [16] [29]
2	Christopher Anderson	[15] [16] [25] [26] [29]
3	Stefano Berardi	[14]
4	Viviana Bono	[19]
5	Emanuele Cazzola	[28]
6	Mario Coppo	[4] [8] [9] [11] [14] [18]
7	Ferruccio Damiani	[7] [9] [10] [11] [12] [13] [14] [15] [16] [17] [18] [19] [20] [21] [22] [23] [24] [28] [29] [30] [31]
8	Mariangiola Dezani-Ciancaglini	[12] [17] [20] [23] [24]
9	Sophia Drossopoulou	[15] [16] [17] [20] [22] [26] [29] [31]
10	Elena Giachino	[28] [30] [31]
11	Furio Honsell	[5]
12	Giuseppe Longo	[1]
13	Simona Ronchi Della Rocca	[2] [3] [5] [6]
14	Davide Sangiorgi	[27]
15	Andrea Valente	[27]
16	Elena Zucca	[15] [16] [29]

Colors in the list of coauthors