Naoki Kobayashi - Concepedia

Author

Naoki Kobayashi

Also Known As

K NAOKI, Kobayashi N., Kobayashi, Naoki, N Kobayashi, N. KOBAYASHI, N. Kobayashi, N., Kobayashi, NAOKI KOBAYASHI, Naoki KOBAYASHI, Naoki Kobayashi

446

Publications

7.9K

Citations

H-Index

245

Concepts

All Affiliations

The University of Tokyo Tohoku University Tokyo Institute of Technology Tokyo University of Science Nagoya University

About

Naoki Kobayashi is an author at The University of Tokyo specializing in engineering, formal methods, and computer science.

Top Concepts

#	Concept	H-Index	Publications	Citations
1	Engineering	34	73	3.8K
2	Health Sciences	5	5	222
3	Language Studies	5	5	286
4	Business	2	2	62
5	Management	1	1	10

Naoki Kobayashi

107

Publications

6.3K

Citations

H-Index

Page 1

	Year	Citations
Continuous excitation of planetary free oscillations by atmospheric disturbances Naoki Kobayashi, Kiwamu Nishida Nature Planetary AtmosphereContinuous ExcitationNonlinear OscillationCelestial Mechanic	1998	1.1K
Linearity and the pi-calculus Naoki Kobayashi, Benjamin C. Pierce, David N. Turner ACM Transactions on Programming Languages and Systems Theoretical MathematicsEngineeringFoundational CalculusComputational ComplexityCompilers	1999	237
Family behavior of the optical transition energies in single-wall carbon nanotubes of smaller diameters Ge. G. Samsonidze, Riichiro Saito, Naoki Kobayashi, Applied Physics Letters EngineeringSingle-wall Carbon NanotubesLuminescence PropertyCarbon-based MaterialExtended Tight-binding Model	2004	192
A Type System Equivalent to the Modal Mu-Calculus Model Checking of Higher-Order Recursion Schemes Naoki Kobayashi, C.-H. Luke Ong EngineeringAutomated ReasoningProgram AnalysisType TheoryVerification	2009	158
Types and higher-order recursion schemes for verification of higher-order programs Naoki Kobayashi Program CheckingEngineeringVerificationComputer-aided VerificationComputational Complexity	2009	145
Linearity and the pi-calculus Naoki Kobayashi, Benjamin C. Pierce, David N. Turner Theoretical MathematicsEngineeringFoundational CalculusComputational ComplexityFormal Verification	1996	141
Resonant Oscillations Between the Solid Earth and the Atmosphere Kiwamu Nishida, Naoki Kobayashi, Yoshio Fukao Science GeophysicsUpper AtmosphereAcoustic Free OscillationsEngineeringPhysics	2000	134
An improved rat brain-tumor model Naoki Kobayashi, Norman Allen, Nancy R. Clendenon, Journal of neurosurgery	1980	134
Earth's continuous oscillations observed on seismically quiet days Toshiro Tanimoto, Junho Um, Kiwamu Nishida, Geophysical Research Letters EngineeringSeismic WaveEarth System ScienceGeophysical Signal ProcessingEarth Science	1998	133
A generic type system for the Pi-calculus Atsushi Igarashi, Naoki Kobayashi Theoretical Computer Science EngineeringGeneric ProgrammingAutomated ReasoningType TheoryFormal Methods	2003	122

Page 1