Effectively Given Domains and Lambda-Calculus Models - Paola Giannini; Giuseppe Longo (Inf. Control., 1984)

Characterization of typings in polymorphic type discipline - Paola Giannini; Simona Ronchi Della Rocca (LICS, 1988)

Type Inference in Polymorphic Type Discipline. - Paola Giannini; Simona Ronchi Della Rocca (TACS, 1991)

A Complete Type Inference Algorithm for Simple Intersection Types. - Mario Coppo; Paola Giannini (CAAP, 1992)

Type Inference: Some Results, Some Problems. - Paola Giannini; Furio Honsell; Simona Ronchi Della Rocca (Fundam. Informaticae, 1993)

A Decidable Intersection Type System based on Relevance. - Ferruccio Damiani; Paola Giannini (TACS, 1994)

A Type Inference Algorithm for a Stratified Polymorphic Type Discipline - Paola Giannini; Simona Ronchi Della Rocca (Inf. Comput., 1994)

Principal Types and Unification for a Simple Intersection Type System - Mario Coppo; Paola Giannini (Inf. Comput., 1995)

Refinement Types for Program Analysis. - Mario Coppo; Ferruccio Damiani; Paola Giannini (SAS, 1996)

On Strictness and Totality. - Mario Coppo; Ferruccio Damiani; Paola Giannini (TACS, 1997)

An Inference Algorithm for Strictness. - Ferruccio Damiani; Paola Giannini (TLCA, 1997)

A filter model for mobile processes. - Ferruccio Damiani; Mariangiola Dezani-Ciancaglini; Paola Giannini (Math. Struct. Comput. Sci., 1999)

Type-Based Useless-Code Elimination for Functional Programs. - Stefano Berardi; Mario Coppo; Ferruccio Damiani; Paola Giannini (SAIG, 2000)

Automatic useless-code elimination for HOT functional programs. - Ferruccio Damiani; Paola Giannini (J. Funct. Program., 2000)

Fickle : Dynamic Object Re-classification. - Sophia Drossopoulou; Ferruccio Damiani; Mariangiola Dezani-Ciancaglini; Paola Giannini (ECOOP, 2001)

An Effective Translation of Fickle into Java. - Davide Ancona; Christopher Anderson; Ferruccio Damiani; Sophia Drossopoulou; Paola Giannini; Elena Zucca (ICTCS, 2001)

A type preserving translation of Fickle into Java. - Davide Ancona; Christopher Anderson; Ferruccio Damiani; Sophia Drossopoulou; Paola Giannini; Elena Zucca (TOSCA, 2001)

A Calculus for "Environment-Aware" Computation. - Viviana Bono; Ferruccio Damiani; Paola Giannini (F-WAN@ICALP, 2002)

Strictness, totality, and non-standard-type inference. - Mario Coppo; Ferruccio Damiani; Paola Giannini (Theor. Comput. Sci., 2002)

More dynamic object reclassification: Fickle|| - Sophia Drossopoulou; Ferruccio Damiani; Mariangiola Dezani-Ciancaglini; Paola Giannini (ACM Trans. Program. Lang. Syst., 2002)

Refined Effects for Unanticipated Object Re-classification: Fickle3. - Ferruccio Damiani; Sophia Drossopoulou; Paola Giannini (ICTCS, 2003)

Alias types for "environment-aware" computations. - Ferruccio Damiani; Paola Giannini (WOOD, 2003)

Re-classification and multi-threading: FickleMT. - Ferruccio Damiani; Mariangiola Dezani-Ciancaglini; Paola Giannini (SAC, 2004)

Type Checking for JavaScript. - Christopher Anderson; Paola Giannini (WOOD, 2004)

On Re-classification and Multi-threading. - Ferruccio Damiani; Mariangiola Dezani-Ciancaglini; Paola Giannini (J. Object Technol., 2004)

Towards Type Inference for JavaScript. - Christopher Anderson; Paola Giannini; Sophia Drossopoulou (ECOOP, 2005)

On State Classes and Their Dynamic Semantics. - Ferruccio Damiani; Elena Giachino; Paola Giannini; Emanuele Cazzola (ICSOFT (Selected Papers), 2006)

