Statistics
Publications
2
Citations
21
H-Index
2
Active since
2015
Affiliations
Hitachi (Japan)(Current)
Satoshi Oshima is an author at Hitachi (Japan) specializing in parallel solvers, theory of computation, and test coverage.
Publications per year
2015–2020
2
2
Parallel SMT Solving and Concurrent Symbolic Execution
Emil Rakadjiev, Taku Shimosawa, Hiroshi Mine et al. · 2015 IEEE Trustcom/BigDataSE/ISPA · 2015 · 11 citations
BCVerifier: A Tool to Verify Hyperledger Fabric Ledgers
Taku Shimosawa, Tatsuya Sato, Satoshi Oshima · 2020 · 10 citations
1–2 of 2