Ryo Kashima

RK

Statistics

Publications

4

Citations

159

H-Index

4

Active since

1994

Affiliations

Ryo Kashima is an author at Tokyo Institute of Technology specializing in computer science, logic, and formal methods.

Publications per year

1994–2007

4

Publications

4