Marco Carbone

Citée par

	Toutes	Depuis 2020
Citations	4644	1388
indice h	26	17
indice i10	33	23

360

180

270

2003200420052006200720082009201020112012201320142015201620172018201920202021202220232024202517 63 83 125 188 210 215 179 196 192 228 181 207 358 250 207 271 243 236 262 310 286 50

Accès public

Tout afficher

15 articles

0 article

disponibles

non disponibles

Sur la base des exigences liées au financement

Coauteurs

Nobuko YoshidaDepartment of Computer Science, University of OxfordAdresse e-mail validée de cs.ox.ac.uk
Fabrizio MontesiProfessor of Computer Science, University of Southern DenmarkAdresse e-mail validée de imada.sdu.dk
Gianluigi ZavattaroProfessor in Computer Science, University of BolognaAdresse e-mail validée de cs.unibo.it
Ivan LaneseUniversity of BolognaAdresse e-mail validée de unibo.it
Mogens NielsenProfessor of Computer Science, Aarhus UniversityAdresse e-mail validée de cs.au.dk
Carsten SchürmannComputer Science, IT University of CopenhagenAdresse e-mail validée de itu.dk
Thomas Troels HildebrandtProfessor, Computer Science Departement University of CopenhagenAdresse e-mail validée de di.ku.dk
Mario BravettiUniversity of BolognaAdresse e-mail validée de cs.unibo.it
Vladimiro SassoneUniversity of SouthamptonAdresse e-mail validée de ecs.soton.ac.uk
Paddy NixonUniversity of CanberraAdresse e-mail validée de canberra.edu.au
Sotirios TerzisUniversity of StrathclydeAdresse e-mail validée de strath.ac.uk
Hugo Torres VieiraEvidence SrlAdresse e-mail validée de evidence.eu.com
Emilio TuostoGran Sasso Science InstituteAdresse e-mail validée de gssi.it
Vasco T. VasconcelosLASIGE, Departamento de Informática, Faculdade de Ciências, Universidade de LisboaAdresse e-mail validée de di.fc.ul.pt
Sergio MaffeisSenior Lecturer (Associate Professor) in Computer Security, Imperial College LondonAdresse e-mail validée de doc.ic.ac.uk
Sam LindleyThe University of EdinburghAdresse e-mail validée de ed.ac.uk
Philip WadlerUniversity of Edinburgh and IOHK/IOGAdresse e-mail validée de inf.ed.ac.uk
Andy TwiggOxford UniversityAdresse e-mail validée de cs.ox.ac.uk
Giovanna Di Marzo SerugendoProfessor of Computer Science, University of GenevaAdresse e-mail validée de unige.ch
Dr. habil. Jean-Marc SeigneurUniversity of GenevaAdresse e-mail validée de unige.ch

Suivre

Marco Carbone

Associate Professor, IT University of Copenhagen

Adresse e-mail validée de itu.dk - Page d'accueil

Theory of Concurrency Behavioural Types Choreography Session Types Web Services


Titre Trier par citations Trier par année Trier par titre	Citée par Citée par	Année
Multiparty asynchronous session types K Honda, N Yoshida, M Carbone Proceedings of the 35th annual ACM SIGPLAN-SIGACT symposium on Principles of …, 2008	1048	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	498	2003
Structured communication-centred programming for web services M Carbone, K Honda, N Yoshida Programming Languages and Systems, 2-17, 2007	394	2007
Multiparty asynchronous session types K Honda, N Yoshida, M Carbone Journal of the ACM (JACM) 63 (1), 1-67, 2016	382	2016
A formal model for trust in dynamic networks M Carbone, M Nielsen, V Sassone First International Conference onSoftware Engineering and Formal Methods …, 2003	336	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	304	2016
Deadlock-freedom-by-design: multiparty asynchronous global programming M Carbone, F Montesi ACM SIGPLAN Notices 48 (1), 263-274, 2013	224	2013
On the expressive power of polyadic synchronisation in pi-calculus M Carbone, S Maffeis Nord. J. Comput. 10 (2), 70-98, 2003	145	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	140	2012
Structured interactional exceptions in session types M Carbone, K Honda, N Yoshida CONCUR 2008-Concurrency Theory: 19th International Conference, CONCUR 2008 …, 2008	123	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	95	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	84	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	68	2007
Undecidability of asynchronous session subtyping M Bravetti, M Carbone, G Zavattaro Information and Computation 256, 300-320, 2017	60	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	51	2010
Programming services with correlation sets F Montesi, M Carbone Service-Oriented Computing: 9th International Conference, ICSOC 2011, Paphos …, 2011	48	2011
A graphical approach to progress for structured communication in web services M Carbone, S Debois arXiv preprint arXiv:1010.5566, 2010	48	2010
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	39	2018

Le système ne peut pas réaliser cette opération maintenant. Veuillez réessayer plus tard.

Articles 1–20

Nombre de citations par an

Citations en double

Citations fusionnées

Ajouter les coauteursCoauteurs

Suivre

Citée par

Coauteurs