Marco Carbone

Cited by

	All	Since 2018
Citations	4195	1397
h-index	26	15
i10-index	32	22

380

190

285

200220032004200520062007200820092010201120122013201420152016201720182019202020212022202311 17 58 83 115 196 217 212 187 185 194 220 180 208 362 275 211 297 255 274 277 81

Public access

View all

12 articles

0 articles

available

not available

Based on funding mandates

Co-authors

Nobuko YoshidaDepartment of Computing, Imperial College LondonVerified email at doc.ic.ac.uk
Fabrizio MontesiProfessor of Computer Science, University of Southern DenmarkVerified email at imada.sdu.dk
Mogens NielsenProfessor of Computer Science, Aarhus UniversityVerified email at cs.au.dk
Gianluigi ZavattaroProfessor in Computer Science, University of BolognaVerified email at cs.unibo.it
Ivan LaneseUniversity of BolognaVerified email at unibo.it
Carsten SchürmannComputer Science, IT University of CopenhagenVerified email at itu.dk
Vladimiro SassoneUniversity of SouthamptonVerified email at ecs.soton.ac.uk
Thomas Troels HildebrandtProfessor, Computer Science Departement University of CopenhagenVerified email at di.ku.dk
Paddy NixonUniversity of CanberraVerified email at canberra.edu.au
Mario BravettiUniversity of BolognaVerified email at cs.unibo.it
Hugo Torres VieiraEvidence SrlVerified email at evidence.eu.com
Sergio MaffeisSenior Lecturer (Associate Professor) in Computer Security, Imperial College LondonVerified email at doc.ic.ac.uk
Emilio TuostoGran Sasso Science InstituteVerified email at gssi.it
Andy TwiggOxford UniversityVerified email at cs.ox.ac.uk
Giovanna Di Marzo SerugendoProfessor of Computer Science, University of GenevaVerified email at unige.ch
PD Dr Jean-Marc SeigneurUniversity of GenevaVerified email at unige.ch
Vinny CahillProfessor of Computer Science, Trinity College DublinVerified email at tcd.ie
Hugo Andrés LópezAssociate Professor, Technical University of DenmarkVerified email at dtu.dk
Joshua GuttmanResearch Professor, Computer Science, Worcester Polytechnic InstituteVerified email at wpi.edu
Andrzej WąsowskiProfessor, IT University of Copenhagen, DenmarkVerified email at itu.dk

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	928	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	499	2003
Structured communication-centred programming for web services M Carbone, K Honda, N Yoshida Programming Languages and Systems, 2-17, 2007	385	2007
A formal model for trust in dynamic networks M Carbone, M Nielsen, V Sassone First International Conference onSoftware Engineering and Formal Methods …, 2003	321	2003
Multiparty asynchronous session types K Honda, N Yoshida, M Carbone Journal of the ACM (JACM) 63 (1), 1-67, 2016	291	2016
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	242	2016
Deadlock-freedom-by-design: multiparty asynchronous global programming M Carbone, F Montesi ACM SIGPLAN Notices 48 (1), 263-274, 2013	188	2013
On the expressive power of polyadic synchronisation in pi-calculus M Carbone, S Maffeis Nord. J. Comput. 10 (2), 70-98, 2003	136	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	123	2012
Structured interactional exceptions in session types M Carbone, K Honda, N Yoshida CONCUR 2008-Concurrency Theory: 19th International Conference, CONCUR 2008 …, 2008	120	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	109*	2006
Multiparty session types as coherence proofs M Carbone, F Montesi, C Schürmann, N Yoshida Acta Informatica 54, 243-269, 2017	79	2017
Coherence generalises duality: A logical explanation of multiparty session types M Carbone, S Lindley, F Montesi, C Schürmann, P Wadler Leibniz International Proceedings in Informatics (LIPIcs) 59, 1-15, 2016	70	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	66	2007
Undecidability of asynchronous session subtyping M Bravetti, M Carbone, G Zavattaro Information and Computation 256, 300-320, 2017	47	2017
Programming services with correlation sets F Montesi, M Carbone Service-Oriented Computing: 9th International Conference, ICSOC 2011, Paphos …, 2011	42	2011
A graphical approach to progress for structured communication in web services M Carbone, S Debois arXiv preprint arXiv:1010.5566, 2010	41	2010
Formal semantics and implementation of BPMN 2.0 inclusive gateways DR Christiansen, M Carbone, T Hildebrandt Web Services and Formal Methods: 7th International Workshop, WS-FM 2010 …, 2011	40	2011
Towards a formal framework for computational trust V Sassone, K Krukow, M Nielsen Formal Methods for Components and Objects: 5th International Symposium, FMCO …, 2007	40	2007
Choreographies, logically M Carbone, F Montesi, C Schürmann Distributed Computing 31, 51-67, 2018	34	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