World's Best Scientists 2026 revealed!
Naoki Kobayashi

Naoki Kobayashi

D-Index & Metrics

Engineering and Technology

D-Index
41
Citations
7682
World Ranking
6900
National Ranking
142

Naoki Kobayashi publication distribution in Engineering and Technology in 2026

The chart shows the distribution of publications by all Research.com ranked scientists in the field of Engineering and Technology in 2026. The highlighted bar marks where Naoki Kobayashi sits on this spectrum.

38–47 publications: 20 scientists 48–57 publications: 35 scientists 58–67 publications: 96 scientists 68–77 publications: 135 scientists 78–87 publications: 190 scientists 88–97 publications: 259 scientists 98–107 publications: 283 scientists 108–117 publications: 369 scientists 118–127 publications: 341 scientists 128–137 publications: 386 scientists 138–147 publications: 372 scientists 148–157 publications: 457 scientists 158–167 publications: 415 scientists 168–177 publications: 407 scientists 178–187 publications: 421 scientists 188–197 publications: 378 scientists 198–207 publications: 403 scientists 208–217 publications: 317 scientists 218–227 publications: 346 scientists 228–237 publications: 321 scientists 238–247 publications: 260 scientists 248–257 publications: 280 scientists 258–267 publications: 240 scientists 268–277 publications: 214 scientists 278–287 publications: 242 scientists 288–297 publications: 203 scientists 298–307 publications: 166 scientists 308–317 publications: 154 scientists 318–327 publications: 175 scientists 328–337 publications: 159 scientists 338–347 publications: 99 scientists 348–357 publications: 131 scientists 358–367 publications: 106 scientists 368–377 publications: 118 scientists 378–387 publications: 97 scientists 388–397 publications: 108 scientists 398–407 publications: 82 scientists 408–417 publications: 71 scientists 418–427 publications: 64 scientists 428–437 publications: 55 scientists 438–447 publications: 54 scientists 448–457 publications: 60 scientists 458–467 publications: 47 scientists 468–477 publications: 40 scientists 478–487 publications: 30 scientists 488–497 publications: 29 scientists 498–507 publications: 38 scientists 508–517 publications: 40 scientists 518–527 publications: 32 scientists 528–537 publications: 23 scientists 538–547 publications: 28 scientists 548–557 publications: 23 scientists 558–567 publications: 19 scientists 568–577 publications: 16 scientists 578–587 publications: 17 scientists 588–597 publications: 18 scientists 598–607 publications: 22 scientists 608–617 publications: 15 scientists 618–627 publications: 9 scientists 628–637 publications: 11 scientists 638–647 publications: 21 scientists 648–657 publications: 12 scientists 658–667 publications: 9 scientists 668–677 publications: 11 scientists 678–687 publications: 9 scientists 688–697 publications: 6 scientists 698–707 publications: 14 scientists 708–717 publications: 7 scientists 718–727 publications: 8 scientists 728–737 publications: 10 scientists 738–747 publications: 9 scientists 748–757 publications: 5 scientists 758–767 publications: 5 scientists 768–777 publications: 11 scientists 778–787 publications: 7 scientists 788–797 publications: 2 scientists 798–803 publications: 4 scientists 804+ publications: 100 scientists
38 publications 804+

This scientist: 228 publications — 58th percentile

58% of scientists in this discipline score the same or lower.

The last bar groups every scientist with 804 publications or more.

Naoki Kobayashi D-index placement in Engineering and Technology in 2026

The chart shows the D-index (discipline H-index) distribution of Engineering and Technology scientists ranked by Research.com in 2026. The highlighted bar marks where Naoki Kobayashi sits on this spectrum.

