Paola Giannini

	2011
41		Eva Sciacca, Salvatore Spinella, Dino Ienco, Paola Giannini: Annotated Stochastic Context Free Grammars for Analysis and Synthesis of Proteins. EvoBio 2011: 77-88
40		Paola Giannini, Jean Krivine: Preface. Electr. Notes Theor. Comput. Sci. 277: 1-2 (2011)
39		Mariangiola Dezani-Ciancaglini, Paola Giannini, Elena Zucca: Extending the lambda-calculus with unbind and rebind. RAIRO - Theor. Inf. and Applic. 45(1): 143-162 (2011)
	2010
38		Mariangiola Dezani-Ciancaglini, Paola Giannini, Elena Zucca: Intersection types for unbind and rebind ITRS 2010: 45-58
	2009
37		Mariangiola Dezani-Ciancaglini, Paola Giannini, Simona Ronchi Della Rocca: Intersection, Universally Quantified, and Reference Types. CSL 2009: 209-224
36		Mariangiola Dezani-Ciancaglini, Paola Giannini, Angelo Troina: A Type System for Required/Excluded Elements in CLS DCM 2009: 38-48
35		Ferruccio Damiani, Paola Giannini, Alessandro Ricci, Mirko Viroli: FEATHERWEIGHT AGENT LANGUAGE - A Core Calculus for Agents and Artifacts. ICSOFT (1) 2009: 218-225
34		Mariangiola Dezani-Ciancaglini, Paola Giannini, Elena Zucca: The essence of static and dynamic bindings. ICTCS 2009: 99-106
33		Mariangiola Dezani-Ciancaglini, Paola Giannini, Angelo Troina: A Type System for a Stochastic CLS MeCBIC 2009: 91-105
	2008
32		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)
31		Ferruccio Damiani, Elena Giachino, Paola Giannini: Alias Types and Effects for "Environment-aware" Computations. Fundam. Inform. 88(1-2): 63-107 (2008)
30		Mariangiola Dezani-Ciancaglini, Paola Giannini, Oscar Nierstrasz: A Calculus of Evolving Objects. Sci. Ann. Comp. Sci. 18: 63-98 (2008)
	2007
29		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		Paola Giannini, Davide Sangiorgi, Andrea Valente: Safe Ambients: Abstract machine and distributed implementation. Sci. Comput. Program. 59(3): 209-249 (2006)
	2005
26		Christopher Anderson, Paola Giannini, Sophia Drossopoulou: Towards Type Inference for JavaScript. ECOOP 2005: 428-452
25		Christopher Anderson, Paola Giannini: Type Checking for JavaScript. Electr. Notes Theor. Comput. Sci. 138(2): 37-58 (2005)
	2004
24		Ferruccio Damiani, Mariangiola Dezani-Ciancaglini, Paola Giannini: Re-classification and multi-threading: FickleMT. SAC 2004: 1297-1304
23		Ferruccio Damiani, Mariangiola Dezani-Ciancaglini, Paola Giannini: On Re-classification and Multi-threading. Journal of Object Technology 3(11): 5-30 (2004)
	2003
22		Ferruccio Damiani, Sophia Drossopoulou, Paola Giannini: Refined Effects for Unanticipated Object Re-classification: Fickle3. ICTCS 2003: 97-110
21		Ferruccio Damiani, Paola Giannini: Alias types for "environment-aware" computations. Electr. Notes Theor. Comput. Sci. 82(7): 130-150 (2003)
	2002
20		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		Viviana Bono, Ferruccio Damiani, Paola Giannini: A Calculus for "Environment-Aware" Computation. Electr. Notes Theor. Comput. Sci. 66(3): 98-115 (2002)
18		Mario Coppo, Ferruccio Damiani, Paola Giannini: Strictness, totality, and non-standard-type inference. Theor. Comput. Sci. 272(1-2): 69-112 (2002)
	2001
17		Sophia Drossopoulou, Ferruccio Damiani, Mariangiola Dezani-Ciancaglini, Paola Giannini: Fickle : Dynamic Object Re-classification. ECOOP 2001: 130-149
16		Davide Ancona, Christopher Anderson, Ferruccio Damiani, Sophia Drossopoulou, Paola Giannini, Elena Zucca: An Effective Translation of Fickle into Java. ICTCS 2001: 215-234
15		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: 69-82 (2001)
	2000
14		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] [31] [32] [35]
8	Mariangiola Dezani-Ciancaglini (Mariangiola Dezani)	[12] [17] [20] [23] [24] [30] [33] [34] [36] [37] [38] [39]
9	Sophia Drossopoulou	[15] [16] [17] [20] [22] [26] [29] [32]
10	Elena Giachino	[28] [31] [32]
11	Furio Honsell	[5]
12	Dino Ienco	[41]
13	Jean Krivine	[40]
14	Giuseppe Longo	[1]
15	Oscar Nierstrasz	[30]
16	Alessandro Ricci	[35]
17	Simona Ronchi Della Rocca	[2] [3] [5] [6] [37]
18	Davide Sangiorgi	[27]
19	Eva Sciacca	[41]
20	Salvatore Spinella	[41]
21	Angelo Troina	[33] [36]
22	Andrea Valente	[27]
23	Mirko Viroli	[35]
24	Elena Zucca	[15] [16] [29] [34] [38] [39]

Colors in the list of coauthors

Last update Tue May 29 20:41:18 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page