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

11 - 20 out of 29Page size: 10
  1. 2016
  2. 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 Journal › Journal article › Research › peer-review

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

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

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

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

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

  10. 2013
  11. 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 Journal › Journal article › Research › peer-review

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

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

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

Previous 1 2 3 Next

ID: 274971