Concepedia

Naoki Kobayashi

NK

107

Publications

6.3K

Citations

43

H-Index

1965

Active since

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 engineering, formal methods, and computer science.

Top concepts

EngineeringFormal MethodsComputer ScienceFormal VerificationProgram AnalysisAutomated ReasoningSoftware AnalysisVerificationFormal SpecificationMedicine

Publications per year

1965–2024

107

Publications

107

Continuous excitation of planetary free oscillations by atmospheric disturbances

Naoki Kobayashi, Kiwamu Nishida · Nature · 1998 · 1.1K citations

Planetary Atmosphere, Continuous Excitation, Nonlinear Oscillation +1

Linearity and the pi-calculus

Naoki Kobayashi, Benjamin C. Pierce, David N. Turner · ACM Transactions on Programming Languages and Systems · 1999 · 237 citations · Full text

Theoretical Mathematics, Engineering, Foundational Calculus +18

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 · 192 citations

Engineering, Single-wall Carbon Nanotubes, Luminescence Property +24

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

Engineering, Automated Reasoning, Program Analysis +14

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

Naoki Kobayashi · 2009 · 145 citations

Program Checking, Engineering, Verification +17

Rows per page

1–5 of 107