| Publication | Download |
|---|---|
| 88. X. Ni, B. Xia, T. Zhao: Local Search for Checking Satisfiability of Formulas with Trigonometric Functions. ATVA 2024, LNCS 15055, pp. 256--274, 2025. | |
| 87. H. Wu, S. Feng, G. Ting, J. Wang, B. Xia, N. Zhan: On Completeness of SDP-Based Barrier Certificate Synthesis over Unbounded Domains. In: A. Platzer et al. (Eds.): FM 2024, LNCS 14934, pp. 248–266, 2025. | |
| 86. H. Wu, J. Wang, B. Xia, X. Li, N. Zhan, T. Gan: Nonlinear Craig Interpolant Generation over Unbounded Domains by Separating Semialgebraic Sets. In: A. Platzer et al. (Eds.): FM 2024, LNCS 14933, pp. 92–110, 2025. | |
| 85. R. Chen, B. Xia: Reduction of Transcendental Decision Problems over the Reals. ISSAC 2024, pp. 56--64. | |
| 84. X. Ni, Y. Wu, B. Xia: Solving SMT over non-linear real arithmetic via numerical sampling and symbolic verification. SETTA 2023, pp 171--188. | |
| 83. H. Wu, Y-F. Chen, Z. Wu, B. Xia, N. Zhan: A decision procedure for string constraints with string/integer conversion and flat regular constraints. Acta Informatica (2023). https://doi.org/10.1007/s00236-023-00446-4 | |
| 82. Y. Yu, T. Wu, B. Xia, J. Wang, B. Xue: Safe Probabilistic Invariance Verification for Stochastic Discrete-time Dynamical Systems. IEEE Conference on Decision and Control (CDC 2023), 5804--5811. | |
| 81. H. Li, B. Xia, T. Zhao: Local Search for Solving Satisfiability of Polynomial Formulas. In Computer Aided Verification (CAV 2023), pp. 87–109. | |
| 80. R. Chen, B. Xia: Deciding First-order Formulas involving Univariate Mixed Trigonometric-polynomials. ISSAC 2023, pp.145--154. | |
| 79. R. Chen, H. Li, B. Xia, T. Zhao, T. Zheng: Isolating all the real roots of a mixed trigonometric-polynomial. Journal of Symbolic Computation, Volume 121, March–April 2024, 102250. | |
| 78. H. Li, B. Xia, H. Zhang, T. Zheng: Choosing better variable orderings for cylindrical algebraic decomposition via exploiting chordal structure. Journal of Symbolic Computation, Vol. 116, Pages 324-344, 2023. | |
| 77. B. Zhan, Y. Lv, S. Wang, G. Zhao, J. Hao, H. Ye, B. Xia: Compositional Verification of Interacting Systems Using Event Monads. 13th International Conference on Interactive Theorem Proving (ITP 2022), 33:1--33:21, 2022. | |
| 76. H. Li, B. Xia, T. Zhao: Square-free Pure Triangular Decomposition of Zero-dimensional Polynomial Systems. J Syst Sci Complex, 36, pp 2661–2680 (2023). https://doi.org/10.1007/s11424-023-2260-3 | |
75. Y. Bai, T. Gan, L. Jiao, B. Xia, B. Xue, N. Zhan: Switching Controller Synthesis for Delay Hybrid Systems under Perturbations. HSCC '21 Article No.: 3, Pages 1–11. |
|
74. H. Li, B. Xia, H. Zhang, T. Zheng: Choosing the Variable Ordering for Cylindrical Algebraic Decomposition via Exploiting Chordal Structure. ISSAC'2021, pp. 281--288. |
|
| 73. Xue, B., Franzle, M., Zhan, N., Bogomolov, S., Xia, B.: Safety verification for random ordinary differential equations. IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, EMSOFT 2020, Sept.20-25. | |
| 72. Gan, T., Xia, B., Xue, B., Zhan, N., Dai, L.: Nonlinear Craig Interpolant Generation. Computer Aided Verification 2020, LNCS 12224, pp.415--438. | |
71. Zheng T., Xia B.: An Effective Framework for Constructing Exponent Lattice Basis of Nonzero Algebraic Numbers. Proc. ISSAC 2019. |
|
70. Wang J., Li H., Xia B.: A New Sparse SOS Decomposition Algorithm Based on Term Sparsity. Proc. ISSAC 2019. |
|
69. Wang Y., Xia B.: A Hybrid Procedure for Finding Real Points on a Real Algebraic Set. Journal of Systems Science and Complexity, 2019, 32(1):185-204. |
|
68. Wang Y., Wu W., Xia B.: Early Ending in Homotopy Path-Tracking for Real Roots. In: Fleuriot J., Wang D., Calmet J. (eds) Artificial Intelligence and Symbolic Computation. AISC 2018. Lecture Notes in Computer Science, vol 11110. pp 181-194. Springer, Cham. |
|
67. Y. Feng, J.-P. Katoen, H. Li, B. Xia and N. Zhan: Monitoring CTMCs by Multi-clock Timed Automata. In: Chockler H., Weissenbacher G. (eds) Computer Aided Verification. CAV 2018. Lecture Notes in Computer Science, vol 10981. pp 507-526. Springer, Cham. |
|
| 66. H. Li and B. Xia: Block SOS Decomposition. https://arxiv.org/abs/1801.07954. | |
65. T. Gan, M. Chen, Y. Li, B. Xia and N. Zhan: Reachability Analysis for Solvable Dynamical Systems.IEEE Transactions on Automatic Control, Vol 63 (7): 2003--2018, 2018. |
|
64. Y. Feng, L. Zhang, D. N. Jansen, N. Zhan and B. Xia: Finding Polynomial Loop Invariants for Probabilistic Programs. In: D. D'SouzaK and K. Narayan Kumar (Eds.): ATVA 2017, LNCS 10482, pp.400--416, 2017. |
|
| 63. Y. Wang, W. Wu and B. Xia: A Special Homotopy Continuation Method For A Class of Polynomial Systems. In: V.P. Gerdt et al. (Eds.): CASC 2017, LNCS 10490, pp. 362--376, 2017. | |
62. Q. Wang, Y. Li, B. Xia and N. Zhan: Generating Semi-Algebraic Invariants for Non-Autonomous Polynomial Hybrid Systems. J. Syst. Sci. Complex, 30: 234--252, 2017. |
|
| 61. Bican Xia and Lu Yang: Automated Inequality Proving and Discovering. World Scientific, 344 pages, Aug. 2016. | |
60. T. Gan, L. Dai, B. Xia, N. Zhan, D. Kapur and M. Chen: Interpolation synthesis for quadratic polynomial inequalities and combination with EUF. N. Olivetti and A. Tiwari (Eds.): IJCAR 2016, LNAI 9706, pp. 195–212, 2016. arXiv:1601.04802v2 |
|
59. T. Gan, M. Chen, Y. Li, B. Xia and N. Zhan: Computing Reachable Sets of Linear Vector Fields Revisited. Proc. European Control Conference (ECC'2016), pp. 419--426. June 29 - July 1, 2016. Aalborg, Denmark. |
|
58. T. Gan, M. Chen, L. Dai, B. Xia and N. Zhan: Decidability of the Reachability for a Family of Linear Vector Fields. Proc. of ATVA'2015, LNCS 9364, 482--499, 2015. |
|
57. J. Han, L. Dai, H. Hong and B. Xia: Open weak cad and its applications. arXiv:1507.03834. Journal of Symbolic Computation, vol. 80: 785–816, 2017. |
|
56. L. Dai and B. Xia: Smaller SDP for SOS Decomposition. arXiv:1407.2679v2 [math.OC]. Journal of Global Optimization, vol. 63: 343--361, 2015. |
|
55. Z. Chen, X. Tang and B. Xia: Hierarchical Comprehensive Triangular Decomposition. In: Mathematical Software – ICMS 2014, LNCS 8592, 2014, pp 434-441. arXiv:1406.0599v1 [cs.SC] |
|
54. J. Han, L. Dai and B. Xia: Constructing Fewer Open Cells by GCD Computation in CAD Projection. In: Proc. ISSAC 2014, 240--247, ACM Press, 2014. arXiv:1401.4953v1. |
|
53. H. Hong, X. Tang and B. Xia: Special Algorithm for Stability Analysis of Multistable Biological Regulatory Systems. Journal of Symbolic Computation, Vol. 70: 112–135, 2015. |
|
52. L. Dai, T. Gan, B. Xia and N. Zhan: Barrier Certificates Revisited. arXiv:1310.6481. Journal of Symbolic Computation, vol. 80: 62--86, 2017. |
|
51. Z. She, H. Li, B. Xue, Z. Zheng and B. Xia: Discovering polynomial Lyapunov functions for continuous dynamical systems. Journal of Symbolic Computation, Vol.58: 41--63, 2013. |
|
50. Z. Chen, X. Tang and B. Xia: Generic regular decompositions for parametric polynomial systems. arXiv:1301.3991v1. Journal of Systems Science and Complexity, 28(5): 1194--1211, 2015. |
|
49. L. Dai, B. Xia and N. Zhan: Generating non-linear interpolants by semi-definite programming. In: N. Sharygina and H. Veith (Eds.): CAV 2013, LNCS 8044, pp. 364--380, Springer, Heidelberg (2013). |
|
48. C. Chen, J. Davenport, M. Moreno Maza, B. Xia and R. Xiao: Computing with semi-algebraic sets: Relaxation techniques and effective boundaries. Journal of Symbolic Computation, Vol. 52: 72--96, 2013. |
|
47. C. Chen, J. Davenport, J. P. May, M. Moreno Maza, B. Xia and R. Xiao: Triangular decomposition of semi-algebraic systems. Journal of Symbolic Computation, vol. 49: 3--26, 2013. |
|
46. Liyun Dai and Bican Xia: logcf: An Efficient Tool for Real Root Isolation. arXiv:1209.3555 [cs.SC] L. Dai, Z. Fan, B. Xia, and H. Zhang: Logcf: An Efficient Tool for Real Root Isolation. J Syst Sci Complex, 2019, 32:1767--1782. |
|
45. Xiaoxian Tang, Zhenghong Chen, Bican Xia: Generic Regular Decompositions for Generic Zero-Dimensional Systems. arXiv:1208.6112v3 [cs.SC]. Science China: Information Sciences, vol. 57, No. 9, 1--14, 2014. |
|
44. Jingjun Han, Zhi Jin and Bican Xia: Proving Inequalities and Solving Global Optimization Problems via Simplified CAD Projection. arXiv:1205.1223v4 [cs.SC]. Journal of Symbolic Computation, vol. 72, pp. 206--230, 2016. |
|
43.Fei Shen, Wenyuan Wu and Bican Xia: Real Root Isolation of Polynomial Equations Based on Hybrid Computation. arXiv:1207.3019v1 [cs.SC]. In: Computer Mathematics - Proc. ASCM2012, pp. 375--396, Springer, 2014. |
|
42. Liyun Dai and Bican Xia: Non-termination Sets of Simple Linear Loops. In: A. Roychoudhury and M. D'Souza (Eds.): ICTAC 2012, LNCS 7521, pp 61-73, 2012. |
|
41. C. Chen, J. H. Davenport, F. Lemaire, M. Moreno Maza, B. Xia, R. Xiao, Y. Xie: Computing the real solutions of polynomial systems with the RegularChains library in Maple. Software Demo at ISSAC 2011, Communications in Computer Algebra , Volume 45 Issue 3/4, 2012. |
|
40. C. Chen, J. Davenport, M. Moreno Maza, B. Xia and R. Xiao: Computing with Semi-Algebraic Sets Represented by Triangular Decomposition, Proc. ISSAC 2011, 75--82, ACM Press, 2011. |
|
39. Y. Li, B. Xia, Z. Zhang: Zero decomposition with multiplicity of zero-dimensional polynomial systems. arXiv:1011.1634 [cs.SC], Nov. 7, 2010. |
|
38. C. Chen, J. Davenport, J. P. May, M. Moreno Maza, B. Xia and R. Xiao: Triangular decomposition of semi-algebraic systems, Proc. ISSAC 2010, ACM Press, 187--194. |
|
37. B. Xia, Z. Zhang: Termination of Linear Programs with Nonlinear Constraints, Journal of Symbolic Computation , 45(2010): 1234--1249. |
|
36. L. Yang, C. Zhou, N. Zhan, B. Xia: Recent advances in program verification through computer algebra, Frontiers of Computer Science in China, 2010, 4(1): 1--16. |
|
35. B. Xia, L. Yang, N. Zhan, Z. Zhang: Symbolic decision procedure for termination of linear programs. (DOI: 10.1007/s00165-009-0144-5), Formal Aspects of Computing, 23(2): 171--190, 2011. |
|
34. Z. Zhang, T. Fang, B. Xia: Real Solution Isolation with Multiplicity of Zero-Dimensional Systems. Science China Information Sciences, 2011, Vol. 54(1):60--69. |
|
33. C. Chen, M. Moreno Maza, B. Xia, L. Yang: Computing Cylindrical Algebraic Decomposition via Triangular Decomposition. ISSAC'09, ACM Press, 95--102. |
|
32. Z. She, B. Xia, R. Xiao, Z. Zheng: A Semi-algebraic Approach for asymptotic stability analysis. Nonlinear Analysis: Hybrid Systems, 3(2009) , 588--596. |
|
31. Bican Xia, Lu Yang, Naijun Zhan: Program Verification by Reduction to Semi-Algebraic Systems Solving. Proceedings of ISoLA 2008, CCIS 17 (T. Margaria and B. Ste en Eds.), Springer-Verlag, pp277-291, 2008. |
first page |
30. 《Automated Proving and Discovering on Inequalities》(in Chinese), Science Press, Beijing, January, 2008. |
|
29. Ting Zhang and Bican Xia: A New Method for Real Root Isolation of Univariate Polynomials. Mathematics in Computer Science, Vol. 1, 305—320, 2007. |
|
28. D. Wang, B. Xia and Z. Li, 《Computer Algebra》(in Chinese), Second Edition, Tsinghua University Press, Oct., 2007. |
Front cover |
27. Q. Guan, L. Wang, B. Xia, L. Yang, W. Yu and Z. Zeng, Solution to the Generalized Champagne Problem on simultaneous stabilization of linear systems, Science in China Ser. F, Vol. 50, no. 5, 719--731. |
|
26. B. Xia: DISCOVERER: A tool for solving semi-algebraic systems, Software Demo at ISSAC 2007, Waterloo, July 30, 2007. Also: ACM SIGSAM Bulletin, Vol. 41, No. 3, pp.102--103, Sept., 2007. |
|
25. Y. Chen, B. Xia, L. Yang, N. Zhan, C. Zhou, Discovering Non-linear Ranking Functions by Solving Semi-algebraic Systems, LNCS 4711, p.34--p.49, 2007. |
|
24. Y. Chen, B. Xia, L. Yang, N. Zhan, Generating polynomial invariants with DISCOVERER and QEPCAD, LNCS 4700, p.67--p.82, 2007. |
|
23. S. Ning, B. Xia, Z. Zheng, On a cubic system with eight limit cycles, Bulletin of the Belgian Mathematical Society Simon Stevin, Vol. 14, 595--605, 2007. |
|
22. She Zhikun, Xia Bican and Xiao Rong, A Semi-algebraic Approach for the Computation of Lyapunov Functions, in: Proc. The Second IASTED International Conference on Computational Intelligence (CI 2006) (B. Kovalerchuk ed.), pp.7—12, ACTA Press Anaheim, USA, 2006. |
|
21. Yang Lu and Xia Bican, Quantifier Elimination for Quartics. In: Lecture Notes in Artificial Intelligence 4120 (T. Ida, J. Calmet and D. Wang eds.), pp. 131—145, Sept. 2006. |
|
20. Xia Bican and Zhang Ting, Real Solution Isolation Using Interval Arithmetic, Computers and Mathematics with Applications, Vol. 52, pp.853—860, 2006. |
|
19. Zhang Ting and Xia Bican: A new method for real root isolation of univariate polynomials, Proc. the First International Conference on Mathematical Aspects of Computer and Information Sciences (MACIS05), pp.85—91, Beijing, July 24-26, 2006. |
|
18. Yang Lu, Zhan Naijun, Xia Bican and Zhou Chaochen: Program Verification by Using DISCOVERER. Position paper in Verified Software: Theories, Tools, Experiments (VSTTE 2005), ETH Zürich, Oct. 10-13, 2005. In LNCS 4171, pp.528--538, 2008. |
|
17. Zhang Ting, Xiao Rong and Xia Bican: Real Solution Isolation Based on Interval Krawczyk Operator. Proc. the 7th Asian Symposium on Computer Mathematics (ASCM 2005), (Sung-il Pae, H. Park, eds.), pp.235—237. Seoul, Dec.8-10, 2005. |
|
16. Xia Bican, Xiao Rong and Yang Lu: Solving parametric semi-algebraic systems. Proc. the 7th Asian Symposium on Computer Mathematics (ASCM 2005), (Sung-il Pae, H. Park, eds.), pp.153—156. Seoul, Dec.8-10, 2005. |
|
15. Wang Dongming and Xia Bican: Algebraic Analysis of Stability for Some Biological Systems. In: Algebraic Biology 2005 - Computer Algebra in Biology (Proceedings of the First International Conference, Tokyo, Japan, November 28-30, 2005) (H. Anai and K. Horimoto, eds.), Universal Academy Press, Inc., Tokyo, 2005, pp. 75—83. |
|
14. Wang Dongming, Xia Bican: Stability analysis of biological systems with real solution classification. In: Proceedings of the 2005 International Symposium on Symbolic and Algebraic Computation (ISSAC 2005) (M. Kauers, ed.), pp. 354—361. ACM Press, New York (2005). |
|
13. Yang Lu, Xia Bican: Real solution classifications of a class of parametric semi-algebraic systems. In: Algorithmic Algebra and Logic --- Proceedings of the A3L 2005 (A. Dolzmann, A. Seidl, and T. Sturm, eds.), pp. 281—289. Herstellung und Verlag, Norderstedt (2005). |
|
12. Bican Xia and Lu Yang: A New Result on the p-Irreducibility of Binding Polynomials, Computers and Mathematics with Applications, Vol. 48, 1811—1817, 2004. |
|
11. Yang Lu, Xia Bican, Automated Deduction in Geometry, in Geometric Computation, World Scientific, pp.248--298, 2004. |
|
10. D. Wang and B. Xia, 《Computer Algebra》(in Chinese), Tsinghua University Press, July 2004. |
|
9. Two chapters in 《Selected lectures in Symbolic Computation》(in Chinese) (D. Wang ed.), Tsinghua University Press, 2003. |
|
8. Xia Bican and Yang Lu, An algorithm for isolating the real solutions of semi-algebraic systems, J. of Symbolic Computation, Vol. 34, No.5, pp.461-477, 2002. |
|
7. Xia Bican and Hou Xiaorong, A Complete Algorithm for Counting Real Solutions of Polynomial Systems of Equations and Inequalities, Computers & Mathematics with Applications, Vol. 44, pp.633-642, 2002. |
|
6. She Zhikun, Xia Bican, Zheng Zhiming, Pseudo-Division Machine (I): A Model of Symbolic Computation, in Proceedings of the First International Congress of Mathematical Software, pp.115-125, World Scientific, 2002. |
|
5. Xia Bican and Yang Lu, An effective algorithm for isolating the real solutions of semi-algebraic systems and its applications, in Computer Mathematics-- Proceedings of the ASCM’2001 (K. Shirayanagi and K. Yokoyama eds.), pp.211-220, World Scientific, Singapore, September, 2001. |
|
4. Yang Lu, Hou Xiaorong and Xia Bican, A complete algorithm for automated discovering of a class of inequality-type theorems, Science in China, Series F, Vol. 44, No. 1, pp.33-49, 2001. |
|
3. Xia Bican, DISCOVERER: A tool for solving problems involving polynomial inequalities, in Proceedings of the ATCM’2000 (Wei-Chi Yang, et al. eds.), pp.472-481, ATCM Inc., Blacksburg, USA, Dec, 2000. |
|
2. Yang Lu and Xia Bican, An Explicit Criterion to Determine the Number of Roots in an Interval of a Polynomial, Progress in Natural Science, Vol.10, No. 12, pp897-910, 2000. |
|
1. Lu Yang, Xiaorong Hou & Bican Xia, Automated Discovering and Proving for Geometric Inequalities, in Lecture Notes in Artificial Intelligence 1669, Springer-Verlag, pp.30-46, 1999. |
Homepage / Publications /
