TSTM: A Model to Predict Topics' Popularity in News Providers. - Mario Alfonso Prado-Romero; Alessandro Celi; Giovanni Stilo; Alex Coto-Santiesteban (CIARP, 2019)

Choreographic Development of Message-Passing Applications - A Tutorial. - Alex Coto; Roberto Guanciale; Emilio Tuosto (COORDINATION, 2020)

On Testing Message-Passing Components. - Alex Coto; Roberto Guanciale; Emilio Tuosto (ISoLA (1), 2020)

An abstract framework for choreographic testing. - Alex Coto; Roberto Guanciale; Emilio Tuosto (J. Log. Algebraic Methods Program., 2021)

On Formal Choreographic Modelling: A Case Study in EU Business Processes. - Alex Coto; Franco Barbanera; Ivan Lanese; Davide Rossi; Emilio Tuosto (ISoLA (1), 2022)

A Prototype for Data Race Detection in CSeq 3 - (Competition Contribution). - Alex Coto; Omar Inverso; Emerson Sales; Emilio Tuosto (TACAS (2), 2022)