Min Gao

Publication Activity (10 Years)

Years Active: 2014-2022
Publications (10 Years): 7

Top Topics

Automated Verification

Routing Algorithm

Top Venues

Int. J. Distributed Sens. Networks

IEEE Trans. Ind. Informatics

Publications

Atefeh Sohrabizadeh, Cody Hao Yu, Min Gao, Jason Cong
AutoDSE: Enabling Software Programmers to Design Efficient FPGA Accelerators. ACM Trans. Design Autom. Electr. Syst. 27 (4) (2022)
Min Gao, Kun Wang, Lei He
Probabilistic Model Checking and Scheduling Implementation of an Energy Router System in Energy Internet for Green Cities. IEEE Trans. Ind. Informatics 14 (4) (2018)
Min Gao, Kun Wang, Lei He
Probabilistic Model Checking for Green Energy Router System in Energy Internet. GLOBECOM (2017)
Min Gao, Lei He, Rupak Majumdar, Zilong Wang
LLSPLAT: Improving Concolic Testing by Bounded Model Checking. SCAM (2016)
Hui Jiang, Kun Wang, Yihui Wang, Min Gao, Yan Zhang
Energy big data: A survey. IEEE Access 4 (2016)
Yuhua Zhang, Kun Wang, Min Gao, Zhiyou Ouyang, Siguang Chen
-Means Clustering Algorithm for Data Analysis of Intrusion Detection in Mobile Sensor Networks. Int. J. Distributed Sens. Networks 11 (2015)
Kun Wang, Yuhua Zhang, Lei Shu, Chunsheng Zhu, Min Gao
NAPR: A node activity-based probabilistic routing algorithm in Delay Tolerant-Mobile Sensor Networks. ICC (2015)
Qiang Li, Kun Wang, Suwei Wei, Xuefeng Han, Lili Xu, Min Gao
A data placement strategy based on clustering and consistent hashing algorithm in cloud computing. ChinaCom (2014)