A Formal Model for Trust in Dynamic Networks. - Marco Carbone; Mogens Nielsen; Vladimiro Sassone (SEFM, 2003)

On the Expressive Power of Polyadic Synchronisation in pi-calculus. - Marco Carbone; Sergio Maffeis (Nord. J. Comput., 2003)

Using Trust for Secure Collaboration in Uncertain Environments. - Vinny Cahill; Elizabeth Gray; Jean-Marc Seigneur; Christian Damsgaard Jensen; Yong Chen; Brian Shand; Nathan Dimmock; Andrew Twigg; Jean Bacon; Colin English; Waleed Wagealla; Sotirios Terzis; et al. (IEEE Pervasive Comput., 2003)

Finite-time stability of discrete-time systems. - Francesco Amato 001; Marco Carbone; Marco Ariola; Carlo Cosentino (ACC, 2004)

Control of linear discrete-time systems over a finite-time interval. - Francesco Amato 001; Marco Ariola; Marco Carbone; Carlo Cosentino (CDC, 2004)

A Calculus for Trust Management. - Marco Carbone; Mogens Nielsen; Vladimiro Sassone (FSTTCS, 2004)

Unifying Annotated Discourse Hierarchies to Create a Gold Standard. - Marco Carbone; Ya'akov Gal; Stuart M. Shieber; Barbara J. Grosz (SIGDIAL Workshop, 2004)

Finite-Time Output Feedback Control of Linear Systems via Differential Linear Matrix Conditions. - Francesco Amato 001; Marco Ariola; Marco Carbone; Carlo Cosentino (CDC, 2006)

A Calculus of Global Interaction based on Session Types. - Marco Carbone; Kohei Honda 001; Nobuko Yoshida (DCM@ICALP, 2006)

Theoretical Aspects of Communication-Centred Programming. - Marco Carbone; Kohei Honda 001; Nobuko Yoshida (LIX, 2006)

Structured Communication-Centred Programming for Web Services. - Marco Carbone; Kohei Honda 001; Nobuko Yoshida (ESOP, 2007)

Web Services, Mobile Processes and Types. - Kohei Honda 001; Nobuko Yoshida; Marco Carbone (Bull. EATCS, 2007)

Structured Interactional Exceptions in Session Types. - Marco Carbone; Kohei Honda 001; Nobuko Yoshida (CONCUR, 2008)

Session-based Choreography with Exceptions. - Marco Carbone (PLACES@DisCoTec, 2008)

Asynchronous Session Types: Exceptions and Multiparty Interactions. - Marco Carbone; Nobuko Yoshida; Kohei Honda 001 (SFM, 2009)

Choreographies with Secure Boxes and Compromised Principals - Marco Carbone; Joshua D. Guttman (ICE, 2009)

Execution Models for Choreographies and Cryptoprotocols - Marco Carbone; Joshua D. Guttman (PLACES, 2009)

Foreword: Festschrift for Mogens Nielsen's 60th birthday. - Marco Carbone; Pawel Sobocinski 001; Frank D. Valencia (Theor. Comput. Sci., 2009)

Formal Semantics and Implementation of BPMN 2.0 Inclusive Gateways. - David Raymond Christiansen; Marco Carbone; Thomas T. Hildebrandt (WS-FM, 2010)

A Graphical Approach to Progress for Structured Communication in Web Services - Marco Carbone; Søren Debois (ICE, 2010)

A Logic for Choreographies - Marco Carbone; Davide Grohmann; Thomas T. Hildebrandt; Hugo A. López 001 (PLACES, 2010)

Programming Services with Correlation Sets. - Fabrizio Montesi; Marco Carbone (ICSOC, 2011)

Refinement for Transition Systems with Responses - Marco Carbone; Thomas T. Hildebrandt; Gian Perrone; Andrzej Wasowski (FIT, 2012)

Merging Multiparty Protocols in Multiparty Choreographies - Marco Carbone; Fabrizio Montesi (PLACES, 2012)

Towards Interaction Reliability in Concurrent Applications. - Simon Bliudze; Roberto Bruni 001; Marco Carbone; Alexandra Silva 001 (Sci. Ann. Comput. Sci., 2012)

Structured Communication-Centered Programming for Web Services. - Marco Carbone; Kohei Honda 001; Nobuko Yoshida (ACM Trans. Program. Lang. Syst., 2012)

ICT-powered Health Care Processes - (Position Paper). - Marco Carbone; Anders Skovbo Christensen; Flemming Nielson; Hanne Riis Nielson; Thomas T. Hildebrandt; Martin Sølvkjær (FHIES, 2013)

Deadlock-freedom-by-design: multiparty asynchronous global programming. - Marco Carbone; Fabrizio Montesi (POPL, 2013)

Sessions and Separability in Security Protocols. - Marco Carbone; Joshua D. Guttman (POST, 2013)

Towards Global and Local Types for Adaptation. - Mario Bravetti; Marco Carbone; Thomas T. Hildebrandt; Ivan Lanese; Jacopo Mauro; Jorge A. Pérez 001; Gianluigi Zavattaro (SEFM Workshops, 2013)

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

Preface for the special issue on Interaction and Concurrency Experience 2012. - Marco Carbone; Ivan Lanese; Alexandra Silva 001; Ana Sokolova (Sci. Comput. Program., 2015)

