Naoki Kobayashi
Scholar

Naoki Kobayashi

Google Scholar ID: bhZQ7FEAAAAJ
The University of Tokyo
Computer Science
Homepage↗Google Scholar↗
Citations & Impact
All-time
Citations
1,651
 
H-index
22
 
i10-index
43
 
Publications
20
 
Co-authors
22
list available
Contact
No contact links provided.
Publications
3 items
Prophecy-Based Automated Verification of Message-Passing Programs
2026
Cited
0
Automatic Detection of Reference Counting Bugs in Linux Kernel Drivers
2026
Cited
0
Relational Hoare Logic for High-Level Synthesis of Hardware Accelerators
2026
Cited
0
Resume (English only)
Co-authors
22 total
Takeshi Tsukada
Takeshi Tsukada
Chiba University
Hiroshi Unno
Hiroshi Unno
Tohoku University
Co-author 3
Co-author 3
Ryosuke Sato
Ryosuke Sato
Tokyo University of Agriculture and Technology
Eijiro Sumii
Eijiro Sumii
Tohoku University
Kohei SUENAGA
Kohei SUENAGA
Kyoto University
Davide Sangiorgi
Davide Sangiorgi
Professor of Computer Science, University of Bologna
Kazuyuki Asada
Kazuyuki Asada
Tohoku University