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

Paola Giannini (Selection)

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

Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo


35no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFerruccio Damiani, Paola Giannini, Alessandro Ricci, Mirko Viroli: FEATHERWEIGHT AGENT LANGUAGE - A Core Calculus for Agents and Artifacts. ICSOFT (1) 2009: 218-225
32Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFerruccio 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)
31Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFerruccio Damiani, Elena Giachino, Paola Giannini: Alias Types and Effects for "Environment-aware" Computations. Fundam. Inform. 88(1-2): 63-107 (2008)
29Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDavide 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)
28no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFerruccio Damiani, Elena Giachino, Paola Giannini, Emanuele Cazzola: On state classes and their dynamic semantics. ICSOFT (1) 2006: 5-12
24Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFerruccio Damiani, Mariangiola Dezani-Ciancaglini, Paola Giannini: Re-classification and multi-threading: FickleMT. SAC 2004: 1297-1304
23Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFerruccio Damiani, Mariangiola Dezani-Ciancaglini, Paola Giannini: On Re-classification and Multi-threading. Journal of Object Technology 3(11): 5-30 (2004)
22Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFerruccio Damiani, Sophia Drossopoulou, Paola Giannini: Refined Effects for Unanticipated Object Re-classification: Fickle3. ICTCS 2003: 97-110
21Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFerruccio Damiani, Paola Giannini: Alias types for "environment-aware" computations. Electr. Notes Theor. Comput. Sci. 82(7): 130-150 (2003)
20Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSophia Drossopoulou, Ferruccio Damiani, Mariangiola Dezani-Ciancaglini, Paola Giannini: More dynamic object reclassification: Fickle|| ACM Trans. Program. Lang. Syst. 24(2): 153-191 (2002)
19Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLViviana Bono, Ferruccio Damiani, Paola Giannini: A Calculus for "Environment-Aware" Computation. Electr. Notes Theor. Comput. Sci. 66(3): 98-115 (2002)
18Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMario Coppo, Ferruccio Damiani, Paola Giannini: Strictness, totality, and non-standard-type inference. Theor. Comput. Sci. 272(1-2): 69-112 (2002)
17Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSophia Drossopoulou, Ferruccio Damiani, Mariangiola Dezani-Ciancaglini, Paola Giannini: Fickle : Dynamic Object Re-classification. ECOOP 2001: 130-149
16Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDavide Ancona, Christopher Anderson, Ferruccio Damiani, Sophia Drossopoulou, Paola Giannini, Elena Zucca: An Effective Translation of Fickle into Java. ICTCS 2001: 215-234
15Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDavide 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)
14Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLStefano Berardi, Mario Coppo, Ferruccio Damiani, Paola Giannini: Type-Based Useless-Code Elimination for Functional Programs. SAIG 2000: 172-189
13Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFerruccio Damiani, Paola Giannini: Automatic useless-code elimination for HOT functional programs. J. Funct. Program. 10(6): 509-559 (2000)
12Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFerruccio Damiani, Mariangiola Dezani-Ciancaglini, Paola Giannini: A filter model for mobile processes. Mathematical Structures in Computer Science 9(1): 63-101 (1999)
11Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMario Coppo, Ferruccio Damiani, Paola Giannini: On Strictness and Totality. TACS 1997: 138-164
10Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFerruccio Damiani, Paola Giannini: An Inference Algorithm for Strictness. TLCA 1997: 129-146
9Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMario Coppo, Ferruccio Damiani, Paola Giannini: Refinement Types for Program Analysis. SAS 1996: 143-158
7Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFerruccio Damiani, Paola Giannini: A Decidable Intersection Type System based on Relevance. TACS 1994: 707-725

Selection of 22 from 42 records - Paola Giannini has 25 coauthors

Last update 2012-09-10 CET by the DBLP TeamThis material is Open Data Content released under the ODC-BY 1.0 license — See also our legal information page