30 D-Index: 59 scientists 31 D-Index: 114 scientists 32 D-Index: 129 scientists 33 D-Index: 189 scientists 34 D-Index: 200 scientists 35 D-Index: 262 scientists 36 D-Index: 311 scientists 37 D-Index: 312 scientists 38 D-Index: 350 scientists 39 D-Index: 385 scientists 40 D-Index: 348 scientists 41 D-Index: 362 scientists 42 D-Index: 426 scientists 43 D-Index: 380 scientists 44 D-Index: 310 scientists 45 D-Index: 341 scientists 46 D-Index: 301 scientists 47 D-Index: 306 scientists 48 D-Index: 271 scientists 49 D-Index: 246 scientists 50 D-Index: 210 scientists 51 D-Index: 253 scientists 52 D-Index: 213 scientists 53 D-Index: 221 scientists 54 D-Index: 195 scientists 55 D-Index: 186 scientists 56 D-Index: 170 scientists 57 D-Index: 167 scientists 58 D-Index: 166 scientists 59 D-Index: 144 scientists 60 D-Index: 152 scientists 61 D-Index: 141 scientists 62 D-Index: 138 scientists 63 D-Index: 131 scientists 64 D-Index: 118 scientists 65 D-Index: 114 scientists 66 D-Index: 119 scientists 67 D-Index: 95 scientists 68 D-Index: 87 scientists 69 D-Index: 77 scientists 70 D-Index: 89 scientists 71 D-Index: 69 scientists 72 D-Index: 54 scientists 73 D-Index: 46 scientists 74 D-Index: 55 scientists 75 D-Index: 54 scientists 76 D-Index: 49 scientists 77 D-Index: 53 scientists 78 D-Index: 46 scientists 79 D-Index: 28 scientists 80 D-Index: 39 scientists 81 D-Index: 36 scientists 82 D-Index: 24 scientists 83 D-Index: 26 scientists 84 D-Index: 36 scientists 85 D-Index: 18 scientists 86 D-Index: 25 scientists 87 D-Index: 19 scientists 88 D-Index: 26 scientists 89 D-Index: 27 scientists 90 D-Index: 23 scientists 91 D-Index: 15 scientists 92 D-Index: 12 scientists 93 D-Index: 9 scientists 94 D-Index: 15 scientists 95 D-Index: 10 scientists 96 D-Index: 13 scientists 97 D-Index: 13 scientists 98 D-Index: 9 scientists 99 D-Index: 7 scientists 100 D-Index: 7 scientists 101 D-Index: 8 scientists 102 D-Index: 7 scientists 103 D-Index: 7 scientists 104 D-Index: 9 scientists 105 D-Index: 6 scientists 106 D-Index: 9 scientists 107+ D-Index: 99 scientists
30 D-Index 107+

This scientist: 41 D-Index — 31st percentile

31% of scientists in this discipline score the same or lower.

The last bar groups every scientist with 107 D-Index or more.

Overview

Naoki Kobayashi is affiliated with the University of Tokyo in Japan. Their research primarily lies within the field of Computer Science, with a significant focus on Artificial Intelligence, Computational Theory and Mathematics, and Software. Their work also extends to areas such as Pulmonary and Respiratory Medicine and Radiology, Nuclear Medicine and Imaging.

Kobayashi's research topics cover formal verification and programming language theory, including:

  • Formal Methods in Verification
  • Logic, programming, and type systems
  • Software Testing and Debugging Techniques
  • Security and Verification in Computing
  • Natural Language Processing Techniques
  • Software Engineering Research
  • Logic, Reasoning, and Knowledge

Recent selected publications by Kobayashi include:

  • "RustHorn: CHC-based Verification for Rust Programs", 2021, ACM Transactions on Programming Languages and Systems
  • "ICE-Based Refinement Type Discovery for Higher-Order Functional Programs", 2020, Journal of Automated Reasoning
  • "Considering Nested Tree Structure in Sentence Extractive Summarization with Pre-trained Transformer", 2021, Proceedings of the 2021 Conference on Empirical Methods in Natural Language Processing
  • "Deep learning-based reconstruction and 3D hybrid profile order technique for MRCP at 3T: evaluation of image quality and acquisition time", 2023, European Radiology
  • "High-throughput screening of small-molecules libraries identified antibacterials against clinically relevant multidrug-resistant A. baumannii and K. pneumoniae", 2024, EBioMedicine

Their frequent co-authors include:

  • Ryosuke Sato
  • Ken Sakayori
  • Takeshi Tsukada
  • Hiroyuki Katsura
  • Kaori Shiraishi

Kobayashi's research outputs have been published across various venues, with multiple contributions particularly to:

  • arXiv (Cornell University)
  • Leibniz-Zentrum für Informatik (Schloss Dagstuhl)
  • Proceedings of the ACM on Programming Languages
  • Journal of Computer Assisted Tomography
  • Zenodo (CERN European Organization for Nuclear Research)

