ITU
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. 2009
  2. 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

  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

    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

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

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

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

  9. 2011
  10. 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

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

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

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

Previous 1 2 3 Next

ID: 274971