The flexible integration of inference algorithm based on users' preference. - Ying Wang; Hao Bu; Yimin Qiu (EMEIT, 2011)

Sorting realization of well-ordered sets based on π-calculus. - Hao Bu; Rong Zhu; Shihong Chen; Xiaoqiong Tan (J. Intell. Fuzzy Syst., 2017)

Research on concurrency comparison modeling based on $$ uppi $$ π calculus in future computer technology. - Hao Bu; Rong Zhu; Shihong Chen; Xiaoqiong Tan (Clust. Comput., 2019)

Towards Modeling and Verification of the CKB Block Synchronization Protocol in Coq. - Hao Bu; Meng Sun 002 (ICFEM, 2020)

Guiding the Comparison of Neural Network Local Robustness: An Empirical Study. - Hao Bu; Meng Sun 002 (ICANN (5), 2023)

Certifying Semantic Robustness of Deep Neural Networks. - Hao Bu; Meng Sun 002 (ICECCS, 2023)

DeepPatch: A Patching-Based Method for Repairing Deep Neural Networks. - Hao Bu; Meng Sun 002 (DeepTest, 2023)

Measuring Robustness of Deep Neural Networks from the Lens of Statistical Model Checking. - Hao Bu; Meng Sun 002 (IJCNN, 2023)

Clopper-Pearson Algorithms for Efficient Statistical Model Checking Estimation. - Hao Bu; Meng Sun 002 (IEEE Trans. Software Eng., 2024)