Statistics
Publications
7
Citations
303
H-Index
7
Active since
2004
Tomoki Tokuda is an author at Okinawa Institute of Science and Technology Graduate University specializing in engineering, computer science, and formal verification.
Publications per year
2004–2021
7
7
1–5 of 7