Hiroshi Mine

According to our database, Hiroshi Mine authored at least 2 papers between 2015 and 2018.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2018

Real-time optimized HVAC control system on top of an IoT framework.

Rajith Anjali, Soki Sakurai, Hiroshi Mine

Proceedings of the Third International Conference on Fog and Mobile Edge Computing, 2018

2015

Parallel SMT Solving and Concurrent Symbolic Execution.

Emil Rakadjiev, Taku Shimosawa, Hiroshi Mine, Satoshi Oshima

Proceedings of the 2015 IEEE TrustCom/BigDataSE/ISPA, 2015