


default search action
Marco Carbone
Person information
- affiliation: IT University of Copenhagen, Denmark
Refine list

refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
- [c38]Marco Carbone
, Adele Veschetti
:
A Probabilistic Choreography Language for PRISM. COORDINATION 2024: 20-37 - [c37]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
:
The Concurrent Calculi Formalisation Benchmark. COORDINATION 2024: 149-158 - [i9]Stephanie Balzer, Marco Carbone, Roland Kuhn, Peter Thiemann:
Next Generation Protocols for Heterogeneous Systems (Dagstuhl Seminar 24051). Dagstuhl Reports 14(1): 108-129 (2024) - 2023
- [c36]Dawit Legesse Tirore, Jesper Bengtson, Marco Carbone:
A Sound and Complete Projection for Global Types. ITP 2023: 28:1-28:19 - [c35]Marco Carbone, Sonia Marin, Carsten Schürmann:
A Logical Interpretation of Asynchronous Multiparty Compatibility. LOPSTR 2023: 99-117 - [i8]Marco Carbone, Sonia Marin, Carsten Schürmann:
A Logical Interpretation of Asynchronous Multiparty Compatibility. CoRR abs/2305.16240 (2023) - 2022
- [e6]Marco Carbone, Rumyana Neykova:
Proceedings of the 13th International Workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software, PLACES@ETAPS 2022, Munich, Germany, 3rd April 2022. EPTCS 356, 2022 [contents] - 2021
- [j16]Mario Bravetti, Marco Carbone, Julien Lange, Nobuko Yoshida, Gianluigi Zavattaro:
A Sound Algorithm for Asynchronous Session Subtyping and its Implementation. Log. Methods Comput. Sci. 17(1) (2021) - [c34]Alessandro Bruni, Marco Carbone, Rosario Giustolisi, Sebastian Mödersheim
, Carsten Schürmann:
Security Protocols as Choreographies. Protocols, Strands, and Logic 2021: 98-111 - [i7]Marco Carbone, Sonia Marin, Carsten Schürmann:
Synchronous Forwarders. CoRR abs/2102.04731 (2021) - [i6]Marco Carbone, Sonia Marin, Carsten Schürmann:
Forwarders as Process Compatibility, Logically. CoRR abs/2112.07636 (2021)
2010 – 2019
- 2019
- [c33]Mario Bravetti
, Marco Carbone
, Julien Lange
, Nobuko Yoshida
, Gianluigi Zavattaro
:
A Sound Algorithm for Asynchronous Session Subtyping. CONCUR 2019: 38:1-38:16 - [c32]Thomas T. Hildebrandt
, Tijs Slaats
, Hugo A. López
, Søren Debois
, Marco Carbone
:
Declarative Choreographies and Liveness. FORTE 2019: 129-147 - [i5]Mario Bravetti, Marco Carbone, Julien Lange, Nobuko Yoshida, Gianluigi Zavattaro:
A Sound Algorithm for Asynchronous Session Subtyping (extended version). CoRR abs/1907.00421 (2019) - 2018
- [j15]Marco Carbone, Fabrizio Montesi
, Carsten Schürmann:
Choreographies, logically. Distributed Comput. 31(1): 51-67 (2018) - [j14]Mario Bravetti, Marco Carbone, Gianluigi Zavattaro:
On the boundary between decidability and undecidability of asynchronous session subtyping. Theor. Comput. Sci. 722: 19-51 (2018) - [c31]Marco Carbone, Luís Cruz-Filipe, Fabrizio Montesi
, Agata Murawska:
Multiparty Classical Choreographies. LOPSTR 2018: 59-76 - [i4]Marco Carbone, Fabrizio Montesi, Hugo Torres Vieira:
Choreographies for Reactive Programming. CoRR abs/1801.08107 (2018) - [i3]Marco Carbone, Luís Cruz-Filipe, Fabrizio Montesi, Agata Murawska:
Multiparty Classical Choreographies. CoRR abs/1808.05088 (2018) - 2017
- [j13]Marco Carbone, Fabrizio Montesi
, Carsten Schürmann, Nobuko Yoshida
:
Multiparty session types as coherence proofs. Acta Informatica 54(3): 243-269 (2017) - [j12]Mario Bravetti, Marco Carbone, Gianluigi Zavattaro:
Undecidability of asynchronous session subtyping. Inf. Comput. 256: 300-320 (2017) - [i2]Mario Bravetti, Marco Carbone, Gianluigi Zavattaro:
Decidable and Undecidable Fragments of Asynchronous Subtyping for Session Types. CoRR abs/1703.00659 (2017) - 2016
- [j11]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:
Foundations of Session Types and Behavioural Contracts. ACM Comput. Surv. 49(1): 3:1-3:36 (2016) - [j10]Marco Carbone, Thomas T. Hildebrandt, Joachim Parrow, Matthias Weidlich
:
Editorial. Formal Aspects Comput. 28(4): 529-530 (2016) - [j9]Kohei Honda, Nobuko Yoshida
, Marco Carbone:
Multiparty Asynchronous Session Types. J. ACM 63(1): 9:1-9:67 (2016) - [c30]Marco Carbone, Sam Lindley
, Fabrizio Montesi
, Carsten Schürmann, Philip Wadler:
Coherence Generalises Duality: A Logical Explanation of Multiparty Session Types. CONCUR 2016: 33:1-33:15 - [i1]Mario Bravetti, Marco Carbone, Gianluigi Zavattaro:
Undecidability of Asynchronous Session Subtyping. CoRR abs/1611.05026 (2016) - 2015
- [j8]Marco Carbone, Ivan Lanese, Alexandra Silva, Ana Sokolova
:
Preface for the special issue on Interaction and Concurrency Experience 2012. Sci. Comput. Program. 100: 1 (2015) - [j7]Marco Carbone, Ivan Lanese, Alberto Lluch-Lafuente
, Ana Sokolova
:
Preface for the special issue of Interaction and Concurrency Experience 2013. Sci. Comput. Program. 109: 1 (2015) - [c29]Marco Carbone, Fabrizio Montesi
, Carsten Schürmann, Nobuko Yoshida
:
Multiparty Session Types as Coherence Proofs. CONCUR 2015: 412-426 - 2014
- [c28]Marco Carbone, Fabrizio Montesi
, Carsten Schürmann:
Choreographies, Logically. CONCUR 2014: 47-62 - [c27]Marco Carbone, Ornela Dardha
, Fabrizio Montesi
:
Progress as Compositional Lock-Freedom. COORDINATION 2014: 49-64 - [e5]Marco Carbone:
Proceedings Third Workshop on Behavioural Types, BEAT 2014, Rome, Italy, 1st September 2014. EPTCS 162, 2014 [contents] - 2013
- [c26]Marco Carbone, Anders Skovbo Christensen, Flemming Nielson
, Hanne Riis Nielson
, Thomas T. Hildebrandt, Martin Sølvkjær:
ICT-powered Health Care Processes - (Position Paper). FHIES 2013: 59-68 - [c25]Marco Carbone, Fabrizio Montesi
:
Deadlock-freedom-by-design: multiparty asynchronous global programming. POPL 2013: 263-274 - [c24]Marco Carbone, Joshua D. Guttman
:
Sessions and Separability in Security Protocols. POST 2013: 267-286 - [c23]Mario Bravetti, Marco Carbone, Thomas T. Hildebrandt, Ivan Lanese, Jacopo Mauro
, Jorge A. Pérez
, Gianluigi Zavattaro:
Towards Global and Local Types for Adaptation. SEFM Workshops 2013: 3-14 - [e4]Marco Carbone, Ivan Lanese, Alberto Lluch-Lafuente
, Ana Sokolova
:
Proceedings 6th Interaction and Concurrency Experience, ICE 2013, Florence, Italy, 6th June 2013. EPTCS 131, 2013 [contents] - 2012
- [j6]Simon Bliudze, Roberto Bruni
, Marco Carbone, Alexandra Silva:
Towards Interaction Reliability in Concurrent Applications. Sci. Ann. Comput. Sci. 22(1): 1-4 (2012) - [j5]Marco Carbone, Kohei Honda, Nobuko Yoshida
:
Structured Communication-Centered Programming for Web Services. ACM Trans. Program. Lang. Syst. 34(2): 8:1-8:78 (2012) - [c22]Marco Carbone, Fabrizio Montesi
:
Merging Multiparty Protocols in Multiparty Choreographies. PLACES 2012: 21-27 - [c21]Marco Carbone, Thomas T. Hildebrandt, Gian Perrone, Andrzej Wasowski
:
Refinement for Transition Systems with Responses. FIT 2012: 48-55 - [e3]Marco Carbone, Jean-Marc Petit:
Web Services and Formal Methods - 8th International Workshop, WS-FM 2011, Clermont-Ferrand, France, September 1-2, 2011, Revised Selected Papers. Lecture Notes in Computer Science 7176, Springer 2012, ISBN 978-3-642-29833-2 [contents] - [e2]Marco Carbone, Ivan Lanese, Alexandra Silva, Ana Sokolova:
Proceedings Fifth Interaction and Concurrency Experience, ICE 2012, Stockholm, Sweden, 16th June 2012. EPTCS 104, 2012 [contents] - 2011
- [c20]Fabrizio Montesi
, Marco Carbone:
Programming Services with Correlation Sets. ICSOC 2011: 125-141 - [e1]Alexandra Silva, Simon Bliudze, Roberto Bruni, Marco Carbone:
Proceedings Fourth Interaction and Concurrency Experience, ICE 2011, Reykjavik, Iceland, 9th June 2011. EPTCS 59, 2011 [contents] - 2010
- [c19]David Raymond Christiansen, Marco Carbone, Thomas T. Hildebrandt:
Formal Semantics and Implementation of BPMN 2.0 Inclusive Gateways. WS-FM 2010: 146-160 - [c18]Marco Carbone, Søren Debois:
A Graphical Approach to Progress for Structured Communication in Web Services. ICE 2010: 13-27 - [c17]Marco Carbone, Davide Grohmann, Thomas T. Hildebrandt, Hugo A. López
:
A Logic for Choreographies. PLACES 2010: 29-43
2000 – 2009
- 2009
- [j4]Marco Carbone, Pawel Sobocinski
, Frank D. Valencia:
Foreword: Festschrift for Mogens Nielsen's 60th birthday. Theor. Comput. Sci. 410(41): 4001-4005 (2009) - [c16]Marco Carbone, Nobuko Yoshida
, Kohei Honda:
Asynchronous Session Types: Exceptions and Multiparty Interactions. SFM 2009: 187-212 - [c15]Marco Carbone, Joshua D. Guttman
:
Choreographies with Secure Boxes and Compromised Principals. ICE 2009: 1-15 - [c14]Marco Carbone, Joshua D. Guttman
:
Execution Models for Choreographies and Cryptoprotocols. PLACES 2009: 31-41 - 2008
- [c13]Marco Carbone, Kohei Honda, Nobuko Yoshida
:
Structured Interactional Exceptions in Session Types. CONCUR 2008: 402-417 - [c12]Kohei Honda, Nobuko Yoshida
, Marco Carbone:
Multiparty asynchronous session types. POPL 2008: 273-284 - [c11]Marco Carbone:
Session-based Choreography with Exceptions. PLACES@DisCoTec 2008: 35-55 - 2007
- [j3]Kohei Honda, Nobuko Yoshida, Marco Carbone:
Web Services, Mobile Processes and Types. Bull. EATCS 91: 160-185 (2007) - [c10]Marco Carbone, Kohei Honda, Nobuko Yoshida:
Structured Communication-Centred Programming for Web Services. ESOP 2007: 2-17 - 2006
- [c9]Francesco Amato, Marco Ariola, Marco Carbone, Carlo Cosentino:
Finite-Time Output Feedback Control of Linear Systems via Differential Linear Matrix Conditions. CDC 2006: 5371-5375 - [c8]Marco Carbone, Kohei Honda, Nobuko Yoshida
:
Theoretical Aspects of Communication-Centred Programming. LIX 2006: 125-133 - [c7]Marco Carbone, Kohei Honda, Nobuko Yoshida
:
A Calculus of Global Interaction based on Session Types. DCM@ICALP 2006: 127-151 - 2004
- [c6]Francesco Amato, Marco Carbone, Marco Ariola, Carlo Cosentino:
Finite-time stability of discrete-time systems. ACC 2004: 5pp. - [c5]Francesco Amato, Marco Ariola, Marco Carbone, Carlo Cosentino:
Control of linear discrete-time systems over a finite-time interval. CDC 2004: 1284-1288 - [c4]Marco Carbone, Mogens Nielsen, Vladimiro Sassone:
A Calculus for Trust Management. FSTTCS 2004: 161-173 - [c3]Marco Carbone, Ya'akov Gal, Stuart M. Shieber, Barbara J. Grosz:
Unifying Annotated Discourse Hierarchies to Create a Gold Standard. SIGDIAL Workshop 2004: 118-126 - 2003
- [j2]Marco Carbone, Sergio Maffeis:
On the Expressive Power of Polyadic Synchronisation in pi-calculus. Nord. J. Comput. 10(2): 70-98 (2003) - [j1]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
, Paddy Nixon, Giovanna Di Marzo Serugendo
, Ciarán Bryce, Marco Carbone, Karl Krukow, Mogens Nielsen:
Using Trust for Secure Collaboration in Uncertain Environments. IEEE Pervasive Comput. 2(3): 52-61 (2003) - [c2]Marco Carbone, Mogens Nielsen, Vladimiro Sassone:
A Formal Model for Trust in Dynamic Networks. SEFM 2003: 54- - 2002
- [c1]Marco Carbone, Sergio Maffeis
:
On the Expressive Power of Polyadic Synchronisation in pi-calculus. EXPRESS 2002: 15-32
Coauthor Index

manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2025-01-20 23:59 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint