High-performance technical computing with erlang. - Alceste Scalas; Giovanni Casu; Piero Pili (Erlang Workshop, 2008)

Choreography Synthesis as Contract Agreement. - Julien Lange; Alceste Scalas (ICE, 2013)

A Semantic Deconstruction of Session Types. - Massimo Bartoletti; Alceste Scalas; Roberto Zunino (CONCUR, 2014)

Modelling and Verifying Contract-Oriented Systems in Maude. - Massimo Bartoletti; Maurizio Murgia 001; Alceste Scalas; Roberto Zunino (WRLA, 2014)

The LTS WorkBench. - Alceste Scalas; Massimo Bartoletti (ICE, 2015)

Choreographies in the wild. - Massimo Bartoletti; Julien Lange; Alceste Scalas; Roberto Zunino (Sci. Comput. Program., 2015)

Lightweight Session Programming in Scala. - Alceste Scalas; Nobuko Yoshida (ECOOP, 2016)

Honesty by Typing - Massimo Bartoletti; Alceste Scalas; Emilio Tuosto; Roberto Zunino (Log. Methods Comput. Sci., 2016)

Lightweight Session Programming in Scala (Artifact). - Alceste Scalas; Nobuko Yoshida (Dagstuhl Artifacts Ser., 2016)

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

Multiparty Session Types, Beyond Duality (Abstract). - Alceste Scalas; Nobuko Yoshida (PLACES@ETAPS, 2017)

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

Verifiable abstractions for contract-oriented systems. - Massimo Bartoletti; Maurizio Murgia 001; Alceste Scalas; Roberto Zunino (J. Log. Algebraic Methods Program., 2017)

On the Preciseness of Subtyping in Session Types. - Tzu-Chun Chen; Mariangiola Dezani-Ciancaglini; Alceste Scalas; Nobuko Yoshida (Log. Methods Comput. Sci., 2017)

Multiparty session types, beyond duality. - Alceste Scalas; Nobuko Yoshida (J. Log. Algebraic Methods Program., 2018)

Verifying message-passing programs with dependent behavioural types. - Alceste Scalas; Nobuko Yoshida; Elias Benussi (PLDI, 2019)

Effpi: verified message-passing programs in Dotty. - Alceste Scalas; Nobuko Yoshida; Elias Benussi (SCALA@ECOOP, 2019)

Precise subtyping for synchronous multiparty sessions. - Silvia Ghilezan; Svetlana Jaksic; Jovanka Pantovic; Alceste Scalas; Nobuko Yoshida (J. Log. Algebraic Methods Program., 2019)

Less is more: multiparty session types revisited. - Alceste Scalas; Nobuko Yoshida (Proc. ACM Program. Lang., 2019)

Towards a Hybrid Verification Methodology for Communication Protocols (Short Paper). - Christian Bartolo Burlò; Adrian Francalanza; Alceste Scalas (FORTE, 2020)

Towards Probabilistic Session-Type Monitoring. - Christian Bartolo Burlò; Adrian Francalanza; Alceste Scalas; Catia Trubiani; Emilio Tuosto (COORDINATION, 2021)

On the Monitorability of Session Types, in Theory and Practice. - Christian Bartolo Burlò; Adrian Francalanza; Alceste Scalas (ECOOP, 2021)

A Formal Model of Algorand Smart Contracts. - Massimo Bartoletti; Andrea Bracciali; Cristian Lepore; Alceste Scalas; Roberto Zunino (Financial Cryptography (1), 2021)

On the Monitorability of Session Types, in Theory and Practice (Extended Version). - Christian Bartolo Burlò; Adrian Francalanza; Alceste Scalas (CoRR, 2021)

Behavioural Types: Bridging Theory and Practice (Dagstuhl Seminar 21372). - Mariangiola Dezani; Roland Kuhn 002; Sam Lindley; Alceste Scalas (Dagstuhl Reports, 2021)

