Paola Giannini

116 papers A* 1A 5B 5C 4Misc 4Journal 48Unranked 47

Year	Rank	Type	Title / Venue / Authors
2026	J	`jnl`	Sensible Intersection Type Theories. CoRR Mariangiola Dezani-Ciancaglini, Besik Dundua, Paola Giannini, Furio Honsell
2025	J	`jnl`	A Type System for Data Privacy Compliance in Active Object Languages. CoRR Chinmayi Prabhu Baramashetru, Paola Giannini, Silvia Lizeth Tapia Tarifa, Olaf Owe
2025	J	`jnl`	A Type System for Data Privacy Compliance in Active Object Languages. Art Sci. Eng. Program. Chinmayi Prabhu Baramashetru, Paola Giannini, Silvia Lizeth Tapia Tarifa, Olaf Owe
2025	A	`conf`	An Effectful Object Calculus. ECOOP Francesco Dagnino, Paola Giannini, Elena Zucca
2025	J	`jnl`	An effectful object calculus. CoRR Francesco Dagnino, Paola Giannini, Elena Zucca
2025	J	`jnl`	Correct implementation of agent interaction protocols. Frontiers Comput. Sci. Federico Bergenti, Lavinia Egidi, Leonardo Galliera, Paola Giannini, Stefania Monica
2025	J	`jnl`	Don't exhaust, don't waste. CoRR Riccardo Bianchini, Francesco Dagnino, Paola Giannini, Elena Zucca
2025	B	`conf`	Fair Termination for Resource-Aware Active Objects. APLAS Francesco Dagnino, Paola Giannini, Violet Ka I Pun, Ulises Torrella
2025	J	`jnl`	Fair Termination for Resource-Aware Active Objects. CoRR Francesco Dagnino, Paola Giannini, Violet Ka I Pun, Ulises Torrella
2025	A	`conf`	Monadic Type-And-Effect Soundness. ECOOP Francesco Dagnino, Paola Giannini, Elena Zucca
2025	J	`jnl`	Monadic type-and-effect soundness. CoRR Francesco Dagnino, Paola Giannini, Elena Zucca
2025	B	`conf`	Unsolvable Terms in Filter Models (Invited Talk). FSCD Mariangiola Dezani-Ciancaglini, Paola Giannini, Furio Honsell
2024	—	`conf`	Coeffects for MiniJava: Cf-Mj. FTfJP@ECOOP Paola Giannini, Giulio Duso
2024	J	`jnl`	Global Types and Event Structure Semantics for Asynchronous Multiparty Sessions. Fundam. Informaticae Ilaria Castellani, Mariangiola Dezani-Ciancaglini, Paola Giannini
2024	—	`conf`	Global Types for Agent Interaction Protocols (short paper). ICTCS Federico Bergenti, Leonardo Galliera, Paola Giannini, Stefania Monica, Riccardo Nazzari
2024	—	`conf`	Towards a Semantic Characterisation of Global Type Well-formedness. PLACES@ETAPS Ilaria Castellani, Paola Giannini
2023	J	`jnl`	A Java-like calculus with heterogeneous coeffects. Theor. Comput. Sci. Riccardo Bianchini, Francesco Dagnino, Paola Giannini, Elena Zucca
2023	J	`jnl`	Deconfined Global Types for Asynchronous Sessions. Log. Methods Comput. Sci. Francesco Dagnino, Paola Giannini, Mariangiola Dezani-Ciancaglini
2023	J	`jnl`	Event structure semantics for multiparty sessions. J. Log. Algebraic Methods Program. Ilaria Castellani, Mariangiola Dezani-Ciancaglini, Paola Giannini
2023	A	`conf`	Multi-Graded Featherweight Java. ECOOP Riccardo Bianchini, Francesco Dagnino, Paola Giannini, Elena Zucca
2023	J	`jnl`	Multi-graded Featherweight Java. CoRR Riccardo Bianchini, Francesco Dagnino, Paola Giannini, Elena Zucca
2023	J	`jnl`	Resource-Aware Soundness for Big-Step Semantics. Proc. ACM Program. Lang. Riccardo Bianchini, Francesco Dagnino, Paola Giannini, Elena Zucca
2022	—	`conf`	A Java-Like Calculus with User-Defined Coeffects. ICTCS Riccardo Bianchini, Francesco Dagnino, Paola Giannini, Elena Zucca
2022	—	`conf`	Asynchronous Sessions with Input Races. PLACES@ETAPS Ilaria Castellani, Mariangiola Dezani-Ciancaglini, Paola Giannini
2022	J	`jnl`	Coeffects for Sharing and Mutation. CoRR Riccardo Bianchini, Francesco Dagnino, Paola Giannini, Elena Zucca, Marco Servetto
2022	J	`jnl`	Coeffects for sharing and mutation. Proc. ACM Program. Lang. Riccardo Bianchini, Francesco Dagnino, Paola Giannini, Elena Zucca, Marco Servetto
2022	J	`jnl`	Event structure semantics for multiparty sessions. CoRR Ilaria Castellani, Mariangiola Dezani-Ciancaglini, Paola Giannini
2022	C	`conf`	Multiparty-session-types Coordination for Core Erlang. ICSOFT Lavinia Egidi, Paola Giannini, Lorenzo Ventura
2021	C	`conf`	Deconfined Global Types for Asynchronous Sessions. COORDINATION Francesco Dagnino, Paola Giannini, Mariangiola Dezani-Ciancaglini
2021	J	`jnl`	Deconfined Global Types for Asynchronous Sessions. CoRR Francesco Dagnino, Paola Giannini, Mariangiola Dezani-Ciancaglini
2021	J	`jnl`	Global types and event structure semantics for asynchronous multiparty sessions. CoRR Ilaria Castellani, Mariangiola Dezani-Ciancaglini, Paola Giannini
2020	—	`conf`	Deconfined Intersection Types in Java. Gabbrielli's Festschrift Mariangiola Dezani-Ciancaglini, Paola Giannini, Betti Venneri
2020	J	`jnl`	Global types with internal delegation. Theor. Comput. Sci. Ilaria Castellani, Mariangiola Dezani-Ciancaglini, Paola Giannini, Ross Horne
2019	—	`conf`	Event Structure Semantics for Multiparty Sessions. Models, Languages, and Tools for Concurrent and Distributed Programming Ilaria Castellani, Mariangiola Dezani-Ciancaglini, Paola Giannini
2019	J	`jnl`	Flexible recovery of uniqueness and immutability. Theor. Comput. Sci. Paola Giannini, Marco Servetto, Elena Zucca, James Cone
2019	J	`jnl`	Reversible sessions with flexible choices. Acta Informatica Ilaria Castellani, Mariangiola Dezani-Ciancaglini, Paola Giannini
2019	—	`conf`	Tracing and Preventing Sharing and Mutation. ICTCS Paola Giannini, Marco Servetto, Elena Zucca
2019	J	`jnl`	Tracing sharing in an imperative pure calculus. Sci. Comput. Program. Paola Giannini, Tim Richter, Marco Servetto, Elena Zucca
2018	—	`conf`	A Syntactic Model of Mutation and Aliasing. DCM/ITRS Paola Giannini, Marco Servetto, Elena Zucca
2018	Misc	`conf`	A type and effect system for uniqueness and immutability. SAC Paola Giannini, Marco Servetto, Elena Zucca
2018	J	`jnl`	Flexible recovery of uniqueness and immutability (Extended Version). CoRR Paola Giannini, Marco Servetto, Elena Zucca, James Cone
2018	—	`conf`	Intersection Types in Java: Back to the Future. Models, Mindsets, Meta Mariangiola Dezani-Ciancaglini, Paola Giannini, Betti Venneri
2018	J	`jnl`	Java & Lambda: a Featherweight Story. Log. Methods Comput. Sci. Lorenzo Bettini, Viviana Bono, Mariangiola Dezani-Ciancaglini, Paola Giannini, Betti Venneri
2018	J	`jnl`	Tracing sharing in an imperative pure calculus. CoRR Paola Giannini, Tim Richter, Marco Servetto, Elena Zucca
2017	J	`jnl`	A Provably Correct Compilation of Functional Languages into Scripting Languages. Sci. Ann. Comput. Sci. Paola Giannini, Albert Shaqiri
2017	Misc	`conf`	A type and effect system for sharing. SAC Paola Giannini, Marco Servetto, Elena Zucca
2017	B	`conf`	Concurrent Reversible Sessions. CONCUR Ilaria Castellani, Mariangiola Dezani-Ciancaglini, Paola Giannini
2017	—	`conf`	Tracing sharing in an imperative pure calculus: extended abstract. FTfJP@ECOOP Paola Giannini, Marco Servetto, Elena Zucca
2017	J	`jnl`	Type safe incremental rebinding. Math. Struct. Comput. Sci. Davide Ancona, Paola Giannini, Elena Zucca
2016	—	`conf`	Coupling catch clauses with local declarations. FTfJP@ECOOP Paola Giannini, Marco Servetto, Elena Zucca
2016	C	`conf`	Exploring the Potential of Global Types for Adding a Choreography Perspective to the jABC Framework. MODELSWARD Paola Giannini, Anna-Lena Lamprecht, Tiziana Margaria
2016	Misc	`conf`	Initialize-and-catch. SAC Paola Giannini, Marco Servetto, Elena Zucca
2016	—	`conf`	Reversible Multiparty Sessions with Checkpoints. EXPRESS/SOS Mariangiola Dezani-Ciancaglini, Paola Giannini
2016	—	`conf`	Runtime Checks as Nominal Types. ICTCS Paola Giannini, Marco Servetto, Elena Zucca
2016	—	`conf`	Types for Immutability and Aliasing Control. ICTCS Paola Giannini, Marco Servetto, Elena Zucca
2015	J	`jnl`	A computational modeling language for complex laboratory experiments. Nano Commun. Networks Adriana B. Compagnoni, Paola Giannini, Christopher Kelley
2015	—	`conf`	Constrained Polymorphic Types for a Calculus with Name Variables. TYPES Davide Ancona, Paola Giannini, Elena Zucca
2015	—	`conf`	Formal Attributes Traceability in Modular Language Development Frameworks. ICTCS Walter Cazzola, Paola Giannini, Albert Shaqiri
2015	—	`conf`	Incremental Rebinding with Name Polymorphism. ICTCS Davide Ancona, Paola Giannini, Elena Zucca
2015	J	`jnl`	Interactions between Computer Science and Biology. Theor. Comput. Sci. Paola Giannini, Emanuela Merelli, Angelo Troina
2014	—	`conf`	State-Sensitive Computational Modeling. BICT Adriana B. Compagnoni, Paola Giannini, Christopher Kelley
2013	—	`conf`	A Calculus of Located Entities. DCM Adriana B. Compagnoni, Paola Giannini, Catherine Kim, Matthew Milideo, Vishakha Sharma
2013	C	`conf`	An Intermediate Language for Compilation to Scripting Languages. ICSOFT Paola Giannini, Albert Shaqiri
2013	—	`conf`	Compiling Functional to Scripting Languages. ICSOFT (Selected Papers) Paola Giannini, Albert Shaqiri
2013	—	`ed.`	Proceedings of the Third International Workshop on Interactions Between Computer Science and Biology, CS2Bio 2012, Stockholm, Sweden, June 16, 2012 CS2Bio Paola Giannini, Erik P. de Vink
2013	J	`jnl`	Type Directed Semantics for the Calculus of Looping Sequences. Int. J. Softw. Informatics Livio Bioglio, Mariangiola Dezani-Ciancaglini, Paola Giannini, Angelo Troina
2012	—	`conf`	Parallel BioScape: A Stochastic and Parallel Language for Mobile and Spatial Interactions MeCBIC Adriana B. Compagnoni, Mariangiola Dezani-Ciancaglini, Paola Giannini, Karin Sauer, Vishakha Sharma, Angelo Troina
2012	—	`conf`	Preface. CS2Bio Paola Giannini, Erik P. de Vink
2012	—	`conf`	Reconciling positional and nominal binding. ITRS Davide Ancona, Paola Giannini, Elena Zucca
2012	J	`jnl`	Standard Type Soundness for Agents and Artifacts. Sci. Ann. Comput. Sci. Ferruccio Damiani, Paola Giannini, Alessandro Ricci, Mirko Viroli
2012	J	`jnl`	Typed stochastic semantics for the calculus of looping sequences. Theor. Comput. Sci. Livio Bioglio, Mariangiola Dezani-Ciancaglini, Paola Giannini, Angelo Troina
2011	—	`conf`	A Calculus of Looping Sequences with Local Rules DCM Livio Bioglio, Mariangiola Dezani-Ciancaglini, Paola Giannini, Angelo Troina
2011	—	`conf`	Annotated Stochastic Context Free Grammars for Analysis and Synthesis of Proteins. EvoBio Eva Sciacca, Salvatore Spinella, Dino Ienco, Paola Giannini
2011	J	`jnl`	Extending the lambda-calculus with unbind and rebind. RAIRO Theor. Informatics Appl. Mariangiola Dezani-Ciancaglini, Paola Giannini, Elena Zucca
2011	—	`conf`	Preface. CS2Bio@DisCoTec Paola Giannini, Jean Krivine
2011	—	`ed.`	The Second International Workshop on Interactions between Computer Science and Biology, CS2Bio@DisCoTec 2011, Reykjavik, Iceland, June 9, 2011 CS2Bio@DisCoTec Paola Giannini, Jean Krivine
2010	—	`conf`	Intersection types for unbind and rebind ITRS Mariangiola Dezani-Ciancaglini, Paola Giannini, Elena Zucca
2009	—	`conf`	A Calculus of Agents and Artifacts. ICSOFT (Selected Papers) Ferruccio Damiani, Paola Giannini, Alessandro Ricci, Mirko Viroli
2009	—	`conf`	A Type System for Required/Excluded Elements in CLS DCM Mariangiola Dezani-Ciancaglini, Paola Giannini, Angelo Troina
2009	—	`conf`	A Type System for a Stochastic CLS MeCBIC Mariangiola Dezani-Ciancaglini, Paola Giannini, Angelo Troina
2009	—	`conf`	FEATHERWEIGHT AGENT LANGUAGE - A Core Calculus for Agents and Artifacts. ICSOFT (1) Ferruccio Damiani, Paola Giannini, Alessandro Ricci, Mirko Viroli
2009	B	`conf`	Intersection, Universally Quantified, and Reference Types. CSL Mariangiola Dezani-Ciancaglini, Paola Giannini, Simona Ronchi Della Rocca
2009	—	`conf`	The essence of static and dynamic bindings. ICTCS Mariangiola Dezani-Ciancaglini, Paola Giannini, Elena Zucca
2008	J	`jnl`	A Calculus of Evolving Objects. Sci. Ann. Comput. Sci. Mariangiola Dezani-Ciancaglini, Paola Giannini, Oscar Nierstrasz
2008	J	`jnl`	A type safe state abstraction for coordination in Java -like languages. Acta Informatica Ferruccio Damiani, Elena Giachino, Paola Giannini, Sophia Drossopoulou
2008	J	`jnl`	Alias Types and Effects for "Environment-aware" Computations. Fundam. Informaticae Ferruccio Damiani, Elena Giachino, Paola Giannini
2007	J	`jnl`	A provenly correct translation of Fickle into Java. ACM Trans. Program. Lang. Syst. Davide Ancona, Christopher Anderson, Ferruccio Damiani, Sophia Drossopoulou, Paola Giannini, Elena Zucca
2006	—	`conf`	On State Classes and Their Dynamic Semantics. ICSOFT (Selected Papers) Ferruccio Damiani, Elena Giachino, Paola Giannini, Emanuele Cazzola
2006	—	`conf`	On state classes and their dynamic semantics. ICSOFT (1) Ferruccio Damiani, Elena Giachino, Paola Giannini, Emanuele Cazzola
2006	J	`jnl`	Safe Ambients: Abstract machine and distributed implementation. Sci. Comput. Program. Paola Giannini, Davide Sangiorgi, Andrea Valente
2005	A	`conf`	Towards Type Inference for JavaScript. ECOOP Christopher Anderson, Paola Giannini, Sophia Drossopoulou
2004	J	`jnl`	On Re-classification and Multi-threading. J. Object Technol. Ferruccio Damiani, Mariangiola Dezani-Ciancaglini, Paola Giannini
2004	Misc	`conf`	Re-classification and multi-threading: SAC Ferruccio Damiani, Mariangiola Dezani-Ciancaglini, Paola Giannini
2004	—	`conf`	Type Checking for JavaScript. WOOD Christopher Anderson, Paola Giannini
2003	—	`conf`	Alias types for "environment-aware" computations. WOOD Ferruccio Damiani, Paola Giannini
2003	—	`conf`	Refined Effects for Unanticipated Object Re-classification: Fickle ICTCS Ferruccio Damiani, Sophia Drossopoulou, Paola Giannini
2002	—	`conf`	A Calculus for "Environment-Aware" Computation. F-WAN@ICALP Viviana Bono, Ferruccio Damiani, Paola Giannini
2002	J	`jnl`	More dynamic object reclassification: Fickle ACM Trans. Program. Lang. Syst. Sophia Drossopoulou, Ferruccio Damiani, Mariangiola Dezani-Ciancaglini, Paola Giannini
2002	J	`jnl`	Strictness, totality, and non-standard-type inference. Theor. Comput. Sci. Mario Coppo, Ferruccio Damiani, Paola Giannini
2001	—	`conf`	A type preserving translation of Fickle into Java. TOSCA Davide Ancona, Christopher Anderson, Ferruccio Damiani, Sophia Drossopoulou, Paola Giannini, Elena Zucca
2001	—	`conf`	An Effective Translation of Fickle into Java. ICTCS Davide Ancona, Christopher Anderson, Ferruccio Damiani, Sophia Drossopoulou, Paola Giannini, Elena Zucca
2001	A	`conf`	Fickle : Dynamic Object Re-classification. ECOOP Sophia Drossopoulou, Ferruccio Damiani, Mariangiola Dezani-Ciancaglini, Paola Giannini
2000	J	`jnl`	Automatic useless-code elimination for HOT functional programs. J. Funct. Program. Ferruccio Damiani, Paola Giannini
2000	—	`conf`	Type-Based Useless-Code Elimination for Functional Programs. SAIG Stefano Berardi, Mario Coppo, Ferruccio Damiani, Paola Giannini
1999	J	`jnl`	A filter model for mobile processes. Math. Struct. Comput. Sci. Ferruccio Damiani, Mariangiola Dezani-Ciancaglini, Paola Giannini
1997	—	`conf`	An Inference Algorithm for Strictness. TLCA Ferruccio Damiani, Paola Giannini
1997	—	`conf`	On Strictness and Totality. TACS Mario Coppo, Ferruccio Damiani, Paola Giannini
1996	B	`conf`	Refinement Types for Program Analysis. SAS Mario Coppo, Ferruccio Damiani, Paola Giannini
1995	J	`jnl`	Principal Types and Unification for a Simple Intersection Type System Inf. Comput. Mario Coppo, Paola Giannini
1994	—	`conf`	A Decidable Intersection Type System based on Relevance. TACS Ferruccio Damiani, Paola Giannini
1994	J	`jnl`	A Type Inference Algorithm for a Stratified Polymorphic Type Discipline Inf. Comput. Paola Giannini, Simona Ronchi Della Rocca
1993	J	`jnl`	Type Inference: Some Results, Some Problems. Fundam. Informaticae Paola Giannini, Furio Honsell, Simona Ronchi Della Rocca
1992	—	`conf`	A Complete Type Inference Algorithm for Simple Intersection Types. CAAP Mario Coppo, Paola Giannini
1991	—	`conf`	Type Inference in Polymorphic Type Discipline. TACS Paola Giannini, Simona Ronchi Della Rocca
1988	A*	`conf`	Characterization of typings in polymorphic type discipline LICS Paola Giannini, Simona Ronchi Della Rocca
1984	J	`jnl`	Effectively Given Domains and Lambda-Calculus Models Inf. Control. Paola Giannini, Giuseppe Longo