Kokichi FUTATSUGI
Scholar

Kokichi FUTATSUGI

Google Scholar ID: v8q9HiEAAAAJ
Professor of Computer Science, JAIST
Formal MethodsSoftware EngineeringSystem Verification
Google Scholar↗
Citations & Impact
All-time
Citations
527
 
H-index
11
 
i10-index
13
 
Publications
20
 
Co-authors
0
 
Contact
No contact links provided.
Publications
20 items
Browse publications on Google Scholar (top-right) ↗
Resume (English only)
Co-authors
0 total
Co-authors: 0 (list not available)