Preface for the special issue of Interaction and Concurrency Experience 2013. - Marco Carbone; Ivan Lanese; Alberto Lluch-Lafuente; Ana Sokolova (Sci. Comput. Program., 2015)

Coherence Generalises Duality: A Logical Explanation of Multiparty Session Types. - Marco Carbone; Sam Lindley; Fabrizio Montesi; Carsten Schürmann 001; Philip Wadler (CONCUR, 2016)

Foundations of Session Types and Behavioural Contracts. - Hans Hüttel; Ivan Lanese; Vasco T. Vasconcelos; Luís Caires; Marco Carbone; Pierre-Malo Deniélou; Dimitris Mostrous; Luca Padovani; António Ravara; Emilio Tuosto; Hugo Torres Vieira; Gianluigi Zavattaro (ACM Comput. Surv., 2016)

Editorial. - Marco Carbone; Thomas T. Hildebrandt; Joachim Parrow; Matthias Weidlich 001 (Formal Aspects Comput., 2016)

Multiparty Asynchronous Session Types. - Kohei Honda 001; Nobuko Yoshida; Marco Carbone (J. ACM, 2016)

Multiparty session types as coherence proofs. - Marco Carbone; Fabrizio Montesi; Carsten Schürmann 001; Nobuko Yoshida (Acta Informatica, 2017)

Decidable and Undecidable Fragments of Asynchronous Subtyping for Session Types. - Mario Bravetti; Marco Carbone; Gianluigi Zavattaro (CoRR, 2017)

Undecidability of asynchronous session subtyping. - Mario Bravetti; Marco Carbone; Gianluigi Zavattaro (Inf. Comput., 2017)

Multiparty Classical Choreographies. - Marco Carbone; Luís Cruz-Filipe; Fabrizio Montesi; Agata Murawska (LOPSTR, 2018)

Choreographies for Reactive Programming. - Marco Carbone; Fabrizio Montesi; Hugo Torres Vieira (CoRR, 2018)

Choreographies, logically. - Marco Carbone; Fabrizio Montesi; Carsten Schürmann 001 (Distributed Comput., 2018)

On the boundary between decidability and undecidability of asynchronous session subtyping. - Mario Bravetti; Marco Carbone; Gianluigi Zavattaro (Theor. Comput. Sci., 2018)

A Sound Algorithm for Asynchronous Session Subtyping. - Mario Bravetti; Marco Carbone; Julien Lange; Nobuko Yoshida; Gianluigi Zavattaro (CONCUR, 2019)

Declarative Choreographies and Liveness. - Thomas T. Hildebrandt; Tijs Slaats; Hugo A. López 001; Søren Debois; Marco Carbone (FORTE, 2019)

A Sound Algorithm for Asynchronous Session Subtyping (extended version). - Mario Bravetti; Marco Carbone; Julien Lange; Nobuko Yoshida; Gianluigi Zavattaro (CoRR, 2019)

Security Protocols as Choreographies. - Alessandro Bruni; Marco Carbone; Rosario Giustolisi; Sebastian Mödersheim; Carsten Schürmann 001 (Protocols, Strands, and Logic, 2021)

Synchronous Forwarders. - Marco Carbone; Sonia Marin; Carsten Schürmann 001 (CoRR, 2021)

Forwarders as Process Compatibility, Logically. - Marco Carbone; Sonia Marin; Carsten Schürmann 001 (CoRR, 2021)

A Sound Algorithm for Asynchronous Session Subtyping and its Implementation. - Mario Bravetti; Marco Carbone; Julien Lange; Nobuko Yoshida; Gianluigi Zavattaro (Log. Methods Comput. Sci., 2021)

A Logical Interpretation of Asynchronous Multiparty Compatibility. - Marco Carbone; Sonia Marin; Carsten Schürmann 001 (LOPSTR, 2023)

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)

A Probabilistic Choreography Language for PRISM. - Marco Carbone; Adele Veschetti (COORDINATION, 2024)

Next Generation Protocols for Heterogeneous Systems (Dagstuhl Seminar 24051). - Stephanie Balzer; Marco Carbone; Roland Kuhn 002; Peter Thiemann 001 (Dagstuhl Reports, 2024)

Multiparty Asynchronous Session Types: A Mechanised Proof of Subject Reduction. - Dawit Legesse Tirore; Jesper Bengtson; Marco Carbone (ECOOP, 2025)

Multiparty Asynchronous Session Types: A Mechanised Proof of Subject Reduction (Artifact). - Dawit Legesse Tirore; Jesper Bengtson; Marco Carbone (Dagstuhl Artifacts Ser., 2025)

Special Issue of PLACES 2022. - Marco Carbone; Nobuko Yoshida (Inf. Comput., 2025)

Automating liver biopsy segmentation with a robust, open-source tool for pathology research: the HOTSPoT model. - Giorgio Cazzaniga; Vincenzo L'imperio; Emanuela Bonoldi; María-Carlota Londoño; João Madaleno; Augusta Cipriano; Tom J. G. Gevers; Iryna V. Samarska; Özgür M. Koc; Alejandra Villamil; Maria Florencia Sanchez; Vincenza Calvaruso; et al. (npj Digit. Medicine, 2025)

A Sound and Complete Projection for Global Types. - Dawit Legesse Tirore; Jesper Bengtson; Marco Carbone (J. Autom. Reason., 2025)