Concepedia
Statistics
Publications
107
Citations
6.4K
H-Index
43
Active since
1965
Affiliations
The University of Tokyo(Current)
Tohoku University
Tokyo Institute of Technology
Tokyo University of Science
Nagoya University
Naoki Kobayashi is an author at The University of Tokyo specializing in computer science, computing, and formal methods.
Publications per year
1965–2024
Continuous excitation of planetary free oscillations by atmospheric disturbances
Naoki Kobayashi, Kiwamu Nishida · Nature · 1998 · 1.1K citations
Natural Sciences, Earth Sciences, Meteorology +14
Linearity and the pi-calculus
Naoki Kobayashi, Benjamin C. Pierce, David N. Turner · ACM Transactions on Programming Languages and Systems · 1999 · 240 citations · Full text
Computing, Computer Science, Formal Methods +12
Family behavior of the optical transition energies in single-wall carbon nanotubes of smaller diameters
Ge. G. Samsonidze, Riichiro Saito, Naoki Kobayashi et al. · Applied Physics Letters · 2004 · 193 citations · Full text
Natural Sciences, Materials Science, Physics +16
A Type System Equivalent to the Modal Mu-Calculus Model Checking of Higher-Order Recursion Schemes
Naoki Kobayashi, C.-H. Luke Ong · 2009 · 158 citations
Computing, Computer Science, Algorithms +13
Types and higher-order recursion schemes for verification of higher-order programs
Naoki Kobayashi · 2009 · 146 citations
Computing, Computer Science, Algorithms +16
1–5 of 107