Naoki Kobayashi

Naoki Kobayashi publication distribution in Computer Science in 2026

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

Naoki Kobayashi D-index placement in Computer Science in 2026

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

Best Publications

• Linearity and the pi-calculus

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

  746
  Citations

• A generic type system for the Pi-calculus

  Atsushi Igarashi;Naoki Kobayashi

  439
  Citations

• A partially deadlock-free typed process calculus

  Naoki Kobayashi

  234
  Citations

• Environmental bisimulations for higher-order languages

  Davide Sangiorgi;Naoki Kobayashi;Eijiro Sumii

  226
  Citations

• A new type system for deadlock-free processes

  Naoki Kobayashi

  211
  Citations

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

  Naoki Kobayashi

  207
  Citations

• Linearity and the pi-calculus

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

  189
  Citations

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

  Naoki Kobayashi;C.-H. Luke Ong

  185
  Citations

• Predicate abstraction and CEGAR for higher-order model checking

  Naoki Kobayashi;Ryosuke Sato;Hiroshi Unno

  157
  Citations

• Type Systems for Concurrent Programs

  Naoki Kobayashi

  152
  Citations

• A type system for lock-free processes

  Naoki Kobayashi

  143
  Citations

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

  Naoki Kobayashi

  143
  Citations

• A generic type system for the Pi-calculus

  Atsushi Igarashi;Naoki Kobayashi

  128
  Citations

• Quasi-linear types

  Naoki Kobayashi

  126
  Citations

• ACL—a concurrent linear logic programming paradigm

  Naoki Kobayashi;Akinori Yonezawa

  120
  Citations

• Environmental Bisimulations for Higher-Order Languages

  D. Sangiorgi;N. Kobayashi;E. Sumii

  116
  Citations

• Model Checking Higher-Order Programs

  Naoki Kobayashi

  100
  Citations

• Predicate abstraction and CEGAR for higher-order model checking

  Unknown

  96
  Citations

• Model-checking higher-order functions

  Naoki Kobayashi

  92
  Citations

• Asynchronous communication model based on linear logic

  Naoki Kobayashi;Akinori Yonezawa

  83
  Citations