Semantics of Distributed Processes Derived by Translation. - Egidio Astesiano; Elena Zucca (GI Jahrestagung, 1981)

Semantics of CSP via Translation into CCS. - Egidio Astesiano; Elena Zucca (MFCS, 1981)

Parametric Channels via Label Expressions in CCS. - Egidio Astesiano; Elena Zucca (Theor. Comput. Sci., 1984)

An Integrated Algebraic Approach to the Specification of Data Types, Processes and Objects. - Egidio Astesiano; Alessandro Giovini; Gianna Reggio; Elena Zucca (Algebraic Methods, 1987)

An Algebraic Compositional Semantics of an Object Oriented Notation with Concurrency. - Ruth Breu; Elena Zucca (FSTTCS, 1989)

A Semantic Model for Dynamic Systems. - Egidio Astesiano; Elena Zucca (FMLDO, 1992)

Stores as Homomorphisms and their Transformations. - Egidio Astesiano; Gianna Reggio; Elena Zucca (MFCS, 1993)

Implementation of Data Structures in an Imperative Framework. - Elena Zucca (COMPASS/ADT, 1994)

D-oids: A Model for Dynamic Data-Types. - Egidio Astesiano; Elena Zucca (Math. Struct. Comput. Sci., 1995)

An Algebraic Approach to Mixins and Modularity. - Davide Ancona; Elena Zucca (ALP, 1996)

A Formal Framework for Modules with State. - Davide Ancona; Elena Zucca (AMAST, 1996)

From Static to Dynamic Abstract Data-Types. - Elena Zucca (MFCS, 1996)

An Algebraic Semantic Framework for Object Oriented Languages with Concurrency (Extended Abstract). - Ruth Breu; Elena Zucca (Formal Aspects Comput., 1996)

A Free Construction of Dynamic Terms. - Egidio Astesiano; Elena Zucca (J. Comput. Syst. Sci., 1996)

Overriding Operators in a Mixin-Based Framework. - Davide Ancona; Elena Zucca (PLILP, 1997)

An algebra of mixin modules. - Davide Ancona; Elena Zucca (WADT, 1997)

Implementation of derived programs (almost) for free. - Maura Cerioli; Elena Zucca (WADT, 1997)

A Theory of Mixin Modules: Basic and Derived Operators. - Davide Ancona; Elena Zucca (Math. Struct. Comput. Sci., 1998)

A Formal Framework with Late Binding. - Davide Ancona; Maura Cerioli; Elena Zucca (FASE, 1999)

A Primitive Calculus for Module Systems. - Davide Ancona; Elena Zucca (PPDP, 1999)

Extending Casl by Late Binding. - Davide Ancona; Maura Cerioli; Elena Zucca (WADT, 1999)

Deriving Proof Rules from Continuation Semantics. - Philippe Audebaud; Elena Zucca (Formal Aspects Comput., 1999)

Stores as Homomorphisms and Their Transformations: A Uniform Approach to Structured Types in Imperative Languages. - Egidio Astesiano; Gianna Reggio; Elena Zucca (Sci. Comput. Program., 1999)

From Static to Dynamic Abstract Data-Types: An Institution Transformation. - Elena Zucca (Theor. Comput. Sci., 1999)

Jam - A Smooth Extension of Java with Mixins. - Davide Ancona; Giovanni Lagorio; Elena Zucca (ECOOP, 2000)

True Modules for Java-like Languages. - Davide Ancona; Elena Zucca (ECOOP, 2001)

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

A Core Calculus for Java Exceptions. - Davide Ancona; Giovanni Lagorio; Elena Zucca (OOPSLA, 2001)

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

A Formal Framework for Java Separate Compilation. - Davide Ancona; Giovanni Lagorio; Elena Zucca (ECOOP, 2002)

True separate compilation of Java classes. - Davide Ancona; Giovanni Lagorio; Elena Zucca (PPDP, 2002)

A calculus of module systems. - Davide Ancona; Elena Zucca (J. Funct. Program., 2002)

A Theory of Mixin Modules: Algebraic Laws and Reduction Semantics. - Davide Ancona; Elena Zucca (Math. Struct. Comput. Sci., 2002)

Mixin Modules and Computational Effects. - Davide Ancona; Sonia Fagorzi; Eugenio Moggi; Elena Zucca (ICALP, 2003)

