Statistics
Publications
2
Citations
57
H-Index
2
Active since
2015
Affiliations
Hitachi (Japan)(Current)
Hiroshi Mine is an author at Hitachi (Japan) specializing in smart buildings, parallel solvers, and test coverage.
Publications per year
2015–2018
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
1–2 of 2