Marco Carbone 个人学术档案

引用次数

	总计	2019 年至今
引用	4464	1508
h 指数	25	16
i10 指数	32	22

340

170

255

2002200320042005200620072008200920102011201220132014201520162017201820192020202120222023202411 17 63 82 124 190 210 215 180 185 192 225 182 194 340 255 213 278 243 246 245 319 175

开放获取的出版物数量

查看全部

14 篇文章

1 篇文章

可查看的文章

无法查看的文章

根据资助方的强制性开放获取政策

合著作者

Nobuko YoshidaDepartment of Computer Science, University of Oxford在 cs.ox.ac.uk 的电子邮件经过验证
Fabrizio MontesiProfessor of Computer Science, University of Southern Denmark在 imada.sdu.dk 的电子邮件经过验证
Gianluigi ZavattaroProfessor in Computer Science, University of Bologna在 cs.unibo.it 的电子邮件经过验证
Mogens NielsenProfessor of Computer Science, Aarhus University在 cs.au.dk 的电子邮件经过验证
Ivan LaneseUniversity of Bologna在 unibo.it 的电子邮件经过验证
Carsten SchürmannComputer Science, IT University of Copenhagen在 itu.dk 的电子邮件经过验证
Thomas Troels HildebrandtProfessor, Computer Science Departement University of Copenhagen在 di.ku.dk 的电子邮件经过验证
Mario BravettiUniversity of Bologna在 cs.unibo.it 的电子邮件经过验证
Vladimiro SassoneUniversity of Southampton在 ecs.soton.ac.uk 的电子邮件经过验证
Paddy NixonUniversity of Canberra在 canberra.edu.au 的电子邮件经过验证
Sotirios TerzisUniversity of Strathclyde在 strath.ac.uk 的电子邮件经过验证
Hugo Torres VieiraEvidence Srl在 evidence.eu.com 的电子邮件经过验证
Emilio TuostoGran Sasso Science Institute在 gssi.it 的电子邮件经过验证
Vasco T. VasconcelosLASIGE, Departamento de Informática, Faculdade de Ciências, Universidade de Lisboa在 di.fc.ul.pt 的电子邮件经过验证
Sergio MaffeisSenior Lecturer (Associate Professor) in Computer Security, Imperial College London在 doc.ic.ac.uk 的电子邮件经过验证
Sam LindleyThe University of Edinburgh在 ed.ac.uk 的电子邮件经过验证
Philip WadlerUniversity of Edinburgh and IOHK/IOG在 inf.ed.ac.uk 的电子邮件经过验证
Andy TwiggOxford University在 cs.ox.ac.uk 的电子邮件经过验证
Giovanna Di Marzo SerugendoProfessor of Computer Science, University of Geneva在 unige.ch 的电子邮件经过验证
Dr. habil. Jean-Marc SeigneurUniversity of Geneva在 unige.ch 的电子邮件经过验证

关注

Marco Carbone

Associate Professor, IT University of Copenhagen

在 itu.dk 的电子邮件经过验证 - 首页

Theory of Concurrency Behavioural Types Choreography Session Types Web Services


标题按引用次数排序按年份排序按标题排序	引用次数引用次数	年份
Multiparty asynchronous session types K Honda, N Yoshida, M Carbone Proceedings of the 35th annual ACM SIGPLAN-SIGACT symposium on Principles of …, 2008	1005	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	388	2007
Multiparty asynchronous session types K Honda, N Yoshida, M Carbone Journal of the ACM (JACM) 63 (1), 1-67, 2016	350	2016
A formal model for trust in dynamic networks M Carbone, M Nielsen, V Sassone First International Conference onSoftware Engineering and Formal Methods …, 2003	330	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	284	2016
Deadlock-freedom-by-design: multiparty asynchronous global programming M Carbone, F Montesi ACM SIGPLAN Notices 48 (1), 263-274, 2013	212	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	57	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	45	2011
Choreographies, logically M Carbone, F Montesi, C Schürmann Distributed Computing 31, 51-67, 2018	41	2018
A calculus for trust management M Carbone, M Nielsen, V Sassone International Conference on Foundations of Software Technology and …, 2004	37	2004

系统目前无法执行此操作，请稍后再试。

文章 1–20

每年引用数

重复的引用

合并的引用

添加合著者合著作者

上传 PDF

关注此作者

引用次数

合著作者

引用