Nobuko Yoshida

12.0k total citations · 1 hit paper
200 papers, 4.3k citations indexed

About

Nobuko Yoshida is a scholar working on Artificial Intelligence, Computational Theory and Mathematics and Computer Networks and Communications. According to data from OpenAlex, Nobuko Yoshida has authored 200 papers receiving a total of 4.3k indexed citations (citations by other indexed papers that have themselves been cited), including 132 papers in Artificial Intelligence, 82 papers in Computational Theory and Mathematics and 73 papers in Computer Networks and Communications. Recurrent topics in Nobuko Yoshida's work include Logic, programming, and type systems (121 papers), Formal Methods in Verification (77 papers) and Distributed systems and fault tolerance (68 papers). Nobuko Yoshida is often cited by papers focused on Logic, programming, and type systems (121 papers), Formal Methods in Verification (77 papers) and Distributed systems and fault tolerance (68 papers). Nobuko Yoshida collaborates with scholars based in United Kingdom, Brazil and Italy. Nobuko Yoshida's co-authors include Kohei Honda, Marco Carbone, H. Bolt, W. Krauss, R. Neu, J. Linke, Shohei Suzuki, ASDEX Upgrade Team, V. Barabash and Mauro Cortéz and has published in prestigious journals such as SHILAP Revista de lepidopterología, PLoS ONE and Scientific Reports.

In The Last Decade

Nobuko Yoshida

188 papers receiving 4.1k citations

Hit Papers

Materials for the plasma-facing components of fusion reac... 2004 2026 2011 2018 2004 100 200 300 400 500
What are hit papers?

Hit papers significantly outperform the citation benchmark for their cohort. A paper qualifies if it has ≥500 total citations, achieves ≥1.5× the top-1% citation threshold for papers in the same subfield and year (this is the minimum needed to enter the top 1%, not the average within it), or reaches the top citation threshold in at least one of its specific research topics.

  1. Materials for the plasma-facing components of fusion reactors
    2004 550 citations Nobuko Yoshida et al. profile →

Peers — A (Enhanced Table)

Peers by citation overlap · career bar shows stage (early→late) cites · hero ref

Name h Career Trend Papers Cites
Nobuko Yoshida United Kingdom 31 1.9k 1.2k 1.2k 975 924 200 4.3k
Per Brinch Hansen Denmark 39 973 0.5× 221 0.2× 563 0.5× 1.3k 1.4× 82 0.1× 276 6.6k
Dmitri Maslov United States 49 3.5k 1.9× 2.5k 2.0× 2.0k 1.7× 62 0.1× 1.2k 1.3× 139 7.4k
Massimo Bernaschi Italy 26 223 0.1× 187 0.2× 112 0.1× 524 0.5× 149 0.2× 163 2.9k
David F. Anderson United States 42 255 0.1× 273 0.2× 804 0.7× 141 0.1× 963 1.0× 220 6.5k
Richard H. Lathrop United States 21 1.0k 0.5× 193 0.2× 269 0.2× 68 0.1× 31 0.0× 55 3.3k
Jun Yang United States 35 399 0.2× 116 0.1× 71 0.1× 3.0k 3.0× 60 0.1× 156 4.7k
Richard Hughey United States 24 690 0.4× 100 0.1× 184 0.2× 107 0.1× 42 0.0× 60 4.7k
Martin Tompa United States 27 1.1k 0.6× 414 0.3× 672 0.6× 238 0.2× 17 0.0× 81 3.6k
Hung‐Chih Yang Taiwan 43 151 0.1× 3.8k 3.1× 22 0.0× 384 0.4× 204 0.2× 183 7.8k
Jinliang Liu China 46 547 0.3× 19 0.0× 399 0.3× 3.8k 3.9× 109 0.1× 214 6.3k

Countries citing papers authored by Nobuko Yoshida

Since Specialization
Citations

This map shows the geographic impact of Nobuko Yoshida's research. It shows the number of citations coming from papers published by authors working in each country. You can also color the map by specialization and compare the number of citations received by Nobuko Yoshida with the expected number of citations based on a country's size and research output (numbers larger than one mean the country cites Nobuko Yoshida more than expected).

Fields of papers citing papers by Nobuko Yoshida

Since Specialization
Physical SciencesHealth SciencesLife SciencesSocial Sciences

This network shows the impact of papers produced by Nobuko Yoshida. Nodes represent research fields, and links connect fields that are likely to share authors. Colored nodes show fields that tend to cite the papers produced by Nobuko Yoshida. The network helps show where Nobuko Yoshida may publish in the future.

Co-authorship network of co-authors of Nobuko Yoshida

This figure shows the co-authorship network connecting the top 25 collaborators of Nobuko Yoshida. A scholar is included among the top collaborators of Nobuko Yoshida based on the total number of citations received by their joint publications. Widths of edges represent the number of papers authors have co-authored together. Node borders signify the number of papers an author published with Nobuko Yoshida. Nobuko Yoshida is excluded from the visualization to improve readability, since they are connected to all nodes in the network.

All Works