A Calculus for Dynamic Linking. - Davide Ancona; Sonia Fagorzi; Elena Zucca (ICTCS, 2003)

Jam - designing a Java extension with mixins. - Davide Ancona; Giovanni Lagorio; Elena Zucca (ACM Trans. Program. Lang. Syst., 2003)

A Calculus with Lazy Module Operators. - Davide Ancona; Sonia Fagorzi; Elena Zucca (IFIP TCS, 2004)

Principal typings for Java-like languages. - Davide Ancona; Elena Zucca (POPL, 2004)

Modeling multiple class loaders by a calculus for dynamic linking. - Sonia Fagorzi; Elena Zucca; Davide Ancona (SAC, 2004)

A Calculus for Dynamic Reconfiguration with Low Priority Linking. - Davide Ancona; Sonia Fagorzi; Elena Zucca (WOOD, 2004)

A Case-Study in Encoding Configuration Languages: Multiple Class Loaders. - Sonia Fagorzi; Elena Zucca (J. Object Technol., 2004)

Polymorphic bytecode: compositional compilation for Java-like languages. - Davide Ancona; Ferruccio Damiani; Sophia Drossopoulou; Elena Zucca (POPL, 2005)

Mixin Modules for Dynamic Rebinding. - Davide Ancona; Sonia Fagorzi; Elena Zucca (TGC, 2005)

A Calculus for Reconfiguration: (Extended abstract). - Sonia Fagorzi; Elena Zucca (DCM@ICALP, 2005)

Formal Techniques for Java-Like Programs. - Davide Ancona; Sophia Drossopoulou; Atsushi Igarashi; Gary T. Leavens; Arnd Poetzsch-Heffter; Elena Zucca (ECOOP Workshops, 2006)

Flexible Type-Safe Linking of Components for Java-Like Languages. - Davide Ancona; Giovanni Lagorio; Elena Zucca (JMLC, 2006)

Introducing safe unknown types in Java-like languages. - Giovanni Lagorio; Elena Zucca (SAC, 2006)

A Framework for Type Safe Exchange of Mobile Code. - Sonia Fagorzi; Elena Zucca (TGC, 2006)

A Calculus of Components with Dynamic Type-Checking. - Sonia Fagorzi; Elena Zucca (FACS, 2006)

Type inference for polymorphic methods in Java-like languages. - Davide Ancona; Giovanni Lagorio; Elena Zucca (ICTCS, 2007)

A formal framework for compositional compilation. - Davide Ancona; Elena Zucca (ICTCS, 2007)

A Parametric Calculus for Mobile Open Code. - Davide Ancona; Sonia Fagorzi; Elena Zucca (DCM@ICALP, 2007)

Just: Safe Unknown Types in Java-like Languages. - Giovanni Lagorio; Elena Zucca (J. Object Technol., 2007)

A calculus of open modules: call-by-need strategy and confluence. - Sonia Fagorzi; Elena Zucca (Math. Struct. Comput. Sci., 2007)

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)

Type Inference by Coinductive Logic Programming. - Davide Ancona; Giovanni Lagorio; Elena Zucca (TYPES, 2008)

Featherweight Jigsaw: A Minimal Core Calculus for Modular Composition of Classes. - Giovanni Lagorio; Marco Servetto; Elena Zucca (ECOOP, 2009)

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

Customizable composition operators for Java-like classes. - Giovanni Lagorio; Marco Servetto; Elena Zucca (ICTCS, 2009)

A Lightweight Approach to Customizable Composition Operators for Java-like Classes. - Giovanni Lagorio; Marco Servetto; Elena Zucca (FACS@FMWeek, 2009)

MetaFJig: a meta-circular composition language for Java-like classes. - Marco Servetto; Elena Zucca (OOPSLA, 2010)

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

