Benefits of session types for software development. - Adriana Laura Voinea; Simon J. Gay (PLATEAU@SPLASH, 2016)

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

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

A Model of Actors and Grey Failures. - Laura Bocchi; Julien Lange; Simon Thompson 001; Adriana Laura Voinea (COORDINATION, 2022)

A Theory of Protocol Composition. - Laura Bocchi; Dominic Orchard; Adriana Laura Voinea (CoRR, 2022)

A Theory of Composing Protocols. - Laura Bocchi; Dominic Orchard; Adriana Laura Voinea (Art Sci. Eng. Program., 2023)

A Session Type System for Asynchronous Unreliable Broadcast Communication. - Dimitrios Kouzapas; Ramunas Gutkovas; Adriana Laura Voinea; Simon J. Gay (Log. Methods Comput. Sci., 2024)