Marco Carbone

Cited by

	All	Since 2019
Citations	4506	1548
h-index	26	17
i10-index	32	22

340

170

255

200320042005200620072008200920102011201220132014201520162017201820192020202120222023202417 63 82 124 190 210 215 180 185 192 225 182 194 340 255 213 278 243 246 246 318 215

Public access

View all

14 articles

1 article

available

not available

Based on funding mandates

Co-authors

Nobuko YoshidaDepartment of Computer Science, University of OxfordVerified email at cs.ox.ac.uk
Fabrizio MontesiProfessor of Computer Science, University of Southern DenmarkVerified email at imada.sdu.dk
Gianluigi ZavattaroProfessor in Computer Science, University of BolognaVerified email at cs.unibo.it
Ivan LaneseUniversity of BolognaVerified email at unibo.it
Mogens NielsenProfessor of Computer Science, Aarhus UniversityVerified email at cs.au.dk
Carsten SchürmannComputer Science, IT University of CopenhagenVerified email at itu.dk
Thomas Troels HildebrandtProfessor, Computer Science Departement University of CopenhagenVerified email at di.ku.dk
Mario BravettiUniversity of BolognaVerified email at cs.unibo.it
Vladimiro SassoneUniversity of SouthamptonVerified email at ecs.soton.ac.uk
Paddy NixonUniversity of CanberraVerified email at canberra.edu.au
Sotirios TerzisUniversity of StrathclydeVerified email at strath.ac.uk
Hugo Torres VieiraEvidence SrlVerified email at evidence.eu.com
Emilio TuostoGran Sasso Science InstituteVerified email at gssi.it
Vasco T. VasconcelosLASIGE, Departamento de Informática, Faculdade de Ciências, Universidade de LisboaVerified email at di.fc.ul.pt
Sergio MaffeisSenior Lecturer (Associate Professor) in Computer Security, Imperial College LondonVerified email at doc.ic.ac.uk
Sam LindleyThe University of EdinburghVerified email at ed.ac.uk
Philip WadlerUniversity of Edinburgh and IOHK/IOGVerified email at inf.ed.ac.uk
Andy TwiggOxford UniversityVerified email at cs.ox.ac.uk
Giovanna Di Marzo SerugendoProfessor of Computer Science, University of GenevaVerified email at unige.ch
Dr. habil. Jean-Marc SeigneurUniversity of GenevaVerified email at unige.ch

Marco Carbone

Associate Professor, IT University of Copenhagen

Verified email at itu.dk - Homepage

Theory of Concurrency Behavioural Types Choreography Session Types Web Services


Title Sort by citations Sort by year Sort by title	Cited by Cited by	Year
Multiparty asynchronous session types K Honda, N Yoshida, M Carbone Proceedings of the 35th annual ACM SIGPLAN-SIGACT symposium on Principles of …, 2008	1017	2008
Using trust for secure collaboration in uncertain environments V Cahill, E Gray, JM Seigneur, CD Jensen, Y Chen, B Shand, N Dimmock, ... IEEE pervasive computing 2 (3), 52-61, 2003	496	2003
Structured communication-centred programming for web services M Carbone, K Honda, N Yoshida Programming Languages and Systems, 2-17, 2007	390	2007
Multiparty asynchronous session types K Honda, N Yoshida, M Carbone Journal of the ACM (JACM) 63 (1), 1-67, 2016	358	2016
A formal model for trust in dynamic networks M Carbone, M Nielsen, V Sassone First International Conference onSoftware Engineering and Formal Methods …, 2003	331	2003
Foundations of session types and behavioural contracts H Hüttel, I Lanese, VT Vasconcelos, L Caires, M Carbone, PM Deniélou, ... ACM Computing Surveys (CSUR) 49 (1), 1-36, 2016	293	2016
Deadlock-freedom-by-design: multiparty asynchronous global programming M Carbone, F Montesi ACM SIGPLAN Notices 48 (1), 263-274, 2013	213	2013
On the expressive power of polyadic synchronisation in pi-calculus M Carbone, S Maffeis Nord. J. Comput. 10 (2), 70-98, 2003	141	2003
Structured communication-centered programming for web services M Carbone, K Honda, N Yoshida ACM Transactions on Programming Languages and Systems (TOPLAS) 34 (2), 1-78, 2012	134	2012
Structured interactional exceptions in session types M Carbone, K Honda, N Yoshida CONCUR 2008-Concurrency Theory: 19th International Conference, CONCUR 2008 …, 2008	121	2008
A theoretical basis of communication-centred concurrent programming M Carbone, K Honda, N Yoshida, R Milner, G Brown, S Ross-Talbot Web Services Choreography Working Group mailing list, to appear as a WS-CDL …, 2006	116*	2006
Multiparty session types as coherence proofs M Carbone, F Montesi, C Schürmann, N Yoshida Acta Informatica 54, 243-269, 2017	94	2017
Coherence generalises duality: A logical explanation of multiparty session types M Carbone, S Lindley, F Montesi, C Schürmann, P Wadler Proceedings of the 27th International Conference on Concurrency Theory, 1-15, 2016	83	2016
A calculus of global interaction based on session types M Carbone, K Honda, N Yoshida Electronic Notes in Theoretical Computer Science 171 (3), 127-151, 2007	67	2007
Undecidability of asynchronous session subtyping M Bravetti, M Carbone, G Zavattaro Information and Computation 256, 300-320, 2017	59	2017
Formal semantics and implementation of BPMN 2.0 inclusive gateways DR Christiansen, M Carbone, T Hildebrandt International Workshop on Web Services and Formal Methods, 146-160, 2010	48	2010
A graphical approach to progress for structured communication in web services M Carbone, S Debois arXiv preprint arXiv:1010.5566, 2010	47	2010
Programming services with correlation sets F Montesi, M Carbone Service-Oriented Computing: 9th International Conference, ICSOC 2011, Paphos …, 2011	46	2011
Choreographies, logically M Carbone, F Montesi, C Schürmann Distributed Computing 31, 51-67, 2018	41	2018
On the boundary between decidability and undecidability of asynchronous session subtyping M Bravetti, M Carbone, G Zavattaro Theoretical Computer Science 722, 19-51, 2018	37	2018

The system can't perform the operation now. Try again later.

Articles 1–20

Citations per year

Duplicate citations

Merged citations

Add co-authorsCo-authors

Follow

Cited by

Co-authors