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

Progress as Compositional Lock-Freedom. - Marco Carbone; Ornela Dardha; Fabrizio Montesi (COORDINATION, 2014)

On Duality Relations for Session Types. - Giovanni Bernardi 001; Ornela Dardha; Simon J. Gay; Dimitrios Kouzapas (TGC, 2014)

Recursive Session Types Revisited. - Ornela Dardha (BEAT, 2014)

Type Systems for Distributed Programs: Components and Sessions. - Ornela Dardha (2014)

Comparing Deadlock-Free Session Typed Processes. - Ornela Dardha; Jorge A. Pérez 001 (EXPRESS/SOS, 2015)

Type Systems for Distributed Programs: Session Communication. - Ornela Dardha (Bull. EATCS, 2015)

Typechecking protocols with Mungo and StMungo. - Dimitrios Kouzapas; Ornela Dardha; Roly Perera; Simon J. Gay (PPDP, 2016)

Type Systems for Distributed Programs: Components and Sessions. - Ornela Dardha (Springer / Atlantis Press, 2016)

A Linear Decomposition of Multiparty Sessions for Safe Distributed Programming. - Alceste Scalas; Ornela Dardha; Raymond Hu; Nobuko Yoshida (ECOOP, 2017)

Semantic Subtyping for Objects and Classes. - Ornela Dardha; Daniele Gorla; Daniele Varacca (Comput. J., 2017)

A Linear Decomposition of Multiparty Sessions for Safe Distributed Programming (Artifact). - Alceste Scalas; Ornela Dardha; Raymond Hu; Nobuko Yoshida (Dagstuhl Artifacts Ser., 2017)

Session types revisited. - Ornela Dardha; Elena Giachino; Davide Sangiorgi (Inf. Comput., 2017)

A New Linear Logic for Deadlock-Free Session-Typed Processes. - Ornela Dardha; Simon J. Gay (FoSSaCS, 2018)

Typechecking protocols with Mungo and StMungo: A session type toolchain for Java. - Dimitrios Kouzapas; Ornela Dardha; Roly Perera; Simon J. Gay (Sci. Comput. Program., 2018)

Resource Sharing via Capability-Based Multiparty Session Types. - A. Laura Voinea; Ornela Dardha; Simon J. Gay (IFM, 2019)

SFJ: An Implementation of Semantic Featherweight Java. - Artem Usov; Ornela Dardha (COORDINATION, 2020)

Typechecking Java Protocols with [St]Mungo. - A. Laura Voinea; Ornela Dardha; Simon J. Gay (FORTE, 2020)

Multiparty Session Types for Safe Runtime Adaptation in an Actor Language. - Paul Harvey 002; Simon Fowler 001; Ornela Dardha; Simon J. Gay (ECOOP, 2021)

π with Leftovers: A Mechanisation in Agda. - Uma Zalakain; Ornela Dardha (FORTE, 2021)

Deadlock-free session types in linear Haskell. - Wen Kokke; Ornela Dardha (Haskell, 2021)

Papaya: Global Typestate Analysis of Aliased Objects. - Mathias Jakobsen; Alice Ravier; Ornela Dardha (PPDP, 2021)

Row-Polymorphic Types for Strategic Rewriting. - Rongxiao Fu; Xueying Qin; Ornela Dardha; Michel Steuwer (CoRR, 2021)

Multiparty Session Types for Safe Runtime Adaptation in an Actor Language (Extended version). - Paul Harvey 002; Simon Fowler 001; Ornela Dardha; Simon J. Gay (CoRR, 2021)

Papaya: Global Typestate Analysis of Aliased Objects Extended Version. - Mathias Jakobsen; Alice Ravier; Ornela Dardha (CoRR, 2021)

Multiparty Session Types for Safe Runtime Adaptation in an Actor Language (Artifact). - Paul Harvey 002; Simon Fowler 001; Ornela Dardha; Simon J. Gay (Dagstuhl Artifacts Ser., 2021)

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

Comparing type systems for deadlock freedom. - Ornela Dardha; Jorge A. Pérez 001 (J. Log. Algebraic Methods Program., 2022)

MAGπ: Types for Failure-Prone Communication. - Matthew Alan Le Brun; Ornela Dardha (ESOP, 2023)

Traced Types for Safe Strategic Rewriting. - Rongxiao Fu; Ornela Dardha; Michel Steuwer (CoRR, 2023)

EXPRESSing Session Types. - Ilaria Castellani; Ornela Dardha; Luca Padovani; Davide Sangiorgi (EXPRESS/SOS, 2023)

Separating Sessions Smoothly. - Simon Fowler 001; Wen Kokke; Ornela Dardha; Sam Lindley; J. Garrett Morris (Log. Methods Comput. Sci., 2023)

Prioritise the Best Variation. - Wen Kokke; Ornela Dardha (Log. Methods Comput. Sci., 2023)

Structural Subtyping as Parametric Polymorphism. - Wenhao Tang; Daniel Hillerström; James McKinna; Michel Steuwer; Ornela Dardha; Rongxiao Fu; Sam Lindley (Proc. ACM Program. Lang., 2023)

Coconut: Typestates for Embedded Systems. - Arwa Hameed Alsubhi; Ornela Dardha (COORDINATION, 2024)

MAGπ!: The Role of Replication in Typing Failure-Prone Communication. - Matthew Alan Le Brun; Ornela Dardha (FORTE, 2024)

Session Types for the Transport Layer: Towards an Implementation of TCP. - Samuel Cavoj; Ivan Nikitin; Colin Perkins; Ornela Dardha (PLACES@ETAPS, 2024)

MAG π!: The Role of Replication in Typing Failure-Prone Communication. - Matthew Alan Le Brun; Ornela Dardha (CoRR, 2024)

Multiparty Session Types with a Bang! - Matthew Alan Le Brun; Simon Fowler 001; Ornela Dardha (ESOP (2), 2025)

Preface. - Valentina Castiglioni; Ornela Dardha; Claudio Antares Mezzina (Inf. Comput., 2025)

Preface to special issue: EXPRESS/SOS 2019 and EXPRESS/SOS 2020. - Ornela Dardha; Jorge A. Pérez 001; Jurriaan Rot (Inf. Comput., 2025)