- CSB - MetaPress - Google - Bing - Yahoo
 | 2013 | |
|---|---|---|
| j22 |      | |
| 2012 | ||
| j21 | | Livio Bioglio, Mariangiola Dezani-Ciancaglini, Paola Giannini, Angelo Troina: Typed stochastic semantics for the calculus of looping sequences. Theor. Comput. Sci. 431: 165-180 (2012) |
| c23 | | Adriana B. Compagnoni, Mariangiola Dezani-Ciancaglini, Paola Giannini, Karin Sauer, Vishakha Sharma, Angelo Troina: Parallel BioScape: A Stochastic and Parallel Language for Mobile and Spatial Interactions. MeCBIC 2012: 101-106 |
| 2011 | ||
| j20 | | |
| j19 | | 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) |
| c22 | | Eva Sciacca, Salvatore Spinella, Dino Ienco, Paola Giannini: Annotated Stochastic Context Free Grammars for Analysis and Synthesis of Proteins. EvoBio 2011: 77-88 |
| c21 | | Livio Bioglio, Mariangiola Dezani-Ciancaglini, Paola Giannini, Angelo Troina: A Calculus of Looping Sequences with Local Rules. DCM 2011: 43-58 |
| 2010 | ||
| c20 | | Mariangiola Dezani-Ciancaglini, Paola Giannini, Elena Zucca: Intersection types for unbind and rebind. ITRS 2010: 45-58 |
| 2009 | ||
| c19 | | Mariangiola Dezani-Ciancaglini, Paola Giannini, Simona Ronchi Della Rocca: Intersection, Universally Quantified, and Reference Types. CSL 2009: 209-224 |
| c18 |  | Ferruccio Damiani, Paola Giannini, Alessandro Ricci, Mirko Viroli: FEATHERWEIGHT AGENT LANGUAGE - A Core Calculus for Agents and Artifacts. ICSOFT (1) 2009: 218-225 |
| c17 | | Mariangiola Dezani-Ciancaglini, Paola Giannini, Elena Zucca: The essence of static and dynamic bindings. ICTCS 2009: 99-106 |
| c16 | | Mariangiola Dezani-Ciancaglini, Paola Giannini, Angelo Troina: A Type System for Required/Excluded Elements in CLS. DCM 2009: 38-48 |
| c15 | | Mariangiola Dezani-Ciancaglini, Paola Giannini, Angelo Troina: A Type System for a Stochastic CLS. MeCBIC 2009: 91-105 |
| 2008 | ||
| j18 | | 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) |
| j17 | | Mariangiola Dezani-Ciancaglini, Paola Giannini, Oscar Nierstrasz: A Calculus of Evolving Objects. Sci. Ann. Comp. Sci. 18: 63-98 (2008) |
| j16 | | Ferruccio Damiani, Elena Giachino, Paola Giannini: Alias Types and Effects for "Environment-aware" Computations. Fundam. Inform. 88(1-2): 63-107 (2008) |
| 2007 | ||
| j15 | | 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 | ||
| j14 | | Paola Giannini, Davide Sangiorgi, Andrea Valente: Safe Ambients: Abstract machine and distributed implementation. Sci. Comput. Program. 59(3): 209-249 (2006) |
| c14 | | Ferruccio Damiani, Elena Giachino, Paola Giannini, Emanuele Cazzola: On state classes and their dynamic semantics. ICSOFT (1) 2006: 5-12 |
| 2005 | ||
| j13 | | Christopher Anderson, Paola Giannini: Type Checking for JavaScript. Electr. Notes Theor. Comput. Sci. 138(2): 37-58 (2005) |
| c13 | | Christopher Anderson, Paola Giannini, Sophia Drossopoulou: Towards Type Inference for JavaScript. ECOOP 2005: 428-452 |
| 2004 | ||
| j12 | | Ferruccio Damiani, Mariangiola Dezani-Ciancaglini, Paola Giannini: On Re-classification and Multi-threading. Journal of Object Technology 3(11): 5-30 (2004) |
| c12 | | Ferruccio Damiani, Mariangiola Dezani-Ciancaglini, Paola Giannini: Re-classification and multi-threading: FickleMT. SAC 2004: 1297-1304 |
| 2003 | ||
| j11 | | Ferruccio Damiani, Paola Giannini: Alias types for "environment-aware" computations. Electr. Notes Theor. Comput. Sci. 82(7): 130-150 (2003) |
| c11 | | Ferruccio Damiani, Sophia Drossopoulou, Paola Giannini: Refined Effects for Unanticipated Object Re-classification: Fickle3. ICTCS 2003: 97-110 |
| 2002 | ||
| j10 | | Viviana Bono, Ferruccio Damiani, Paola Giannini: A Calculus for "Environment-Aware" Computation. Electr. Notes Theor. Comput. Sci. 66(3): 98-115 (2002) |
| j9 | | Mario Coppo, Ferruccio Damiani, Paola Giannini: Strictness, totality, and non-standard-type inference. Theor. Comput. Sci. 272(1-2): 69-112 (2002) |
| j8 | | Sophia Drossopoulou, Ferruccio Damiani, Mariangiola Dezani-Ciancaglini, Paola Giannini: More dynamic object reclassification: Fickle||. ACM Trans. Program. Lang. Syst. 24(2): 153-191 (2002) |
| 2001 | ||
| j7 | | 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) |
| c10 | | Sophia Drossopoulou, Ferruccio Damiani, Mariangiola Dezani-Ciancaglini, Paola Giannini: Fickle : Dynamic Object Re-classification. ECOOP 2001: 130-149 |
| c9 | | Davide Ancona, Christopher Anderson, Ferruccio Damiani, Sophia Drossopoulou, Paola Giannini, Elena Zucca: An Effective Translation of Fickle into Java. ICTCS 2001: 215-234 |
| 2000 | ||
| j6 | | Ferruccio Damiani, Paola Giannini: Automatic useless-code elimination for HOT functional programs. J. Funct. Program. 10(6): 509-559 (2000) |
| c8 | | Stefano Berardi, Mario Coppo, Ferruccio Damiani, Paola Giannini: Type-Based Useless-Code Elimination for Functional Programs. SAIG 2000: 172-189 |
| 1999 | ||
| j5 | | Ferruccio Damiani, Mariangiola Dezani-Ciancaglini, Paola Giannini: A filter model for mobile processes. Mathematical Structures in Computer Science 9(1): 63-101 (1999) |
| 1997 | ||
| c7 | | |
| c6 | | |
| 1996 | ||
| c5 | | Mario Coppo, Ferruccio Damiani, Paola Giannini: Refinement Types for Program Analysis. SAS 1996: 143-158 |
| 1995 | ||
| j4 | | Mario Coppo, Paola Giannini: Principal Types and Unification for a Simple Intersection Type System. Inf. Comput. 122(1): 70-96 (1995) |
| 1994 | ||
| j3 | | Paola Giannini, Simona Ronchi Della Rocca: A Type Inference Algorithm for a Stratified Polymorphic Type Discipline. Inf. Comput. 109(1/2): 115-173 (1994) |
| c4 | | Ferruccio Damiani, Paola Giannini: A Decidable Intersection Type System based on Relevance. TACS 1994: 707-725 |
| 1993 | ||
| j2 | | Paola Giannini, Furio Honsell, Simona Ronchi Della Rocca: Type Inference: Some Results, Some Problems. Fundam. Inform. 19(1/2): 87-125 (1993) |
| 1992 | ||
| c3 | | Mario Coppo, Paola Giannini: A Complete Type Inference Algorithm for Simple Intersection Types. CAAP 1992: 102-123 |
| 1991 | ||
| c2 | | Paola Giannini, Simona Ronchi Della Rocca: Type Inference in Polymorphic Type Discipline. TACS 1991: 18-37 |
| 1988 | ||
| c1 | | Paola Giannini, Simona Ronchi Della Rocca: Characterization of typings in polymorphic type discipline. LICS 1988: 61-70 |
| 1984 | ||
| j1 | | Paola Giannini, Giuseppe Longo: Effectively Given Domains and Lambda-Calculus Models. Information and Control 62(1): 36-63 (1984) |
Data released under the ODC-BY 1.0 license — See also our legal information page