Power and discrete rate adaptation in BER constrained wireless powered communication networks. - Ming Lei 003; Xingjun Zhang; Bocheng Yu; Xiaoshe Dong (IET Commun., 2018)

Stochastic geometry modeling and energy efficiency analysis of millimeter wave cellular networks. - Song Cen; Xingjun Zhang; Ming Lei 003; Scott Fowler; Xiaoshe Dong (Wirel. Networks, 2018)

Parallel Runtime Verification Approach for Alternate Execution of Multiple Threads. - Bin Yu 008; Jinhui Liu; Ming Lei 003; Yong Yu 002; Hao Chen (SOFL+MSVL, 2019)

Runtime Verification of Ethereum Smart Contracts Based on MSVL. - Bin Yu 008; Xu Lu 003; Hao Chen; Ming Lei 003; Xiaobing Wang (SOFL+MSVL, 2020)

Food Quality Monitoring System Based on Smart Contracts and Evaluation Models. - Bin Yu 008; Ping Zhan; Ming Lei 003; Fang Zhou; Peng Wang 063 (IEEE Access, 2020)

Double deep Q-learning network-based path planning in UAV-assisted wireless powered NOMA communication networks. - Ming Lei 003; Scott Fowler; Juzhen Wang; Xingjun Zhang; Bocheng Yu; Bin Yu 008 (VTC Fall, 2021)

Efficient Computation Offloading for Edge-cloud Collaborative Networks. - Bocheng Yu; Xingjun Zhang; Juzhen Wang; Ming Lei 003 (VTC Fall, 2021)

Throughput Maximization in Backbone-Assisted Wireless Powered Communication Networks With Successive Interference Cancellation. - Ming Lei 003; Bin Yu 008; Scott Fowler; Xingjun Zhang; Cheng Lu 003 (IEEE Commun. Lett., 2021)

Throughput maximization for UAV-assisted wireless powered D2D communication networks with a hybrid time division duplex/frequency division duplex scheme. - Ming Lei 003; Xingjun Zhang; Bocheng Yu; Scott Fowler; Bin Yu 008 (Wirel. Networks, 2021)

Joint power control and user scheduling for backbone-assisted industrial wireless networks with successive interference cancellation. - Ming Lei 003; Bin Yu 008; Xingjun Zhang; Scott Fowler; Bocheng Yu; Peng Wang 063 (Telecommun. Syst., 2022)

Adaptively parallel runtime verification based on distributed network for temporal properties. - Bin Yu 008; Xu Lu 003; Cong Tian; Meng Wang 021; Chu Chen; Ming Lei 003; Zhenhua Duan (Parallel Comput., 2023)