Safe Ambients: Abstract machine and distributed implementation. - Paola Giannini; Davide Sangiorgi; Andrea Valente (Sci. Comput. Program., 2006)

A provenly correct translation of Fickle into Java. - Davide Ancona; Christopher Anderson; Ferruccio Damiani; Sophia Drossopoulou; Paola Giannini; Elena Zucca (ACM Trans. Program. Lang. Syst., 2007)

A type safe state abstraction for coordination in Java -like languages. - Ferruccio Damiani; Elena Giachino; Paola Giannini; Sophia Drossopoulou (Acta Informatica, 2008)

A Calculus of Evolving Objects. - Mariangiola Dezani-Ciancaglini; Paola Giannini; Oscar Nierstrasz (Sci. Ann. Comput. Sci., 2008)

Alias Types and Effects for "Environment-aware" Computations. - Ferruccio Damiani; Elena Giachino; Paola Giannini (Fundam. Informaticae, 2008)

Intersection, Universally Quantified, and Reference Types. - Mariangiola Dezani-Ciancaglini; Paola Giannini; Simona Ronchi Della Rocca (CSL, 2009)

FEATHERWEIGHT AGENT LANGUAGE - A Core Calculus for Agents and Artifacts. - Ferruccio Damiani; Paola Giannini; Alessandro Ricci; Mirko Viroli (ICSOFT (1), 2009)

A Calculus of Agents and Artifacts. - Ferruccio Damiani; Paola Giannini; Alessandro Ricci; Mirko Viroli (ICSOFT (Selected Papers), 2009)

The essence of static and dynamic bindings. - Mariangiola Dezani-Ciancaglini; Paola Giannini; Elena Zucca (ICTCS, 2009)

A Type System for Required/Excluded Elements in CLS - Mariangiola Dezani-Ciancaglini; Paola Giannini; Angelo Troina (DCM, 2009)

A Type System for a Stochastic CLS - Mariangiola Dezani-Ciancaglini; Paola Giannini; Angelo Troina (MeCBIC, 2009)

Intersection types for unbind and rebind - Mariangiola Dezani-Ciancaglini; Paola Giannini; Elena Zucca (ITRS, 2010)

Annotated Stochastic Context Free Grammars for Analysis and Synthesis of Proteins. - Eva Sciacca; Salvatore Spinella; Dino Ienco; Paola Giannini (EvoBio, 2011)

A Calculus of Looping Sequences with Local Rules - Livio Bioglio; Mariangiola Dezani-Ciancaglini; Paola Giannini; Angelo Troina (DCM, 2011)

Preface. - Paola Giannini; Jean Krivine (CS2Bio@DisCoTec, 2011)

Extending the lambda-calculus with unbind and rebind. - Mariangiola Dezani-Ciancaglini; Paola Giannini; Elena Zucca (RAIRO Theor. Informatics Appl., 2011)

Reconciling positional and nominal binding. - Davide Ancona; Paola Giannini; Elena Zucca (ITRS, 2012)

Parallel BioScape: A Stochastic and Parallel Language for Mobile and Spatial Interactions - Adriana B. Compagnoni; Mariangiola Dezani-Ciancaglini; Paola Giannini; Karin Sauer; Vishakha Sharma 001; Angelo Troina (MeCBIC, 2012)

Standard Type Soundness for Agents and Artifacts. - Ferruccio Damiani; Paola Giannini; Alessandro Ricci; Mirko Viroli (Sci. Ann. Comput. Sci., 2012)

Preface. - Paola Giannini; Erik P. de Vink (CS2Bio, 2012)

Typed stochastic semantics for the calculus of looping sequences. - Livio Bioglio; Mariangiola Dezani-Ciancaglini; Paola Giannini; Angelo Troina (Theor. Comput. Sci., 2012)

An Intermediate Language for Compilation to Scripting Languages. - Paola Giannini; Albert Shaqiri (ICSOFT, 2013)

Compiling Functional to Scripting Languages. - Paola Giannini; Albert Shaqiri (ICSOFT (Selected Papers), 2013)