On the Monitorability of Session Types, in Theory and Practice (Artifact). - Christian Bartolo Burlò; Adrian Francalanza; Alceste Scalas (Dagstuhl Artifacts Ser., 2021)

Precise subtyping for asynchronous multiparty sessions. - Silvia Ghilezan; Jovanka Pantovic; Ivan Prokic; Alceste Scalas; Nobuko Yoshida (Proc. ACM Program. Lang., 2021)

Generalised Multiparty Session Types with Crash-Stop Failures. - Adam D. Barwell; Alceste Scalas; Nobuko Yoshida; Fangyi Zhou 002 (CONCUR, 2022)

Generalised Multiparty Session Types with Crash-Stop Failures (Technical Report). - Adam D. Barwell; Alceste Scalas; Nobuko Yoshida; Fangyi Zhou 002 (CoRR, 2022)

PSTMonitor: Monitor synthesis from probabilistic session types. - Christian Bartolo Burlò; Adrian Francalanza; Alceste Scalas; Catia Trubiani; Emilio Tuosto (Sci. Comput. Program., 2022)

P4R-Type: a Verified API for P4 Control Plane Programs (Technical Report). - Jens Kanstrup Larsen; Roberto Guanciale; Philipp Haller; Alceste Scalas (CoRR, 2023)

P4R-Type: A Verified API for P4 Control Plane Programs. - Jens Kanstrup Larsen; Roberto Guanciale; Philipp Haller; Alceste Scalas (Proc. ACM Program. Lang., 2023)

Encoding Petri Nets into CCS. - Benjamin Bogø; Andrea Burattin; Alceste Scalas (COORDINATION, 2024)

COTS: Connected OpenAPI Test Synthesis for RESTful Applications. - Christian Bartolo Burlò; Adrian Francalanza; Alceste Scalas; Emilio Tuosto (COORDINATION, 2024)

The Concurrent Calculi Formalisation Benchmark. - Marco Carbone; David Castro-Perez; Francisco Ferreira 001; Lorenzo Gheri; Frederik Krogsdal Jacobsen; Alberto Momigliano; Luca Padovani; Alceste Scalas; Dawit Legesse Tirore; Martin Vassor; Nobuko Yoshida; Daniel Zackon (COORDINATION, 2024)

Fair Join Pattern Matching for Actors. - Philipp Haller; Ayman Hussein; Hernán C. Melgratti; Alceste Scalas; Emilio Tuosto (ECOOP, 2024)

Behavioural Types for Heterogeneous Systems (Position Paper). - Simon Fowler 001; Philipp Haller; Roland Kuhn 002; Sam Lindley; Alceste Scalas; Vasco T. Vasconcelos (PLACES@ETAPS, 2024)

Encoding Petri Nets into CCS (Technical Report). - Benjamin Bogø; Andrea Burattin; Alceste Scalas (CoRR, 2024)

Fair Join Pattern Matching for Actors (Artifact). - Philipp Haller; Ayman Hussein; Hernán C. Melgratti; Alceste Scalas; Emilio Tuosto (Dagstuhl Artifacts Ser., 2024)

Preface for the special issue on selected software artifacts from DisCoTec 2023 - the 18th International Federated Conference on Distributed Computing Techniques. - Roberto Casadei; Vinicius Vielmo Cogo; Tom van Dijk; Alceste Scalas (Sci. Comput. Program., 2025)

Relaxed Choices in Bottom-Up Asynchronous Multiparty Session Types. - Ivan Prokic; Simona Prokic; Silvia Ghilezan; Alceste Scalas; Nobuko Yoshida (CoRR, 2025)

Correct Black-Box Monitors for Distributed Deadlock Detection: Formalisation and Implementation (Technical Report). - Radoslaw Jan Rowicki; Adrian Francalanza; Alceste Scalas (CoRR, 2025)

PN2CCS: A tool to encode Petri nets into calculus of communicating systems. - Benjamin Bogø; Andrea Burattin; Alceste Scalas (Sci. Comput. Program., 2026)