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

1 items

Relational Hoare Logic for High-Level Synthesis of Hardware Accelerators

2026

Cited

0

Resume (English only)

Co-authors

22 total

Takeshi Tsukada

Chiba University

Tohoku University

Kyoto University

Davide Sangiorgi

Professor of Computer Science, University of Bologna