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 - 10 out of 21Page size: 10
  1. 2021
  2. 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 Journal › Journal article › Research › peer-review

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

  5. 2018
  6. Published

    Choreographies, logically

    Carbone, M., Montesi, F. & Schürmann, C., 2018, In: Distributed Computing. 31, 1, p. 51-67 17 p.

    Research output: Journal Article or Conference Article in Journal › Journal article › Research › peer-review

  7. Published

    On the boundary between decidability and undecidability of asynchronous session subtyping

    Bravetti, M., Carbone, M. & Zavattaro, G., 2018, In: Theoretical Computer Science. 722, p. 19-51 33 p.

    Research output: Journal Article or Conference Article in Journal › Journal article › Research › peer-review

  8. 2017
  9. Published

    Multiparty session types as coherence proofs

    Carbone, M., Montesi, F., Montesi, F., Schürmann, C. & Yoshida, N., 2017, In: Acta Informatica. 54, 3, p. 243-269

    Research output: Journal Article or Conference Article in Journal › Journal article › Research › peer-review

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

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

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

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

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

Previous 1 2 3 Next

ID: 274971