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 72185067

Information Desk: 72185000

View graph of relations

  1. Conference article
  2. 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

  3. 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

  4. 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

  5. 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

  6. 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

  7. 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

  8. Published

    A Sound Algorithm for Asynchronous Session Subtyping

    Bravetti, M., Carbone, M., Lange, J., Yoshida, N. & Zavattaro, G., 2019, In: Leibniz International Proceedings in Informatics. 140, p. 34:1–34:16

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

  9. Journal article
  10. 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

  11. 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

  12. 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

ID: 274971