Nobuko Yoshida

Artificial Intelligence · 2007–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; #19,532 of 35,345 by trust here, #29,412 by citations

Whom Nobuko Yoshida trusts overall

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

1. Simon J. Gay
2. Marco Carbone
3. Malcolm Hole

Who trusts Nobuko Yoshida overall

1. Kohei Honda
2. Philip Wadler
3. Marco Carbone

Papers from Nobuko Yoshida's perspective

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

Their papers

• Multiparty asynchronous session types (2008) — 1,000 citations
• Language Primitives and Type Discipline for Structured Communication-Based Programming Revisited: Two Systems for Higher-Order Session Communication (2007) — 490 citations
• Structured Communication-Centred Programming for Web Services (2007) — 376 citations