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

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

  4. 2021
  5. Published

    A Sound Algorithm for Asynchronous Session Subtyping and its Implementation

    Bravetti, M., Carbone, M., Lange, J., Yoshida, N. & Zavattaro, G., 2021, In: Logical Methods in Computer Science. 17, 1, p. 1 20 p.

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

  6. Published

    Security Protocols as Choreographies

    Bruni, A., Carbone, M., Giustolisi, R., Mödersheim, S. A. & Schürmann, C., 2021, Security Protocols as Choreographies: Joshua Guttman's Festschrift . Springer, p. 98 111 p.

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

Previous 1 2 Next

ID: 274971