| 2026 | AAAI | Efficient Verification and Falsification of ReLU Neural Barrier Certificates. | Dejin Ren, Yiling Xue, Taoran Wu, Bai Xue |
| 2026 | HCI | User Experience of Virtual Product Demonstrations for Consumer Goods on UE Platforms: A Design Case Study Using In-Ear Headphones as an Example. | Bai Xue, Bo Li, Ruiqi Wu |
| 2026 | HCI | The Application of AI Technology in the Protecting of Chinese Intangible Cultural Heritage: A Dual-Perspective Analysis. | Bai Xue, Yiqing Zhao |
| 2025 | IJCNN | UR4NNV: Neural Network Verification, Under-approximation Reachability Works! | Zhen Liang, Taoran Wu, Ran Zhao, Bai Xue, Ji Wang, Wenjing Yang, Shaojun Deng, Wanwei Liu |
| 2025 | SiggraphA | Spectral Reconstruction with Uncertainty Quantification via Differentiable Rendering and Null-Space Sampling. | Mengqi Xia, Bai Xue, Rachel Liang, Holly E. Rushmeier |
| 2024 | CAV | Inner-Approximate Reachability Computation via Zonotopic Boundary Analysis. | Dejin Ren, Zhen Liang, Chenyu Wu, Jianqiang Ding, Taoran Wu, Bai Xue |
| 2024 | FM | PyBDR: Set-Boundary Based Reachability Analysis Toolkit in Python. | Jianqiang Ding, Taoran Wu, Zhen Liang, Bai Xue |
| 2024 | NAACL | MiLe Loss: a New Loss for Mitigating the Bias of Learning Difficulties in Generative Language Models. | Zhenpeng Su, Zijia Lin, Bai Xue, Hui Chen, Guiguang Ding, Wei Zhou, Songlin Hu |
| 2023 | ATVA | Scenario Approach for Parametric Markov Models. | Ying Liu, Andrea Turrini, Ernst Moritz Hahn, Bai Xue, Lijun Zhang |
| 2023 | IJCAI | Model Predictive Control with Reach-avoid Analysis. | Dejin Ren, Wanli Lu, Jidong Lv, Lijun Zhang, Bai Xue |
| 2023 | TASE | Safety Verification for Neural Networks Based on Set-Boundary Analysis. | Zhen Liang, Dejin Ren, Wanwei Liu, Ji Wang, Wenjing Yang, Bai Xue |
| 2022 | ICSE | Towards Practical Robustness Analysis for DNNs based on PAC-Model Learning. | Renjue Li, Pengfei Yang, Cheng-Chao Huang, Youcheng Sun, Bai Xue, Lijun Zhang |
| 2021 | CAV | Synthesizing Invariant Barrier Certificates via Difference-of-Convex Programming. | Qiuye Wang, Mingshuai Chen, Bai Xue, Naijun Zhan, Joost-Pieter Katoen |
| 2021 | RTAS | Brief Industry Paper: Modeling and Verification of Descent Guidance Control of Mars Lander. | Bohua Zhan, Bin Gu, Xiong Xu, Xiangyu Jin, Shuling Wang, Bai Xue, Xiaofeng Li, Yao Chen, Mengfei Yang, Naijun Zhan |
| 2021 | TACAS | Improving Neural Network Verification through Spurious Region Guided Refinement. | Pengfei Yang, Renjue Li, Jianlin Li, Cheng-Chao Huang, Jingyi Wang, Jun Sun, Bai Xue, Lijun Zhang |
| 2020 | CAV | Unbounded-Time Safety Verification of Stochastic Differential Dynamics. | Shenghua Feng, Mingshuai Chen, Bai Xue, Sriram Sankaranarayanan, Naijun Zhan |
| 2020 | CAV | Nonlinear Craig Interpolant Generation. | Ting Gan, Bican Xia, Bai Xue, Naijun Zhan, Liyun Dai |
| 2020 | ICFEM | PAC Learning of Deterministic One-Clock Timed Automata. | Wei Shen, Jie An, Bohua Zhan, Miaomiao Zhang, Bai Xue, Naijun Zhan |
| 2020 | SETTA | Probably Approximately Correct Interpolants Generation. | Bai Xue, Naijun Zhan |
| 2019 | CAV | Taming Delays in Dynamical Systems - Unbounded Verification of Delay Differential Equations. | Shenghua Feng, Mingshuai Chen, Naijun Zhan, Martin Frnzle, Bai Xue |
| 2019 | ICECCS | Safe Inputs Approximation for Black-Box Systems. | Bai Xue, Yang Liu, Lei Ma, Xiyue Zhang, Meng Sun, Xiaofei Xie |
| 2019 | ICFEM | Probably Approximate Safety Verification of Hybrid Dynamical Systems. | Bai Xue, Martin Frnzle, Hengjun Zhao, Naijun Zhan, Arvind Easwaran |
| 2019 | IGARSS | Urban Area Impervious Surface Estimation by Subpixel Unmixing. | Bai Xue, Shuhan Chen, Chia-Chen Liang, Shengwei Zhong, Peter Fu-Ming Hu, Chein-I Chang |
| 2018 | SETTA | Robust Non-termination Analysis of Numerical Software. | Bai Xue, Naijun Zhan, Yangjia Li, Qiuye Wang |
| 2017 | IGARSS | Iterative anomaly detection. | Yulei Wang, Bai Xue, Lin Wang, Hsiao-Chi Li, Li-Chien Lee, Chunyan Yu, Meiping Song, Sen Li, Chein-I Chang |
| 2017 | IGARSS | Kernel automatic target generation process. | Bai Xue, Shih-Yu Chen, Chunyuan Yu, Yulei Wang, Lin Wang, Meiping Song, Sen Li, Chein-I Chang |
| 2017 | IGARSS | Multi-class constrained background suppression approach to hyperspectral image classification. | Chunyan Yu, Bai Xue, Yulei Wang, Meiping Song, Lin Wang, Sen Li, Shih-Yu Chen, Chein-I Chang |
| 2016 | CAV | Under-Approximating Backward Reachable Sets by Polytopes. | Bai Xue, Zhikun She, Arvind Easwaran |
| 2016 | ICTAC | Temporal Logic Verification for Delay Differential Equations. | Peter Nazier Mosaad, Martin Frnzle, Bai Xue |
| 2014 | TrustCom | A Study on Recursive Neural Network Based Sentiment Classification of Sina Weibo. | Chen Fu, Bai Xue, Zhan Shaobin |
| 2011 | CASC | Computing a Basin of Attraction to a Target Region by Solving Bilinear Semi-Definite Problems. | Zhikun She, Bai Xue |
| 2011 | ISSAC | Algebraic analysis on asymptotic stability of continuous dynamical systems. | Zhikun She, Bai Xue, Zhiming Zheng |