dblp.uni-trier.dewww.uni-trier.de

Paola Giannini Vis

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

*2009
33EEMariangiola Dezani-Ciancaglini, Paola Giannini, Simona Ronchi Della Rocca: Intersection, Universally Quantified, and Reference Types. CSL 2009: 209-224
32 Ferruccio Damiani, Paola Giannini, Alessandro Ricci, Mirko Viroli: FEATHERWEIGHT AGENT LANGUAGE - A Core Calculus for Agents and Artifacts. ICSOFT (1) 2009: 218-225
2008
31EEFerruccio 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)
30EEFerruccio Damiani, Elena Giachino, Paola Giannini: Alias Types and Effects for "Environment-aware" Computations. Fundam. Inform. 88(1-2): 63-107 (2008)
2007
29EEDavide 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
27EEPaola Giannini, Davide Sangiorgi, Andrea Valente: Safe Ambients: Abstract machine and distributed implementation. Sci. Comput. Program. 59(3): 209-249 (2006)
2005
26EEChristopher Anderson, Paola Giannini, Sophia Drossopoulou: Towards Type Inference for JavaScript. ECOOP 2005: 428-452
25EEChristopher Anderson, Paola Giannini: Type Checking for JavaScript. Electr. Notes Theor. Comput. Sci. 138(2): 37-58 (2005)
2004
24EEFerruccio Damiani, Mariangiola Dezani-Ciancaglini, Paola Giannini: Re-classification and multi-threading: FickleMT. SAC 2004: 1297-1304
23EEFerruccio Damiani, Mariangiola Dezani-Ciancaglini, Paola Giannini: On Re-classification and Multi-threading. Journal of Object Technology 3(11): 5-30 (2004)
2003
22EEFerruccio Damiani, Sophia Drossopoulou, Paola Giannini: Refined Effects for Unanticipated Object Re-classification: Fickle3. ICTCS 2003: 97-110
21EEFerruccio Damiani, Paola Giannini: Alias types for "environment-aware" computations. Electr. Notes Theor. Comput. Sci. 82(7): (2003)
2002
20EESophia Drossopoulou, Ferruccio Damiani, Mariangiola Dezani-Ciancaglini, Paola Giannini: More dynamic object reclassification: Fickle|| ACM Trans. Program. Lang. Syst. 24(2): 153-191 (2002)
19EEViviana Bono, Ferruccio Damiani, Paola Giannini: A Calculus for "Environment-Aware" Computation. Electr. Notes Theor. Comput. Sci. 66(3): (2002)
18EEMario Coppo, Ferruccio Damiani, Paola Giannini: Strictness, totality, and non-standard-type inference. Theor. Comput. Sci. 272(1-2): 69-112 (2002)
2001
17EESophia Drossopoulou, Ferruccio Damiani, Mariangiola Dezani-Ciancaglini, Paola Giannini: Fickle : Dynamic Object Re-classification. ECOOP 2001: 130-149
16EEDavide Ancona, Christopher Anderson, Ferruccio Damiani, Sophia Drossopoulou, Paola Giannini, Elena Zucca: An Effective Translation of Fickle into Java. ICTCS 2001: 215-234
15EEDavide 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
14EEStefano 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
4EEMario 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

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

Colors in the list of coauthors

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)