Best Publications

  • Linearity and the pi-calculus

    Naoki Kobayashi;Benjamin C. Pierce;David N. Turner

  • A generic type system for the Pi-calculus

    Atsushi Igarashi;Naoki Kobayashi

  • An optical spectrum of the afterglow of a γ-ray burst at a redshift of z = 6.295

    N. Kawai;G. Kosugi;K. Aoki;T. Yamada

  • Resource usage analysis

    Atsushi Igarashi;Naoki Kobayashi

  • New Route to Unsymmetrical Phthalocyanine Analogues by the Use of Structurally Distorted Subphthalocyanines

    Nagao Kobayashi;Ryoko Kondo;Shin ichiro Nakajima;Tetsuo Osa

  • A partially deadlock-free typed process calculus

    Naoki Kobayashi

  • Environmental bisimulations for higher-order languages

    Davide Sangiorgi;Naoki Kobayashi;Eijiro Sumii

  • A new type system for deadlock-free processes

    Naoki Kobayashi

  • Types and higher-order recursion schemes for verification of higher-order programs

    Naoki Kobayashi

  • A Type System Equivalent to the Modal Mu-Calculus Model Checking of Higher-Order Recursion Schemes

    Naoki Kobayashi;C.-H. Luke Ong

  • Earth's continuous oscillations observed on seismically quiet days

    Toshiro Tanimoto;Junho Um;Kiwamu Nishida;Naoki Kobayashi

  • Predicate abstraction and CEGAR for higher-order model checking

    Naoki Kobayashi;Ryosuke Sato;Hiroshi Unno

  • Type Systems for Concurrent Programs

    Naoki Kobayashi

  • A type system for lock-free processes

    Naoki Kobayashi

  • Type-based information flow analysis for the Π-calculus

    Naoki Kobayashi

  • Quasi-linear types

    Naoki Kobayashi

  • ACL—a concurrent linear logic programming paradigm

    Naoki Kobayashi;Akinori Yonezawa

  • Higher-order multi-parameter tree transducers and recursion schemes for program verification

    Naoki Kobayashi;Naoshi Tabuchi;Hiroshi Unno

  • Model Checking Higher-Order Programs

    Naoki Kobayashi

  • Model-checking higher-order functions

    Naoki Kobayashi

  • Theoretical Aspects of Computer Software

    Naoki Kobayashi;Benjamin C. Pierce

Frequent Co-Authors

Yoshiji Horikoshi
Yoshiji Horikoshi Waseda University
Akinori Yonezawa
Akinori Yonezawa University of Tokyo
Makoto Kasu
Makoto Kasu Saga University
Yasuo Morishima
Yasuo Morishima Aichi Medical University
Hiroyuki Takeda
Hiroyuki Takeda University of Tokyo
Norihiro Okada
Norihiro Okada National Cheng Kung University
Ritsuro Suzuki
Ritsuro Suzuki Shimane University
Y. B. Hsiung
Y. B. Hsiung National Taiwan University
Kiwamu Nishida
Kiwamu Nishida University of Tokyo
K. Kinoshita
K. Kinoshita University of Cincinnati

If you think any of the details on this page are incorrect, let us know.

Report an issue

We appreciate your kind effort to assist us to improve this page, it would be helpful providing us with as much detail as possible in the text box below:

Related Online Degrees & Career Pathways

Exploring Engineering and Technology in the USA opens up a wide world of career possibilities. To enhance your technical background, consider complementing your degree with skills in management, entrepreneurship, and professional communication. These additional competencies can help you stand out in a competitive job market and expand your career options beyond traditional engineering roles.

For those interested in leadership or consulting, a online mba programs no gmat low-cost provides a flexible route to business expertise without the usual exam barriers. If you’re passionate about innovation, an mba in entrepreneurship online can help turn your technical ideas into viable start-ups.

Many engineering projects also benefit from enhanced communication skills. That’s where an online master's in communications comes in, helping engineers effectively share complex ideas. Alternatively, those looking to manage technical teams or oversee major initiatives should explore the cheapest online masters in project management, which focuses on practical leadership for technology-driven projects.

All these online degree programs offer flexible, affordable ways to diversify your skillset and propel your engineering or technology career further.

Best Scientists Citing Naoki Kobayashi

Trending Scientists

Recently Published Articles