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

21 - 29 out of 29Page size: 10
Sort by: Title
  1. 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 Journal › Editorial › Research › peer-review

  2. 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 chapter › Article in proceedings › Research › peer-review

  3. 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 Journal › Conference article › Research › peer-review

  4. 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 chapter › Article in proceedings › Research › peer-review

  5. 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 chapter › Article in proceedings › Research › peer-review

  6. 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 Journal › Journal article › Research › peer-review

  7. 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 chapter › Article in proceedings › Research › peer-review

  8. 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 Journal › Journal article › Research › peer-review

  9. 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 Journal › Journal article › Research › peer-review

Previous 1 2 3 Next

ID: 274971