Statistics
Publications
20
Citations
2.4K
H-Index
16
Active since
2002
Marco Carbone is an author at IT University of Copenhagen specializing in computer science, computing, and formal methods.
Publications per year
2002–2021
20
20
Multiparty asynchronous session types
Kohei Honda, Nobuko Yoshida, Marco Carbone · 2008 · 659 citations · Full text
Using trust for secure collaboration in uncertain environments
Vinny Cahill, Elizabeth Gray, Jean-Marc Seigneur et al. · IEEE Pervasive Computing · 2003 · 358 citations · Full text
Multiparty Asynchronous Session Types
Kohei Honda, Nobuko Yoshida, Marco Carbone · Journal of the ACM · 2016 · 287 citations · Full text
A formal model for trust in dynamic networks
Marco Carbone, Morten S. Nielsen, Vladimiro Sassone · 2003 · 184 citations
Multiparty asynchronous session types
Kohei Honda, Nobuko Yoshida, Marco Carbone · ACM SIGPLAN Notices · 2008 · 172 citations
1–5 of 20