Paola Giannini
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
27
Venues
12
Active years
1988–2025
Best venue rank
A*
Where they publish
Papers
27 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2025 | APLAS | Fair Termination for Resource-Aware Active Objects. | Francesco Dagnino, Paola Giannini, Violet Ka I Pun, Ulises Torrella |
| 2025 | ECOOP | Monadic Type-And-Effect Soundness. | Francesco Dagnino, Paola Giannini, Elena Zucca |
| 2025 | ECOOP | An Effectful Object Calculus. | Francesco Dagnino, Paola Giannini, Elena Zucca |
| 2025 | FSCD | Unsolvable Terms in Filter Models (Invited Talk). | Mariangiola Dezani-Ciancaglini, Paola Giannini, Furio Honsell |
| 2024 | FTfJP | Coeffects for MiniJava: Cf-Mj. | Paola Giannini, Giulio Duso |
| 2023 | ECOOP | Multi-Graded Featherweight Java. | Riccardo Bianchini, Francesco Dagnino, Paola Giannini, Elena Zucca |
| 2022 | ICSoft | Multiparty-session-types Coordination for Core Erlang. | Lavinia Egidi, Paola Giannini, Lorenzo Ventura |
| 2021 | Coordination | Deconfined Global Types for Asynchronous Sessions. | Francesco Dagnino, Paola Giannini, Mariangiola Dezani-Ciancaglini |
| 2018 | SAC | A type and effect system for uniqueness and immutability. | Paola Giannini, Marco Servetto, Elena Zucca |
| 2017 | CONCUR | Concurrent Reversible Sessions. | Ilaria Castellani, Mariangiola Dezani-Ciancaglini, Paola Giannini |
| 2017 | ECOOP | Tracing sharing in an imperative pure calculus: extended abstract. | Paola Giannini, Marco Servetto, Elena Zucca |
| 2017 | SAC | A type and effect system for sharing. | Paola Giannini, Marco Servetto, Elena Zucca |
| 2016 | ECOOP | Coupling catch clauses with local declarations. | Paola Giannini, Marco Servetto, Elena Zucca |
| 2016 | MODELSWARD | Exploring the Potential of Global Types for Adding a Choreography Perspective to the jABC Framework. | Paola Giannini, Anna-Lena Lamprecht, Tiziana Margaria |
| 2016 | SAC | Initialize-and-catch. | Paola Giannini, Marco Servetto, Elena Zucca |
| 2013 | ICSoft | An Intermediate Language for Compilation to Scripting Languages. | Paola Giannini, Albert Shaqiri |
| 2013 | ICSoft | Compiling Functional to Scripting Languages. | Paola Giannini, Albert Shaqiri |
| 2009 | CSL | Intersection, Universally Quantified, and Reference Types. | Mariangiola Dezani-Ciancaglini, Paola Giannini, Simona Ronchi Della Rocca |
| 2009 | ICSoft | FEATHERWEIGHT AGENT LANGUAGE - A Core Calculus for Agents and Artifacts. | Ferruccio Damiani, Paola Giannini, Alessandro Ricci, Mirko Viroli |
| 2009 | ICSoft | A Calculus of Agents and Artifacts. | Ferruccio Damiani, Paola Giannini, Alessandro Ricci, Mirko Viroli |
| 2006 | ICSoft | On state classes and their dynamic semantics. | Ferruccio Damiani, Elena Giachino, Paola Giannini, Emanuele Cazzola |
| 2006 | ICSoft | On State Classes and Their Dynamic Semantics. | Ferruccio Damiani, Elena Giachino, Paola Giannini, Emanuele Cazzola |
| 2005 | ECOOP | Towards Type Inference for JavaScript. | Christopher Anderson, Paola Giannini, Sophia Drossopoulou |
| 2004 | SAC | Re-classification and multi-threading: | Ferruccio Damiani, Mariangiola Dezani-Ciancaglini, Paola Giannini |
| 2001 | ECOOP | Fickle : Dynamic Object Re-classification. | Sophia Drossopoulou, Ferruccio Damiani, Mariangiola Dezani-Ciancaglini, Paola Giannini |
| 1996 | SAS | Refinement Types for Program Analysis. | Mario Coppo, Ferruccio Damiani, Paola Giannini |
| 1988 | LICS | Characterization of typings in polymorphic type discipline | Paola Giannini, Simona Ronchi Della Rocca |