Using SMT Engine to Generate Symbolic Automata. - Eric Madelaine; Xudong Qin; Min Zhang 002; Simon Bliudze (Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2018)

Cost analysis of nondeterministic probabilistic programs. - Peixin Wang; Hongfei Fu 001; Amir Kafshdar Goharshady; Krishnendu Chatterjee; Xudong Qin; Wenjun Shi (PLDI, 2019)

Optimal Joint Offloading and Wireless Scheduling for Parallel Computing with Deadlines. - Xudong Qin; Weijian Xu; Bin Li 014 (WiOpt, 2019)

Verifying Quantum Communication Protocols with Ground Bisimulation. - Xudong Qin; Yuxin Deng; Wenjie Du 001 (TACAS (2), 2020)

SMT-based generation of symbolic automata. - Xudong Qin; Simon Bliudze; Eric Madelaine; Zechen Hou; Yuxin Deng; Min Zhang 002 (Acta Informatica, 2020)

Motion-Prediction-based Wireless Scheduling for Multi-User Panoramic Video Streaming. - Jiangong Chen; Xudong Qin; Guangyu Zhu 008; Bo Ji 001; Bin Li 014 (INFOCOM, 2021)

Distributed Threshold-based Offloading for Large-Scale Mobile Cloud Computing. - Xudong Qin; Bin Li 014; Lei Ying 001 (INFOCOM, 2021)

Index-aware reinforcement learning for adaptive video streaming at the wireless edge. - Guojun Xiong; Xudong Qin; Bin Li 014; Rahul Singh 001; Jian Li 008 (MobiHoc, 2022)

Distributed Threshold-Based Offloading for Heterogeneous Mobile Edge Computing. - Xudong Qin; Qiaomin Xie; Bin Li 014 (ICDCS, 2023)

Efficient Distributed Threshold-Based Offloading for Large-Scale Mobile Cloud Computing. - Xudong Qin; Bin Li 014; Lei Ying 001 (IEEE/ACM Trans. Netw., 2023)

Motion-Prediction-Based Wireless Scheduling for Interactive Panoramic Scene Delivery. - Jiangong Chen; Xudong Qin; Guangyu Zhu 008; Bo Ji 001; Bin Li 014 (IEEE Trans. Netw. Sci. Eng., 2024)