Analysis of LTE traffic offloading based on big data. - Ling Li; Wenjun Hou; Huan Zhang; Saibin Yao; Shangzhou Xia; Xiaolong Ji (ISCIT, 2016)

Evaluating model performance under worst-case subpopulations. - Mike Li; Hongseok Namkoong; Shangzhou Xia (NeurIPS, 2021)

Uniformly Bounded Regret in Dynamic Fair Allocation. - Santiago R. Balseiro; Shangzhou Xia (CoRR, 2022)

Static Entanglement Analysis of Quantum Programs. - Shangzhou Xia; Jianjun Zhao 001 (Q-SE@ICSE, 2023)

QuraTest: Integrating Quantum Specific Features in Quantum Program Testing. - Jiaming Ye; Shangzhou Xia; Fuyuan Zhang; Paolo Arcaini; Lei Ma 003; Jianjun Zhao 001; Fuyuki Ishikawa (ASE, 2023)

Concolic Testing of Quantum Programs. - Shangzhou Xia; Jianjun Zhao 001; Fuyuan Zhang; Xiaoyu Guo 007 (CoRR, 2024)

Quantum Concolic Testing. - Shangzhou Xia; Jianjun Zhao 001; Fuyuan Zhang; Xiaoyu Guo 007 (Proc. ACM Softw. Eng., 2025)