World's Best Scientists 2026 revealed!
Naoki Kobayashi

Naoki Kobayashi

D-Index & Metrics

Computer Science

D-Index
39
Citations
6621
World Ranking
9749
National Ranking
144

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

  • 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

  • Linearity and the pi-calculus

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

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

    Naoki Kobayashi;C.-H. Luke Ong

  • 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

  • A generic type system for the Pi-calculus

    Atsushi Igarashi;Naoki Kobayashi

  • Quasi-linear types

    Naoki Kobayashi

  • ACL—a concurrent linear logic programming paradigm

    Naoki Kobayashi;Akinori Yonezawa

  • Environmental Bisimulations for Higher-Order Languages

    D. Sangiorgi;N. Kobayashi;E. Sumii

  • Model Checking Higher-Order Programs

    Naoki Kobayashi

  • Predicate abstraction and CEGAR for higher-order model checking

    Unknown

  • Model-checking higher-order functions

    Naoki Kobayashi

  • Asynchronous communication model based on linear logic

    Naoki Kobayashi;Akinori Yonezawa

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:

Recently Published Articles