Scholar
Naoki Kobayashi
Google Scholar ID: bhZQ7FEAAAAJ
The University of Tokyo
Computer Science
Follow
Homepage
↗
Google Scholar
↗
Citations & Impact
All-time
Citations
1,651
H-index
22
i10-index
43
Publications
20
Co-authors
22
list available
Publications
4 items
CHC-based Automated Verification of WebAssembly Programs
2026
Cited
0
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
Co-authors
16 total
Takeshi Tsukada
Chiba University
Hiroshi Unno
Tohoku University
Ryosuke Sato
Tokyo University of Agriculture and Technology
Eijiro Sumii
Tohoku University
Kohei SUENAGA
Kyoto University
Davide Sangiorgi
Professor of Computer Science, University of Bologna
Kazuyuki Asada
Tohoku University
Luke Ong
Distinguished University Professor, Nanyang Technological University
