Energy Harvesting Time Coefficient Analyze for Cognitive Radio Sensor Network Using Game Theory. - Mengyu Zhao; Yifei Wei; Qiao Li; Mei Song; Ningning Liu (HCC, 2017)

NuQClq: An Effective Local Search Algorithm for Maximum Quasi-Clique Problem. - Jiejiang Chen; Shaowei Cai 001; Shiwei Pan; Yiyuan Wang 002; Qingwei Lin; Mengyu Zhao; Minghao Yin (AAAI, 2021)

An efficient local search for large-scale set-union knapsack problem. - Yupeng Zhou; Mengyu Zhao; Mingjie Fan; Yiyuan Wang 002; Jianan Wang (Data Technol. Appl., 2021)

Theoretical Analysis of Binary Masks in Snapshot Compressive Imaging Systems. - Mengyu Zhao; Shirin Jalali (Allerton, 2023)

Teaching Chinese Pattern Extraction and Its Knowledge Base Construction for Specific Domain Texts. - Zuntian Wei; Weiming Peng; Jihua Song; Shaodong Wang; Mengyu Zhao (CLSW (2), 2023)

Incremental Satisfiability Modulo Theory for Verification of Deep Neural Networks. - Pengfei Yang 002; Zhiming Chi; Zongxin Liu 001; Mengyu Zhao; Cheng-Chao Huang; Shaowei Cai 001; Lijun Zhang 001 (CoRR, 2023)

Virtual Reality Visual Perceptual Plastic Training Promotes Retinal Structure and Macular Function Recovery in Glaucoma Patients. - Mengyu Zhao; Yan Lu; Mark D. Wiederhold; Brenda K. Wiederhold; Hang Chu; Li Yan (Cyberpsychology Behav. Soc. Netw., 2023)

Distributed SMT Solving Based on Dynamic Variable-Level Partitioning. - Mengyu Zhao; Shaowei Cai 001; Yuhang Qian (CAV (1), 2024)

A Local Search Algorithm for MaxSMT(LIA). - Xiang He 005; Bohan Li 002; Mengyu Zhao; Shaowei Cai 001 (FM (1), 2024)

An Efficient Local Search Algorithm for Large GD Advertising Inventory Allocation with Multilinear Constraints. - Xiang He 005; Wuyang Mao; Zhenghang Xu; Yuanzhe Gu; Yundu Huang; Zhonglin Zu; Liang Wang; Mengyu Zhao; Mengchuan Zou (KDD, 2024)

Untrained Neural Nets for Snapshot Compressive Imaging: Theory and Algorithms. - Mengyu Zhao; Xi Chen; Xin Yuan; Shirin Jalali (NeurIPS, 2024)

A fast local search algorithm for minimum sum coloring problem on massive graphs. - Yan Li; Mengyu Zhao; Xindi Zhang; Yiyuan Wang 002 (Comput. Oper. Res., 2024)

Untrained Neural Nets for Snapshot Compressive Imaging: Theory and Algorithms. - Mengyu Zhao; Xi Chen; Xin Yuan 002; Shirin Jalali (CoRR, 2024)

A Fast Optimal Coordination Method for Multiagent in Complex Environment. - Suyu Wang; Quan Yue; Mengyu Zhao; Huazhi Zhang; Yan Li (Int. J. Intell. Syst., 2024)

Efficient Formal Verification of Quantum Error Correcting Programs. - Qifan Huang; Li Zhou 013; Wang Fang 001; Mengyu Zhao; Mingsheng Ying (Proc. ACM Program. Lang., 2025)

Theoretical Characterization of Effect of Masks in Snapshot Compressive Imaging. - Mengyu Zhao; Shirin Jalali (SIAM J. Imaging Sci., 2025)

Saturation in Snapshot Compressive Imaging. - Mengyu Zhao; Shirin Jalali (CoRR, 2025)