Marco Carbone

Artificial Intelligence · 2003–2008

A researcher in the Science corpus: 3 papers; trusts 4 researchers and is trusted by 3 researchers here, as inferred from the citation graph.

Subfields

• Artificial Intelligence — 6 citations into it; #23,576 of 35,345 by trust here, #26,682 by citations
• Computer Networks and Communications — 5 citations into it

Whom Marco Carbone trusts overall

Their strongest outbound trust, strongest first, inferred from their citations.

1. Simon J. Gay
2. Malcolm Hole
3. Nobuko Yoshida

Who trusts Marco Carbone overall

1. Kohei Honda
2. Nobuko Yoshida
3. Philip Wadler

Papers from Marco Carbone's perspective

Ordered by how strongly the researchers Marco Carbone trusts endorse each paper. Same corpus, a different order for every researcher.

1. Language Primitives and Type Discipline for Structured Communication-Based Programming Revisited: Two Systems for Higher-Order Session Communication (SecReT@ICALP)
2. Structured Communication-Centred Programming for Web Services (European Symposium on Programming)
3. Subtyping for session types in the pi calculus (Acta Informatica)
4. THE MEANINGS OF TRUST
5. Types and programming languages: the next generation (18th Annual IEEE Symposium of Logic in Computer Science, 2003. Proceedings.)
6. Enforcing high-level protocols in low-level software (ACM-SIGPLAN Symposium on Programming Language Design and Implementation)
7. The Pi-Calculus - a theory of mobile processes
8. Region-based memory management in cyclone (ACM-SIGPLAN Symposium on Programming Language Design and Implementation)
9. Pict: a programming language based on the Pi-Calculus (Proof, Language, and Interaction)
10. Airavat: Security and Privacy for MapReduce

Their papers

• Multiparty asynchronous session types (2008) — 1,000 citations
• Using Trust for Secure Collaboration in Uncertain Environments (2003) — 415 citations
• Structured Communication-Centred Programming for Web Services (2007) — 376 citations