2011 international workshop on foundations of object-oriented languages (fool'11): splash/oopsla '11 workshop summary. - Jonathan Aldrich; Jeremy G. Siek; Elena Zucca (OOPSLA Companion, 2011)

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

Corecursive Featherweight Java. - Davide Ancona; Elena Zucca (FTfJP@ECOOP, 2012)

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

Featherweight Jigsaw - Replacing inheritance by composition in Java-like languages. - Giovanni Lagorio; Marco Servetto; Elena Zucca (Inf. Comput., 2012)

DeepFJig - Modular composition of nested classes. - Andrea Corradi; Marco Servetto; Elena Zucca (J. Object Technol., 2012)

Safe corecursion in coFJ. - Davide Ancona; Elena Zucca (FTfJP@ECOOP, 2013)

A meta-circular language for active libraries. - Marco Servetto; Elena Zucca (Sci. Comput. Program., 2014)

Aliasing Control in an Imperative Pure Calculus. - Marco Servetto; Elena Zucca (APLAS, 2015)

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)

An Imperative Pure Calculus. - Andrea Capriccioli; Marco Servetto; Elena Zucca (ICTCS, 2015)

Towards a model of corecursion with default. - Davide Ancona; Francesco Dagnino; Elena Zucca (FTfJP@ECOOP, 2016)

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)

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

Extending Coinductive Logic Programming with Co-Facts. - Davide Ancona; Francesco Dagnino; Elena Zucca (CoALP-Ty, 2016)

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

Generalizing Inference Systems by Coaxioms. - Davide Ancona; Francesco Dagnino; Elena Zucca (ESOP, 2017)

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

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

Reasoning on divergent computations with coaxioms. - Davide Ancona; Francesco Dagnino; Elena Zucca (Proc. ACM Program. Lang., 2017)

Modeling Infinite Behaviour by Corules. - Davide Ancona; Francesco Dagnino; Elena Zucca (ECOOP, 2018)

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

Semantic Subtyping for Non-Strict Languages. - Tommaso Petrucciani; Giuseppe Castagna; Davide Ancona; Elena Zucca (TYPES, 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)

Is Solidity Solid Enough? - Silvia Crafa; Matteo Di Pirro; Elena Zucca (Financial Cryptography Workshops, 2019)

Corecursive Featherweight Java Revisited. - Pietro Barbieri; Francesco Dagnino; Elena Zucca; Davide Ancona (ICTCS, 2019)

Tracing and Preventing Sharing and Mutation. - Paola Giannini; Marco Servetto; Elena Zucca (ICTCS, 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)

Sound Regular Corecursion in coFJ. - Davide Ancona; Pietro Barbieri; Francesco Dagnino; Elena Zucca (ECOOP, 2020)

A Big Step from Finite to Infinite Computations (SCICO Journal-first). - Davide Ancona; Francesco Dagnino; Jurriaan Rot; Elena Zucca (ECOOP, 2020)

An inductive abstract semantics for coFJ. - Pietro Barbieri; Francesco Dagnino; Elena Zucca (FTfJP@ECOOP, 2020)

Soundness Conditions for Big-Step Semantics. - Francesco Dagnino; Viviana Bono; Elena Zucca; Mariangiola Dezani-Ciancaglini (ESOP, 2020)

A big step from finite to infinite computations. - Davide Ancona; Francesco Dagnino; Jurriaan Rot; Elena Zucca (Sci. Comput. Program., 2020)

Flexible coinductive logic programming. - Francesco Dagnino; Davide Ancona; Elena Zucca (Theory Pract. Log. Program., 2020)

λ-Based Object-Oriented Programming (Pearl). - Marco Servetto; Elena Zucca (ECOOP, 2021)

Enhanced Regular Corecursion for Data Streams. - Davide Ancona; Pietro Barbieri; Elena Zucca (ICTCS, 2021)

Flexible Coinduction in Agda. - Luca Ciccone; Francesco Dagnino; Elena Zucca (ITP, 2021)

Enhancing Expressivity of Checked Corecursive Streams. - Davide Ancona; Pietro Barbieri; Elena Zucca (FLOPS, 2022)

Equality of Corecursive Streams Defined by Finitary Equational Systems. - Davide Ancona; Pietro Barbieri; Elena Zucca (ICTCS, 2022)

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

Enhancing expressivity of checked corecursive streams (extended version). - Davide Ancona; Pietro Barbieri; Elena Zucca (CoRR, 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)

Checked corecursive streams: Expressivity and completeness. - Davide Ancona; Pietro Barbieri; Elena Zucca (Theor. Comput. Sci., 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)

Checking equivalence of corecursive streams: An inductive procedure. - Davide Ancona; Pietro Barbieri; Elena Zucca (Theor. Comput. Sci., 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)

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