
Marco Carbone
Associate Professor, Head of study programme
- Programming Logic and Semantics
Research Group
- Computer Science
Department
- Center for Information Security and Trust
Research center
IT University of Copenhagen
Rued Langgaards Vej 7
DK-2300 Copenhagen S
Denmark
Building: 4C06
Information Desk: 72185000
- 2009
- 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 Journal › Conference article › Research › peer-review
- 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 Journal › Journal article › Research › peer-review
- 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
- 2010
- Published
A Graphical Approach to Progress for Structured Communication in Web Services
Carbone, M. & Debois, S., 2010, In: Electronic Proceedings in Theoretical Computer Science. 38Research output: Journal Article or Conference Article in Journal › Conference article › Research › peer-review
- Published
A Logic for Choreographies
Lopez, H. A., Carbone, M., Hildebrandt, T. & Grohmann, D., 2010, In: Places. 69, p. 29-43Research output: Journal Article or Conference Article in Journal › Journal article › Research › peer-review
- 2011
- 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 Journal › Conference article › Research › peer-review
- 2012
- Published
Merging Multiparty Protocols in Multiparty Choreographies
Carbone, M. & Montesi, F., 2012, In: Electronic Proceedings of Theoretical Computer Science. EPTCS. 5, p. 28-33Research output: Journal Article or Conference Article in Journal › Conference article › Research › peer-review
- 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
- 2013
- 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-274Research output: Journal Article or Conference Article in Journal › Journal article › Research › peer-review
- 2014
- 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
- 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
- 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
- 2016
- 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
- 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
- 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
- 2017
- 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-269Research output: Journal Article or Conference Article in Journal › Journal article › Research › peer-review
- Published
Undecidability of asynchronous session subtyping
Bravetti, M., Carbone, M. & Zavattaro, G., 2017, In: Information and Computation. 256, p. 300-320Research output: Journal Article or Conference Article in Journal › Journal article › Research › peer-review
- 2018
- 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
- 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
- 2019
- 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:16Research output: Journal Article or Conference Article in Journal › Conference article › Research › peer-review
- 2021
- 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
ID: 274971