| A new sparse SOS decomposition algorithm based on term sparsity J Wang, H Li, B Xia Proceedings of the 2019 on international symposium on symbolic and algebraic …, 2019 | 24 | 2019 |
| Choosing the variable ordering for cylindrical algebraic decomposition via exploiting chordal structure H Li, B Xia, H Zhang, T Zheng Proceedings of the 2021 on International Symposium on Symbolic and Algebraic …, 2021 | 20 | 2021 |
| Enchanting program specification synthesis by large language models using static analysis and program verification C Wen, J Cao, J Su, Z Xu, S Qin, M He, H Li, SC Cheung, C Tian International Conference on Computer Aided Verification, 302-328, 2024 | 17 | 2024 |
| Local search for solving satisfiability of polynomial formulas H Li, B Xia, T Zhao International Conference on Computer Aided Verification, 87-109, 2023 | 9 | 2023 |
| Square-free pure triangular decomposition of zero-dimensional polynomial systems H Li, B Xia, T Zhao Journal of Systems Science and Complexity 36 (6), 2661-2680, 2023 | 7 | 2023 |
| Isolating all the real roots of a mixed trigonometric-polynomial R Chen, H Li, B Xia, T Zhao, T Zheng Journal of Symbolic Computation 121, 102250, 2024 | 6 | 2024 |
| Choosing better variable orderings for cylindrical algebraic decomposition via exploiting chordal structure H Li, B Xia, H Zhang, T Zheng Journal of Symbolic Computation 116, 324-344, 2023 | 6 | 2023 |
| Monitoring CTMCs by multi-clock timed automata Y Feng, JP Katoen, H Li, B Xia, N Zhan International Conference on Computer Aided Verification, 507-526, 2018 | 5 | 2018 |
| Solving satisfiability of polynomial formulas by sample-cell projection H Li, B Xia arXiv preprint arXiv:2003.00409, 2020 | 3 | 2020 |
| Isolating Bounded and Unbounded Real Roots of a Mixed Trigonometric-Polynomial R Chen, H Li, B Xia, T Zhao, T Zheng arXiv preprint arXiv:2301.05847, 2023 | 1 | 2023 |
| Exploiting sparsity in SOS programming and sparse polynomial optimization JIE WANG, H LI, B XIA arXiv preprint arXiv:1809.10848, 2018 | 1 | 2018 |
| Square-free Strong Triangular Decomposition of Zero-dimensional Polynomial Systems H Li, B Xia, T Zhao arXiv preprint arXiv:2202.06044, 2022 | | 2022 |
| Block SOS decomposition L Haokun, X Bican SCIENTIA SINICA Mathematica 51 (1), 167, 2020 | | 2020 |
| Block SOS Decomposition H Li, B Xia arXiv preprint arXiv:1801.07954, 2018 | | 2018 |
| Proving Nonnegativity of Polynomial with Computer H Li, B Xia, L Yang | | |
