Dependence language model for information retrieval. - Jianfeng Gao 001; Jian-Yun Nie; Guangyuan Wu; Guihong Cao (SIGIR, 2004)

On the performance of cloud storage applications with global measurement. - Guangyuan Wu; Fangming Liu; Haowen Tang; Keke Huang; Qixia Zhang; Zhenhua Li 001; Ben Y. Zhao; Hai Jin 001 (IWQoS, 2016)

An Optimal Online Resource Allocation Algorithm for Energy Harvesting Body Area Networks. - Guangyuan Wu; Zhigang Chen 001; Lin Guo; Jia Wu 002 (Algorithms, 2018)

Resource allocation algorithm with worst case delay guarantees in energy harvesting body area networks. - Guangyuan Wu; Zhigang Chen 001; Deyu Zhang; Jiaqi Liu 001 (Peer-to-Peer Netw. Appl., 2019)

Skeleton-based Human Action Recognition by the Integration of Euclidean distance. - Yi Gao; Zhaokun Liu; Xinmeng Wu; Guangyuan Wu; Jiahui Zhao; Xiaofan Zhao (ICIT, 2021)

Spectral Filter Selection Based on Human Color Vision for Spectral Reflectance Recovery. - Shijun Niu; Guangyuan Wu; Xiaozhou Li (Sensors, 2023)

Optimized Method Based on Subspace Merging for Spectral Reflectance Recovery. - Yifan Xiong; Guangyuan Wu; Xiaozhou Li (Sensors, 2023)

LLM Meets Bounded Model Checking: Neuro-symbolic Loop Invariant Inference. - Guangyuan Wu; Weining Cao; Yuan Yao 001; Hengfeng Wei; Taolue Chen 001; Xiaoxing Ma (ASE, 2024)

Clause2Inv: A Generate-Combine-Check Framework for Loop Invariant Inference. - Weining Cao; Guangyuan Wu; Tangzhi Xu; Yuan Yao 001; Hengfeng Wei; Taolue Chen 001; Xiaoxing Ma (Proc. ACM Softw. Eng., 2025)