Koji Okuma

Statistics

Publications

Citations

H-Index

Active since

2003

Affiliations

Koji Okuma is an author at University of Tsukuba specializing in van der waals equation of state, formal methods, and crystal structure-property relationships.

Publications per year

2003–2015

Publications

Verifying CPS transformations in Isabelle/HOL

Yasuhiko Minamide, Koji Okuma · 2003 · 21 citations

Computing, Computer Science, Formal Methods +15

Recent progress in predicting structural and electronic properties of organic solids with the van der Waals density functional

Susumu Yanagisawa, Koji Okuma, Takeshi Inaoka et al. · Journal of Electron Spectroscopy and Related Phenomena · 2015 · 12 citations

Natural Sciences, Chemistry, Physics +17

1–2 of 2