Naoki Kobayashi

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