20 of 20 papers shown
1.
Yoshida, Nobuko, et al.. (2025). Top-Down or Bottom-Up? Complexity Analyses of Synchronous Multiparty Session Types. Proceedings of the ACM on Programming Languages. 9(POPL). 1040–1071.
2.
Yoshida, Nobuko, et al.. (2024). Three Subtyping Algorithms for Binary Session Types and their Complexity Analyses. Electronic Proceedings in Theoretical Computer Science. 401. 49–60.
3.
Bravetti, Mario, Marco Carbone, Julien Lange, Nobuko Yoshida, & Gianluigi Zavattaro. (2021). A Sound Algorithm for Asynchronous Session Subtyping and its Implementation. SHILAP Revista de lepidopterología. 1 indexed citations
4.
Toninho, Bernardo & Nobuko Yoshida. (2021). On polymorphic sessions and functions: A tale of two (fully abstract) encodings. Spiral (Imperial College London). 2 indexed citations
5.
Neykova, Rumyana, et al.. (2020). Multiparty Session Programming With Global Protocol Combinators. DROPS (Schloss Dagstuhl – Leibniz Center for Informatics). 30. 4 indexed citations
6.
Griesemer, Robert, Raymond Hu, Julien Lange, et al.. (2020). Featherweight go. Proceedings of the ACM on Programming Languages. 4(OOPSLA). 1–29. 8 indexed citations
7.
Kouzapas, Dimitrios, Jorge A. Pérez, & Nobuko Yoshida. (2019). On the relative expressiveness of higher-order session processes. Information and Computation. 268. 104433–104433. 2 indexed citations
8.
Yoshida, Nobuko & Rumyana Neykova. (2017). Multiparty Session Actors. arXiv (Cornell University). 13. 8 indexed citations
9.
Scalas, Alceste & Nobuko Yoshida. (2016). Lightweight Session Programming in Scala. DROPS (Schloss Dagstuhl – Leibniz Center for Informatics). 25 indexed citations
10.
Ancona, Davide, Viviana Bono, Mario Bravetti, et al.. (2016). Behavioral Types in Programming Languages. Archivio istituzionale della ricerca (Alma Mater Studiorum Università di Bologna). 50 indexed citations
11.
Carbone, Marco, Fabrizio Montesi, Carsten Schürmann, & Nobuko Yoshida. (2016). Multiparty session types as coherence proofs. Acta Informatica. 54(3). 243–269. 16 indexed citations
12.
Ancona, Davide, Viviana Bono, Mario Bravetti, et al.. (2016). Behavioral Types in Programming Languages. University of Southern Denmark Research Portal (University of Southern Denmark). 3(2-3). 95–230. 28 indexed citations
13.
Demangeon, Romain, Kohei Honda, Raymond Hu, Rumyana Neykova, & Nobuko Yoshida. (2014). Practical interruptible conversations: distributed dynamic verification with multiparty session types and Python. Formal Methods in System Design. 46(3). 197–225. 24 indexed citations
14.
Cortéz, Cristian, Nobuko Yoshida, Diana Bahia, & Tiago J. P. Sobreira. (2012). Structural Basis of the Interaction of a Trypanosoma cruzi Surface Molecule Implicated in Oral Infection with Host Cells and Gastric Mucin. PLoS ONE. 7(7). e42153–e42153. 27 indexed citations
15.
Cortéz, Cristian, et al.. (2011). Characterization of the infective properties of a new genetic group of Trypanosoma cruzi associated with bats. Acta Tropica. 120(3). 231–237. 17 indexed citations
16.
Varacca, Daniele & Nobuko Yoshida. (2010). Typed event structures and the linearπ-calculus. Theoretical Computer Science. 411(19). 1949–1973. 9 indexed citations
17.
Yoshida, Nobuko & Matthew Hennessy. (1999). Suptyping and Locality in Distributed Higher Order Processes (extended abstract). 557–572. 14 indexed citations
18.
Yoshida, Nobuko. (1995). Graph notation for concurrent combinators. Lecture notes in computer science. 907. 393–412. 2 indexed citations
19.
Honda, Kohei & Nobuko Yoshida. (1995). On reduction-based process semantics. Theoretical Computer Science. 151(2). 437–486. 156 indexed citations
20.
Honda, Kohei & Nobuko Yoshida. (1993). On Reduction-Based Semantics. 373–387. 1 indexed citations

Rankless uses publication and citation data sourced from OpenAlex, an open and comprehensive bibliographic database. While OpenAlex provides broad and valuable coverage of the global research landscape, it—like all bibliographic datasets—has inherent limitations. These include incomplete records, variations in author disambiguation, differences in journal indexing, and delays in data updates. As a result, some metrics and network relationships displayed in Rankless may not fully capture the entirety of a scholar's output or impact.

Explore authors with similar magnitude of impact

Breakdown of academic impact, for papers by Per Brinch Hansen Breakdown of academic impact, for papers by Dmitri Maslov Breakdown of academic impact, for papers by Massimo Bernaschi Breakdown of academic impact, for papers by David F. Anderson Breakdown of academic impact, for papers by Richard H. Lathrop Breakdown of academic impact, for papers by Jun Yang Breakdown of academic impact, for papers by Richard Hughey Breakdown of academic impact, for papers by Martin Tompa Breakdown of academic impact, for papers by Hung‐Chih Yang Breakdown of academic impact, for papers by Jinliang Liu
Rankless by CCL
2026