Marco Carbone
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
20
Venues
11
Active years
2003–2025
Best venue rank
A*
Where they publish
Papers
20 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2025 | ECOOP | Multiparty Asynchronous Session Types: A Mechanised Proof of Subject Reduction. | Dawit Legesse Tirore, Jesper Bengtson, Marco Carbone |
| 2024 | Coordination | The Concurrent Calculi Formalisation Benchmark. | Marco Carbone, David Castro-Perez, Francisco Ferreira, Lorenzo Gheri, Frederik Krogsdal Jacobsen, Alberto Momigliano, Luca Padovani, Alceste Scalas, Dawit Legesse Tirore, Martin Vassor, Nobuko Yoshida, Daniel Zackon |
| 2024 | Coordination | A Probabilistic Choreography Language for PRISM. | Marco Carbone, Adele Veschetti |
| 2023 | ITP | A Sound and Complete Projection for Global Types. | Dawit Legesse Tirore, Jesper Bengtson, Marco Carbone |
| 2023 | LOPSTR | A Logical Interpretation of Asynchronous Multiparty Compatibility. | Marco Carbone, Sonia Marin, Carsten Schrmann |
| 2019 | CONCUR | A Sound Algorithm for Asynchronous Session Subtyping. | Mario Bravetti, Marco Carbone, Julien Lange, Nobuko Yoshida, Gianluigi Zavattaro |
| 2019 | FORTE | Declarative Choreographies and Liveness. | Thomas T. Hildebrandt, Tijs Slaats, Hugo A. Lpez, Sren Debois, Marco Carbone |
| 2018 | LOPSTR | Multiparty Classical Choreographies. | Marco Carbone, Lus Cruz-Filipe, Fabrizio Montesi, Agata Murawska |
| 2016 | CONCUR | Coherence Generalises Duality: A Logical Explanation of Multiparty Session Types. | Marco Carbone, Sam Lindley, Fabrizio Montesi, Carsten Schrmann, Philip Wadler |
| 2015 | CONCUR | Multiparty Session Types as Coherence Proofs. | Marco Carbone, Fabrizio Montesi, Carsten Schrmann, Nobuko Yoshida |
| 2014 | CONCUR | Choreographies, Logically. | Marco Carbone, Fabrizio Montesi, Carsten Schrmann |
| 2014 | Coordination | Progress as Compositional Lock-Freedom. | Marco Carbone, Ornela Dardha, Fabrizio Montesi |
| 2013 | POPL | Deadlock-freedom-by-design: multiparty asynchronous global programming. | Marco Carbone, Fabrizio Montesi |
| 2013 | SEFM | Towards Global and Local Types for Adaptation. | Mario Bravetti, Marco Carbone, Thomas T. Hildebrandt, Ivan Lanese, Jacopo Mauro, Jorge A. Prez, Gianluigi Zavattaro |
| 2011 | ICSOC | Programming Services with Correlation Sets. | Fabrizio Montesi, Marco Carbone |
| 2008 | CONCUR | Structured Interactional Exceptions in Session Types. | Marco Carbone, Kohei Honda, Nobuko Yoshida |
| 2008 | POPL | Multiparty asynchronous session types. | Kohei Honda, Nobuko Yoshida, Marco Carbone |
| 2007 | ESOP | Structured Communication-Centred Programming for Web Services. | Marco Carbone, Kohei Honda, Nobuko Yoshida |
| 2004 | SIGdial | Unifying Annotated Discourse Hierarchies to Create a Gold Standard. | Marco Carbone, Ya'akov Gal, Stuart M. Shieber, Barbara J. Grosz |
| 2003 | SEFM | A Formal Model for Trust in Dynamic Networks. | Marco Carbone, Mogens Nielsen, Vladimiro Sassone |