Bounded Session Types for Object Oriented Languages. - Mariangiola Dezani-Ciancaglini; Elena Giachino; Sophia Drossopoulou; Nobuko Yoshida (FMCO, 2006)

On state classes and their dynamic semantics. - Ferruccio Damiani; Elena Giachino; Paola Giannini; Emanuele Cazzola (ICSOFT (1), 2006)

Featherweight wrap Java. - Lorenzo Bettini; Sara Capecchi; Elena Giachino (SAC, 2007)

Session and Union Types for Object Oriented Programming. - Lorenzo Bettini; Sara Capecchi; Mariangiola Dezani-Ciancaglini; Elena Giachino; Betti Venneri (Concurrency, Graphs and Models, 2008)

On Traits and Types in a Java-like Setting. - Viviana Bono; Ferruccio Damiani; Elena Giachino (IFIP TCS, 2008)

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

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

Featherweight Wrap Java: wrapping objects and methods. - Lorenzo Bettini; Sara Capecchi; Elena Giachino (J. Object Technol., 2008)

Foundations of session types. - Giuseppe Castagna; Mariangiola Dezani-Ciancaglini; Elena Giachino; Luca Padovani (PPDP, 2009)

Amalgamating sessions and methods in object-oriented languages with generics. - Sara Capecchi; Mario Coppo; Mariangiola Dezani-Ciancaglini; Sophia Drossopoulou; Elena Giachino (Theor. Comput. Sci., 2009)

Global Escape in Multiparty Sessions. - Sara Capecchi; Elena Giachino; Nobuko Yoshida (FSTTCS, 2010)

Analysis of Deadlocks in Object Groups. - Elena Giachino; Cosimo Laneve (FMOODS/FORTE, 2011)

Session types revisited. - Ornela Dardha; Elena Giachino; Davide Sangiorgi (PPDP, 2012)

A Beginner's Guide to the DeadLock Analysis Model. - Elena Giachino; Cosimo Laneve (TGC, 2012)

Deadlock Analysis of Concurrent Objects: Theory and Practice. - Elena Giachino; Carlo Augusto Grazia; Cosimo Laneve; Michael Lienhardt; Peter Y. H. Wong (IFM, 2013)

A Type System for Components. - Ornela Dardha; Elena Giachino; Michael Lienhardt (SEFM, 2013)

Deriving session and union types for objects. - Lorenzo Bettini; Sara Capecchi; Mariangiola Dezani-Ciancaglini; Elena Giachino; Betti Venneri (Math. Struct. Comput. Sci., 2013)

Deadlock Analysis of Unbounded Process Networks. - Elena Giachino; Naoki Kobayashi 001; Cosimo Laneve (CONCUR, 2014)

Causal-Consistent Reversible Debugging. - Elena Giachino; Ivan Lanese; Claudio Antares Mezzina (FASE, 2014)

Towards the Typing of Resource Deployment. - Elena Giachino; Cosimo Laneve (ISoLA (2), 2014)

Deadlock Detection in Linear Recursive Programs. - Elena Giachino; Cosimo Laneve (SFM, 2014)

Time Complexity of Concurrent Programs - - A Technique Based on Behavioural Types -. - Elena Giachino; Einar Broch Johnsen; Cosimo Laneve; Ka I Pun (FACS, 2015)

Causal-Consistent Reversibility in a Tuple-Based Language. - Elena Giachino; Ivan Lanese; Claudio Antares Mezzina; Francesco Tiezzi 001 (PDP, 2015)

Time complexity of concurrent programs. - Elena Giachino; Einar Broch Johnsen; Cosimo Laneve; Ka I Pun (CoRR, 2015)

Statically and Dynamically Verifiable SLA Metrics. - Elena Giachino; Stijn de Gouw; Cosimo Laneve; Behrooz Nobakht (Theory and Practice of Formal Methods, 2016)

Actors may synchronize, safely! - Elena Giachino; Ludovic Henrio; Cosimo Laneve; Vincenzo Mastandrea (PPDP, 2016)

Behavioral Types in Programming Languages. - Davide Ancona; Viviana Bono; Mario Bravetti; Joana Campos 002; Giuseppe Castagna; Pierre-Malo Deniélou; Simon J. Gay; Nils Gesbert; Elena Giachino; Raymond Hu; Einar Broch Johnsen; Francisco Martins; et al. (Found. Trends Program. Lang., 2016)

A framework for deadlock detection in core ABS. - Elena Giachino; Cosimo Laneve; Michael Lienhardt (Softw. Syst. Model., 2016)

Dynamic Rebinding for Concurrent Object Groups: Theory and practice. - Mario Bravetti; Elena Giachino; Michael Lienhardt; Peter Y. H. Wong (J. Log. Algebraic Methods Program., 2017)

Causal-consistent rollback in a tuple-based language. - Elena Giachino; Ivan Lanese; Claudio Antares Mezzina; Francesco Tiezzi 001 (J. Log. Algebraic Methods Program., 2017)

Analysis of SLA Compliance in the Cloud - An Automated, Model-based Approach. - Frank S. de Boer; Elena Giachino; Stijn de Gouw; Reiner Hähnle; Einar Broch Johnsen; Cosimo Laneve; Ka I Pun; Gianluigi Zavattaro (VORTEX@ECOOP/ISSTA, 2018)

Foundations of Session Types: 10 Years Later. - Giuseppe Castagna; Mariangiola Dezani-Ciancaglini; Elena Giachino; Luca Padovani (PPDP, 2019)

Session Types Revisited: A Decade Later. - Ornela Dardha; Elena Giachino; Davide Sangiorgi (PPDP, 2022)