A Calculus of Located Entities. - Adriana B. Compagnoni; Paola Giannini; Catherine Kim; Matthew Milideo; Vishakha Sharma 001 (DCM, 2013)

Type Directed Semantics for the Calculus of Looping Sequences. - Livio Bioglio; Mariangiola Dezani-Ciancaglini; Paola Giannini; Angelo Troina (Int. J. Softw. Informatics, 2013)

State-Sensitive Computational Modeling. - Adriana B. Compagnoni; Paola Giannini; Christopher Kelley (BICT, 2014)

Constrained Polymorphic Types for a Calculus with Name Variables. - Davide Ancona; Paola Giannini; Elena Zucca (TYPES, 2015)

Incremental Rebinding with Name Polymorphism. - Davide Ancona; Paola Giannini; Elena Zucca (ICTCS, 2015)

Formal Attributes Traceability in Modular Language Development Frameworks. - Walter Cazzola; Paola Giannini; Albert Shaqiri (ICTCS, 2015)

A computational modeling language for complex laboratory experiments. - Adriana B. Compagnoni; Paola Giannini; Christopher Kelley (Nano Commun. Networks, 2015)

Interactions between Computer Science and Biology. - Paola Giannini; Emanuela Merelli; Angelo Troina (Theor. Comput. Sci., 2015)

Coupling catch clauses with local declarations. - Paola Giannini; Marco Servetto; Elena Zucca (FTfJP@ECOOP, 2016)

Types for Immutability and Aliasing Control. - Paola Giannini; Marco Servetto; Elena Zucca (ICTCS, 2016)

Runtime Checks as Nominal Types. - Paola Giannini; Marco Servetto; Elena Zucca (ICTCS, 2016)

Exploring the Potential of Global Types for Adding a Choreography Perspective to the jABC Framework. - Paola Giannini; Anna-Lena Lamprecht; Tiziana Margaria (MODELSWARD, 2016)

Initialize-and-catch. - Paola Giannini; Marco Servetto; Elena Zucca (SAC, 2016)

Reversible Multiparty Sessions with Checkpoints. - Mariangiola Dezani-Ciancaglini; Paola Giannini (EXPRESS/SOS, 2016)

Concurrent Reversible Sessions. - Ilaria Castellani; Mariangiola Dezani-Ciancaglini; Paola Giannini (CONCUR, 2017)

Tracing sharing in an imperative pure calculus: extended abstract. - Paola Giannini; Marco Servetto; Elena Zucca (FTfJP@ECOOP, 2017)

A type and effect system for sharing. - Paola Giannini; Marco Servetto; Elena Zucca (SAC, 2017)

A Provably Correct Compilation of Functional Languages into Scripting Languages. - Paola Giannini; Albert Shaqiri (Sci. Ann. Comput. Sci., 2017)

Type safe incremental rebinding. - Davide Ancona; Paola Giannini; Elena Zucca (Math. Struct. Comput. Sci., 2017)

Intersection Types in Java: Back to the Future. - Mariangiola Dezani-Ciancaglini; Paola Giannini; Betti Venneri (Models, Mindsets, Meta, 2018)

A type and effect system for uniqueness and immutability. - Paola Giannini; Marco Servetto; Elena Zucca (SAC, 2018)

Flexible recovery of uniqueness and immutability (Extended Version). - Paola Giannini; Marco Servetto; Elena Zucca; James Cone (CoRR, 2018)

A Syntactic Model of Mutation and Aliasing. - Paola Giannini; Marco Servetto; Elena Zucca (DCM/ITRS, 2018)

Java & Lambda: a Featherweight Story. - Lorenzo Bettini; Viviana Bono; Mariangiola Dezani-Ciancaglini; Paola Giannini; Betti Venneri (Log. Methods Comput. Sci., 2018)

Tracing and Preventing Sharing and Mutation. - Paola Giannini; Marco Servetto; Elena Zucca (ICTCS, 2019)

Reversible sessions with flexible choices. - Ilaria Castellani; Mariangiola Dezani-Ciancaglini; Paola Giannini (Acta Informatica, 2019)

