ITU
Marco Carbone

Marco Carbone

Associate Professor, Head of study programme

IT University of Copenhagen
Rued Langgaards Vej 7
DK-2300 Copenhagen S
Denmark

Building: 4C06

Phone: +45 7218 5067

Information Desk: 72185000

View graph of relations

  1. Journal article › Research › Peer-reviewed
  2. Published

    A Logic for Choreographies

    Lopez, H. A., Carbone, M., Hildebrandt, T. & Grohmann, D., 2010, In : Places. 69, p. 29-43

    Research output: Journal Article or Conference Article in JournalJournal articleResearchpeer-review

  3. Published

    Choreographies, logically

    Carbone, M., Montesi, F. & Schürmann, C., 2018, In : Distributed Computing. 31, 1, p. 51-67 17 p.

    Research output: Journal Article or Conference Article in JournalJournal articleResearchpeer-review

  4. Published

    Deadlock-freedom-by-design: Multiparty Asynchronous Global Programming

    Carbone, M. & Montesi, F., 2013, In : A C M / S I G P L A N Notices. 48, 1, p. 263-274

    Research output: Journal Article or Conference Article in JournalJournal articleResearchpeer-review

  5. Published

    Execution Models for Choreographies and Cryptoprotocols

    Carbone, M. & Guttman, J., 2009, In : Electronic Proceedings in Theoretical Computer Science. 17, p. 1-11 11 p.

    Research output: Journal Article or Conference Article in JournalJournal articleResearchpeer-review

  6. Published

    Foundations of Session Types and Behavioural Contracts

    Huttel, H., Lanese, I., Vasconcelos, V., Caires, L., Carbone, M., Danielou, P-M., Mostrous, D., Padovani, L., Rabara, A., Tuosto, E., Vieira, H. T. & Zavattaro, G., 2016, In : A C M Computing Surveys. 49, 1, p. 1 16 p., 3.

    Research output: Journal Article or Conference Article in JournalJournal articleResearchpeer-review

  7. Published

    Multiparty Asynchronous Session Types

    Honda, K., Yoshida, N. & Carbone, M., 2016, In : Journal of the ACM. 63, 1, p. 1 67 p., 9.

    Research output: Journal Article or Conference Article in JournalJournal articleResearchpeer-review

  8. Published

    Multiparty session types as coherence proofs

    Carbone, M., Montesi, F., Montesi, F., Schürmann, C. & Yoshida, N., 2017, In : Acta Informatica. 54, 3, p. 243-269

    Research output: Journal Article or Conference Article in JournalJournal articleResearchpeer-review

  9. Published

    On the boundary between decidability and undecidability of asynchronous session subtyping

    Bravetti, M., Carbone, M. & Zavattaro, G., 2018, In : Theoretical Computer Science. 722, p. 19-51 33 p.

    Research output: Journal Article or Conference Article in JournalJournal articleResearchpeer-review

  10. Published

    Session-based Choreography with Exceptions

    Carbone, M., 2009, In : Electronical Notes in Theoretical Computer Science. 241, p. 35-55 21 p.

    Research output: Journal Article or Conference Article in JournalJournal articleResearchpeer-review

  11. Published

    Structured Communication-Centered Programming for Web Services

    Carbone, M., Honda, K. & Yoshida, N., 2012, In : A C M Transactions on Programming Languages and Systems. 34 (2), 8, 78 p.

    Research output: Journal Article or Conference Article in JournalJournal articleResearchpeer-review

  12. Published

    Undecidability of asynchronous session subtyping

    Bravetti, M., Carbone, M. & Zavattaro, G., 2017, In : Information and Computation. 256, p. 300-320

    Research output: Journal Article or Conference Article in JournalJournal articleResearchpeer-review

  13. Conference article › Research › Peer-reviewed
  14. Published

    A Graphical Approach to Progress for Structured Communication in Web Services

    Carbone, M. & Debois, S., 2010, In : Electronic Proceedings in Theoretical Computer Science. 38

    Research output: Journal Article or Conference Article in JournalConference articleResearchpeer-review

  15. Published

    Choreographies with Secure Boxes and Compromised Principals

    Carbone, M. & Guttman, J., 2009, In : Electronic Proceedings in Theoretical Computer Science. 12, p. 1-15 15 p.

    Research output: Journal Article or Conference Article in JournalConference articleResearchpeer-review

  16. Published

    Choreographies, Logically

    Carbone, M., Montesi, F. & Schürmann, C., 2014, In : Lecture Notes in Computer Science. 8704, p. 47-62 15 p.

    Research output: Journal Article or Conference Article in JournalConference articleResearchpeer-review

  17. Published

    Coherence Generalises Duality: A Logical Explanation of Multiparty Session Types

    Carbone, M., Lindley, S., Montesi, F., Schürmann, C. & Wadler, P., 2016, In : Leibniz International Proceedings in Informatics (LIPIcs). 59, p. 1-15 15 p., 33.

    Research output: Journal Article or Conference Article in JournalConference articleResearchpeer-review

  18. Published

    Formal Semantics and Implementation of BPMN 2.0 Inclusive Gateways

    Christiansen, D. R., Carbone, M. & Hildebrandt, T., 2011, In : Lecture Notes in Computer Science. 6551, p. 146-160 15 p.

    Research output: Journal Article or Conference Article in JournalConference articleResearchpeer-review

  19. Published

    Merging Multiparty Protocols in Multiparty Choreographies

    Carbone, M. & Montesi, F., 2012, In : Electronic Proceedings of Theoretical Computer Science. EPTCS. 5, p. 28-33

    Research output: Journal Article or Conference Article in JournalConference articleResearchpeer-review

  20. Published

    Progress as Compositional Lock-Freedom

    Carbone, M., Dardha, O. & Montesi, F., 2014, In : Lecture Notes in Computer Science. p. 49-64 15 p.

    Research output: Journal Article or Conference Article in JournalConference articleResearchpeer-review

  21. Editorial › Research › Peer-reviewed
  22. Published

    Preface of Proceedings Third Workshop on Behavioural Types, BEAT 2014, Rome, Italy, 1st September 2014

    Carbone, M., 2014, In : Electronic Proceedings in Theoretical Computer Science. 162, 1 p.

    Research output: Journal Article or Conference Article in JournalEditorialResearchpeer-review

  23. Book chapter › Research › Not peer-reviewed
  24. Published

    Asynchronous Session Types – Exceptions and Multiparty Interactions

    Carbone, M., Yoshida, N. & Honda, K., 2009, Formal Methods for Web Services. Springer, Vol. 5569. p. 187-212 25 p. (Lecture Notes in Computer Science, Vol. 5569).

    Research output: Conference Article in Proceeding or Book/Report chapterBook chapterResearch

  25. Article in proceedings › Research › Peer-reviewed
  26. Published

    Declarative Choreographies and Liveness

    Hildebrandt, T. T., Slaats, T., López, H. A., Debois, S. & Carbone, M., Jun 2019, International Conference on Formal Techniques for Distributed Objects, Components, and Systems: FORTE 2019: Formal Techniques for Distributed Objects, Components, and Systems . Springer, p. 129-147 19 p. (Lecture Notes in Computer Science, Vol. 11535).

    Research output: Conference Article in Proceeding or Book/Report chapterArticle in proceedingsResearchpeer-review

  27. Published

    Multiparty Session Types as Coherence Proofs

    Carbone, M., Montesi, F., Schürmann, C. & Yoshida, N., 2015, 26th International Conference on Concurrency Theory (CONCUR 2015): Leibniz International Proceedings in Informatics. Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik GmbH, Vol. 42. p. 412 15 p.

    Research output: Conference Article in Proceeding or Book/Report chapterArticle in proceedingsResearchpeer-review

  28. Published

    Programming services with correlation sets

    Montesi, F. & Carbone, M., 2011, Service Oriented Computing: Lecture Notes in Computer Science. Springer Publishing Company, Vol. 7084. p. 125-141

    Research output: Conference Article in Proceeding or Book/Report chapterArticle in proceedingsResearchpeer-review

  29. Published

    Refinement for Transition Systems with Responses

    Carbone, M., Hildebrandt, T., Perrone, G. D. & Wasowski, A., 2012, Proceedings Fourth Workshop on Foundations of Interface Technologies: Electronic Proceedings in Theoretical Computer Science. EPTCS.. Vol. 87.

    Research output: Conference Article in Proceeding or Book/Report chapterArticle in proceedingsResearchpeer-review

  30. Published

    Sessions and Separability in Security Protocols

    Carbone, M. & Guttman, J., 2013, Second International Conference, POST 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, . Springer Publishing Company, Vol. 7796. p. 267-286 20 p.

    Research output: Conference Article in Proceeding or Book/Report chapterArticle in proceedingsResearchpeer-review

  31. Paper › Research › Peer-reviewed
  32. Published

    Multparty Classical Choreographies

    Carbone, M., Cruz-Filipe, L., Montesi, F. & Murawska, A. A., 4 Sep 2018. 20 p.

    Research output: Contribution to conference - NOT published in proceeding or journalPaperResearchpeer-review

ID: 274971