Nobuko Yoshida

Materials for the plasma-facing components of fusion reactors

H. Bolt, V. Barabash, W. Krauss et al. · Journal of Nuclear Materials · 2004 · 666 citations

Engineering, Materials Science, Nuclear Engineering +14

Multiparty asynchronous session types

Kohei Honda, Nobuko Yoshida, Marco Carbone · 2008 · 659 citations · Full text

Computing, Communication, Computer Science +7

On reduction-based process semantics

Kohei Honda, Nobuko Yoshida · Theoretical Computer Science · 1995 · 288 citations · Full text

Computing, Computer Science, Formal Methods +6

Multiparty Asynchronous Session Types

Kohei Honda, Nobuko Yoshida, Marco Carbone · Journal of the ACM · 2016 · 287 citations · Full text

Computing, Communication, Computer Science +7

Proteomic Analysis of <i>Trypanosoma cruzi</i> Secretome: Characterization of Two Populations of Extracellular Vesicles and Soluble Proteins

Ethel Bayer‐Santos, Clemente Aguilar-Bonavides, Silas P. Rodrigues et al. · Journal of Proteome Research · 2012 · 257 citations

Life Sciences, Infectious Diseases, Microbiology +17