Tracing sharing in an imperative pure calculus. - Paola Giannini; Tim Richter; Marco Servetto; Elena Zucca (Sci. Comput. Program., 2019)

Flexible recovery of uniqueness and immutability. - Paola Giannini; Marco Servetto; Elena Zucca; James Cone (Theor. Comput. Sci., 2019)

Deconfined Intersection Types in Java. - Mariangiola Dezani-Ciancaglini; Paola Giannini; Betti Venneri (Gabbrielli's Festschrift, 2020)

Global types with internal delegation. - Ilaria Castellani; Mariangiola Dezani-Ciancaglini; Paola Giannini; Ross Horne (Theor. Comput. Sci., 2020)

Multiparty-session-types Coordination for Core Erlang. - Lavinia Egidi; Paola Giannini; Lorenzo Ventura (ICSOFT, 2022)

A Java-Like Calculus with User-Defined Coeffects. - Riccardo Bianchini 001; Francesco Dagnino; Paola Giannini; Elena Zucca (ICTCS, 2022)

Asynchronous Sessions with Input Races. - Ilaria Castellani; Mariangiola Dezani-Ciancaglini; Paola Giannini (PLACES@ETAPS, 2022)

Coeffects for sharing and mutation. - Riccardo Bianchini 001; Francesco Dagnino; Paola Giannini; Elena Zucca; Marco Servetto (Proc. ACM Program. Lang., 2022)

Multi-Graded Featherweight Java. - Riccardo Bianchini 001; Francesco Dagnino; Paola Giannini; Elena Zucca (ECOOP, 2023)

Deconfined Global Types for Asynchronous Sessions. - Francesco Dagnino; Paola Giannini; Mariangiola Dezani-Ciancaglini (Log. Methods Comput. Sci., 2023)

Event structure semantics for multiparty sessions. - Ilaria Castellani; Mariangiola Dezani-Ciancaglini; Paola Giannini (J. Log. Algebraic Methods Program., 2023)

A Java-like calculus with heterogeneous coeffects. - Riccardo Bianchini 001; Francesco Dagnino; Paola Giannini; Elena Zucca (Theor. Comput. Sci., 2023)

Resource-Aware Soundness for Big-Step Semantics. - Riccardo Bianchini 001; Francesco Dagnino; Paola Giannini; Elena Zucca (Proc. ACM Program. Lang., 2023)

Coeffects for MiniJava: Cf-Mj. - Paola Giannini; Giulio Duso (FTfJP@ECOOP, 2024)

Global Types for Agent Interaction Protocols (short paper). - Federico Bergenti; Leonardo Galliera; Paola Giannini; Stefania Monica; Riccardo Nazzari (ICTCS, 2024)

Towards a Semantic Characterisation of Global Type Well-formedness. - Ilaria Castellani; Paola Giannini (PLACES@ETAPS, 2024)

Global Types and Event Structure Semantics for Asynchronous Multiparty Sessions. - Ilaria Castellani; Mariangiola Dezani-Ciancaglini; Paola Giannini (Fundam. Informaticae, 2024)

Monadic Type-And-Effect Soundness. - Francesco Dagnino; Paola Giannini; Elena Zucca (ECOOP, 2025)

An Effectful Object Calculus. - Francesco Dagnino; Paola Giannini; Elena Zucca (ECOOP, 2025)

Unsolvable Terms in Filter Models (Invited Talk). - Mariangiola Dezani-Ciancaglini; Paola Giannini; Furio Honsell (FSCD, 2025)

A Type System for Data Privacy Compliance in Active Object Languages. - Chinmayi Prabhu Baramashetru; Paola Giannini; Silvia Lizeth Tapia Tarifa; Olaf Owe (Art Sci. Eng. Program., 2025)

Don't exhaust, don't waste. - Riccardo Bianchini 001; Francesco Dagnino; Paola Giannini; Elena Zucca (CoRR, 2025)

Fair Termination for Resource-Aware Active Objects. - Francesco Dagnino; Paola Giannini; Violet Ka I Pun; Ulises Torrella (CoRR, 2025)