Kohei Honda

Artificial Intelligence · 2007–2008

A researcher in the Science corpus: 2 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,575 of 35,345 by trust here, #31,361 by citations

Whom Kohei Honda trusts overall

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

1. Simon J. Gay
2. Nobuko Yoshida
3. Marco Carbone
4. Malcolm Hole
5. Benjamin C. Pierce

Who trusts Kohei Honda overall

1. Philip Wadler

Papers from Kohei Honda's perspective

Ordered by how strongly the researchers Kohei Honda 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. Enforcing high-level protocols in low-level software (ACM-SIGPLAN Symposium on Programming Language Design and Implementation)
5. Types and programming languages: the next generation (18th Annual IEEE Symposium of Logic in Computer Science, 2003. Proceedings.)
6. The Pi-Calculus - a theory of mobile processes
7. Region-based memory management in cyclone (ACM-SIGPLAN Symposium on Programming Language Design and Implementation)
8. Pict: a programming language based on the Pi-Calculus (Proof, Language, and Interaction)
9. THE MEANINGS OF TRUST
10. Airavat: Security and Privacy for MapReduce

Their papers

• Multiparty asynchronous session types (2008) — 1,000 citations
• Structured Communication-Centred Programming for Web Services (2007) — 376 citations