| 2025 | MICCAI | Multitask Deep Learning Model for Liver Segmentation and Lesion Classification from Multisequence MRI. | Dongdong Gu, Yuzhong Chen, Xuejian Li, Xi Ouyang, Zhong Xue, Dinggang Shen |
| 2025 | SMC | Data Consistency Verification and Detection Based on Formal Methods in Distributed Environment. | Xuejian Li, Kai Lin, Changyu Wang, Hantao Xia |
| 2025 | SMC | A Protocol for Secure Data Search in Cloud-Edge-End Collaboration with Formal Verification. | Xuejian Li, Hong Lv, Mingguang Wang, Hantao Xia |
| 2025 | SMC | Automatic Determination Method for Suspected Software Defects Based on Static Analysis. | Xuejian Li, Chunyang Sun, Zhenguang Zhu, Zihan Li |
| 2024 | MICCAI | Prompt-Based Segmentation Model of Anatomical Structures and Lesions in CT Images. | Xi Ouyang, Dongdong Gu, Xuejian Li, Wenqi Zhou, Qianqian Chen, Yiqiang Zhan, Xiang Sean Zhou, Feng Shi, Zhong Xue, Dinggang Shen |
| 2024 | SMC | Optimization of Neural Network Models Based on Symbol Interval Propagation. | Xuejian Li, Zihan Li |
| 2024 | SMC | Verifying Robustness of Neural Networks with Abstract Features. | Xuejian Li, Hantao Xia |
| 2024 | SIGIR | Deep Automated Mechanism Design for Integrating Ad Auction and Allocation in Feed. | Xuejian Li, Ze Wang, Bingqi Zhu, Fei He, Yongkang Wang, Xingxing Wang |
| 2023 | LCN | Trusted Sharing of Data Under Cloud-Edge-End Collaboration and Its Formal Verification. | Xuejian Li, Mingguang Wang |
| 2023 | SMC | Automaton-Based Data Consistency Detection. | Xuejian Li, Changyu Wang |