Marco Carbone

Cituota

	Visi	Nuo 2019
Šaltiniai	4573	1594
h-rodyklė	26	18
i10-rodyklė	33	23

360

180

270

200320042005200620072008200920102011201220132014201520162017201820192020202120222023202417 63 82 124 190 211 215 180 185 192 225 182 196 348 255 213 281 243 246 249 318 252

Viešas pasiekiamumas

Peržiūrėti viską

14 straipsnių

1 straipsnis

pasiekiami

nepasiekiami

Pagal finansavimo įpareigojimus

Bendraautoriai

Nobuko YoshidaDepartment of Computer Science, University of OxfordPatvirtintas el. paštas cs.ox.ac.uk
Fabrizio MontesiProfessor of Computer Science, University of Southern DenmarkPatvirtintas el. paštas imada.sdu.dk
Gianluigi ZavattaroProfessor in Computer Science, University of BolognaPatvirtintas el. paštas cs.unibo.it
Ivan LaneseUniversity of BolognaPatvirtintas el. paštas unibo.it
Mogens NielsenProfessor of Computer Science, Aarhus UniversityPatvirtintas el. paštas cs.au.dk
Carsten SchürmannComputer Science, IT University of CopenhagenPatvirtintas el. paštas itu.dk
Thomas Troels HildebrandtProfessor, Computer Science Departement University of CopenhagenPatvirtintas el. paštas di.ku.dk
Mario BravettiUniversity of BolognaPatvirtintas el. paštas cs.unibo.it
Vladimiro SassoneUniversity of SouthamptonPatvirtintas el. paštas ecs.soton.ac.uk
Paddy NixonUniversity of CanberraPatvirtintas el. paštas canberra.edu.au
Sotirios TerzisUniversity of StrathclydePatvirtintas el. paštas strath.ac.uk
Hugo Torres VieiraEvidence SrlPatvirtintas el. paštas evidence.eu.com
Emilio TuostoGran Sasso Science InstitutePatvirtintas el. paštas gssi.it
Vasco T. VasconcelosLASIGE, Departamento de Informática, Faculdade de Ciências, Universidade de LisboaPatvirtintas el. paštas di.fc.ul.pt
Sergio MaffeisSenior Lecturer (Associate Professor) in Computer Security, Imperial College LondonPatvirtintas el. paštas doc.ic.ac.uk
Sam LindleyThe University of EdinburghPatvirtintas el. paštas ed.ac.uk
Philip WadlerUniversity of Edinburgh and IOHK/IOGPatvirtintas el. paštas inf.ed.ac.uk
Andy TwiggOxford UniversityPatvirtintas el. paštas cs.ox.ac.uk
Giovanna Di Marzo SerugendoProfessor of Computer Science, University of GenevaPatvirtintas el. paštas unige.ch
Dr. habil. Jean-Marc SeigneurUniversity of GenevaPatvirtintas el. paštas unige.ch

Stebėti

Marco Carbone

Associate Professor, IT University of Copenhagen

Patvirtintas el. paštas itu.dk - Pagrindinis puslapis

Theory of Concurrency Behavioural Types Choreography Session Types Web Services


Pavadinimas Rūšiuoti pagal šaltinius Rūšiuoti pagal metus Rūšiuoti pagal pavadinimą	Cituota Cituota	Metai
Multiparty asynchronous session types K Honda, N Yoshida, M Carbone Proceedings of the 35th annual ACM SIGPLAN-SIGACT symposium on Principles of …, 2008	1034	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	497	2003
Structured communication-centred programming for web services M Carbone, K Honda, N Yoshida Programming Languages and Systems, 2-17, 2007	393	2007
Multiparty asynchronous session types K Honda, N Yoshida, M Carbone Journal of the ACM (JACM) 63 (1), 1-67, 2016	367	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	298	2016
Deadlock-freedom-by-design: multiparty asynchronous global programming M Carbone, F Montesi ACM SIGPLAN Notices 48 (1), 263-274, 2013	218	2013
On the expressive power of polyadic synchronisation in pi-calculus M Carbone, S Maffeis Nord. J. Comput. 10 (2), 70-98, 2003	143	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	135	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	67	2007
Undecidability of asynchronous session subtyping M Bravetti, M Carbone, G Zavattaro Information and Computation 256, 300-320, 2017	61	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	50	2010
Programming services with correlation sets F Montesi, M Carbone Service-Oriented Computing: 9th International Conference, ICSOC 2011, Paphos …, 2011	47	2011
A graphical approach to progress for structured communication in web services M Carbone, S Debois arXiv preprint arXiv:1010.5566, 2010	47	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

Sistema negali atlikti operacijos. Bandykite vėliau dar kartą.

Straipsniai 1–20

Šaltinių per metus

Dubliuoti šaltiniai

Sujungti šaltiniai

Pridėti bendraautoriusBendraautoriai

Stebėti

Cituota

Bendraautoriai