A data placement strategy based on clustering and consistent hashing algorithm in cloud computing. - Qiang Li; Kun Wang 005; Suwei Wei; Xuefeng Han; Lili Xu; Min Gao 003 (ChinaCom, 2014)

NAPR: A node activity-based probabilistic routing algorithm in Delay Tolerant-Mobile Sensor Networks. - Kun Wang 005; Yuhua Zhang; Lei Shu 001; Chunsheng Zhu; Min Gao 003 (ICC, 2015)

LKM: A LDA-Based K-Means Clustering Algorithm for Data Analysis of Intrusion Detection in Mobile Sensor Networks. - Yuhua Zhang; Kun Wang 005; Min Gao 003; Zhiyou Ouyang; Siguang Chen (Int. J. Distributed Sens. Networks, 2015)

LLSPLAT: Improving Concolic Testing by Bounded Model Checking. - Min Gao 003; Lei He 001; Rupak Majumdar; Zilong Wang 004 (SCAM, 2016)

Energy big data: A survey. - Hui Jiang; Kun Wang 005; Yihui Wang; Min Gao 003; Yan Zhang 002 (IEEE Access, 2016)

Probabilistic Model Checking for Green Energy Router System in Energy Internet. - Min Gao 003; Kun Wang 005; Lei He 001 (GLOBECOM, 2017)

Probabilistic Model Checking and Scheduling Implementation of an Energy Router System in Energy Internet for Green Cities. - Min Gao 003; Kun Wang 005; Lei He 001 (IEEE Trans. Ind. Informatics, 2018)

AutoDSE: Enabling Software Programmers Design Efficient FPGA Accelerators. - Atefeh Sohrabizadeh; Cody Hao Yu; Min Gao 003; Jason Cong (FPGA, 2021)

AutoDSE: Enabling Software Programmers to Design Efficient FPGA Accelerators. - Atefeh Sohrabizadeh; Cody Hao Yu; Min Gao 003; Jason Cong (ACM Trans. Design Autom. Electr. Syst., 2022)