论著 | 下载链接 |
---|---|
88. X. Ni, Y. Wu, B. Xia: Solving SMT over non-linear real arithmetic via numerical sampling and symbolic verification. SETTA 2023, pp.171--188. |
|
87. 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 | |
86. 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. |
|
85. H. Li, B. Xia, T. Zhao: Local Search for Solving Satisfiability of Polynomial Formulas. In Computer Aided Verification (CAV 2023), pp. 87–109. | |
84. R. Chen, B. Xia: Deciding First-order Formulas involving Univariate Mixed Trigonometric-polynomials. ISSAC 2023, pp.145--154. | |
83. 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. | |
82. 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. | |
81. 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. | |
80. 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 | |
79. 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. |
|
78. 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. |
|
77. 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. |
|
76. Gan, T., Xia, B., Xue, B., Zhan, N., Dai, L.: Nonlinear Craig Interpolant Generation. Computer Aided Verification 2020, LNCS 12224, pp.415--438. | |
75. Zheng T., Xia B.: An Effective Framework for Constructing Exponent Lattice Basis of Nonzero Algebraic Numbers. Proc. ISSAC 2019, pp.371--378. |
|
74. Wang J., Li H., Xia B.: A New Sparse SOS Decomposition Algorithm Based on Term Sparsity. Proc. ISSAC 2019, pp.347--354. |
|
73. 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. |
|
72. 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. |
|
71. 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. |
|
70. H. Li and B. Xia: Block SOS Decomposition. https://arxiv.org/abs/1801.07954. 李昊坤,夏壁灿. 分块平方和分解. 中国科学:数学,2021,51:167–178 |
|
69. 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. |
|
68. 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. |
|
67. 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. | |
66. 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. |
|
65. 甘庭,夏壁灿: 运用栅栏函数验证连续系统的有界时间安全性. 软件学报, 27(3): 645--654, 2016. |
|
64. B. Xia and L. Yang: Automated Inequality Proving and Discovering. World Scientific, 344 pages, Aug. 2016. | |
63. 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 |
|
62. 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. |
|
61. 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. |
|
60. 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. |
|
59. L. Dai and B. Xia: Smaller SDP for SOS Decomposition. arXiv:1407.2679v2 [math.OC]. Journal of Global Optimization, vol. 63: 343--361, 2015. |
|
58. 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] |
|
57. 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. |
|
56. 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. |
|
55. L. Dai, T. Gan, B. Xia and N. Zhan: Barrier Certificates Revisited. arXiv:1310.6481. Journal of Symbolic Computation, vol. 80: 62--86, 2017. |
|
54.
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. |
|
53. 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. |
|
52. 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). |
|
51. 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. |
|
50. 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. |
|
49. 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. |
|
48. X. Tang, Z. Chen, B. 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. |
|
47. J. Han, Z. Jin and B. 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. |
|
46. F. Shen, W. Wu and B. 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. |
|
45. L. Dai and B. Xia: Non-termination Sets of Simple Linear Loops. In: A. Roychoudhury and M. D'Souza (Eds.): ICTAC 2012, LNCS 7521, pp 61-73, 2012. |
|
44. 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. |
|
43. 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. |
|
42. Y. Li, B. Xia, Z. Zhang: 零维系统保持重数的零点分解. 系统科学与数学,2010, 30(11):1491--1500 . 英文版:arXiv:1011.1634v1 [cs.SC], Nov. 7, 2010. |
|
41. 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. |
|
40. B. Xia, Z. Zhang: Termination of Linear Programs with Nonlinear Constraints, Journal of Symbolic Computation , 45(2010): 1234--1249. |
|
39. 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. |
|
38. 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 . |
|
37. 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. 中文版:中国科学 信息科学 2010, 40(9) 1176-1186. |
|
36. C. Chen, M. Moreno Maza, B. Xia, L. Yang: Computing Cylindrical Algebraic Decomposition via Triangular Decomposition. ISSAC'09, ACM Press, 95--102. |
|
35. Z. She, B. Xia, R. Xiao, Z. Zheng: A Semi-algebraic Approach for asymptotic stability analysis. Nonlinear Analysis: Hybrid Systems, 3(2009) , 588--596. |
|
34. B. Xia, L. Yang, N. 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. |
第一页 |
33. 杨路,夏壁灿:《不等式机器证明与自动发现》,科学出版社,2008年1月。 |
|
32. T. Zhang and B. Xia: A New Method for Real Root Isolation of Univariate Polynomials. Mathematics in Computer Science, Vol. 1, 305—320, 2007. |
|
31. 王东明,夏壁灿,李子明:《计算机代数》(第二版),清华大学出版社,2007年10月。 |
封面 |
30. He, GN, Wang, L, Xia, BC and Yu WS: Stabilization of the Belgian chocolate system via low-order controllers, PROCEEDINGS OF THE 26TH CHINESE CONTROL CONFERENCE, VOL 3, p.88--p.92, 2007. |
|
29. Xia Bican: 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. |
|
28. 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. |
|
27. Y. Chen, B. Xia, L. Yang, N. Zhan: Generating polynomial invariants with DISCOVERER and QEPCAD, LNCS 4700, p.67--p.82, 2007. |
|
26. 线性系统同时镇定中广义香槟问题的解,中国科学 E辑,第37卷 第6期:770-780, 2007. |
|
25. 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. |
|
24. Z. She, B. Xia and R. Xiao, 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. |
|
23. L. Yang and B. Xia, Quantifier Elimination for Quartics. In: Lecture Notes in Artificial Intelligence 4120 (T. Ida, J. Calmet and D. Wang eds.), pp. 131—145, Sept. 2006. |
|
22. B. Xia and T. Zhang, Real Solution Isolation Using Interval Arithmetic, Computers and Mathematics with Applications, Vol. 52, pp.853—860, 2006. |
|
21. T. Zhang and B. Xia: 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. |
|
20. L. Yang, N. Zhan, B. Xia and C. Zhou: 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. |
|
19. T. Zhang, R. Xiao and B. Xia: 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. |
|
18. B. Xia, R. Xiao and L. Yang: 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. |
|
17. D. Wang and B. Xia: 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. |
|
16. D. Wang and B. Xia: 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). |
|
15. L. Yang and B. Xia: 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). |
|
14. B. Xia and L. Yang: A New Result on the p-Irreducibility of Binding Polynomials, Computers and Mathematics with Applications, Vol. 48, 1811—1817, 2004. |
|
13. L. Yang and B. Xia: Automated Deduction in Geometry, in Geometric Computation, World Scientific, pp.248--298, 2004. |
|
12. 王东明,夏壁灿 编,《计算机代数》,清华大学出版社,2004年7月。 |
|
11. 夏壁灿,杨路:多项式判别矩阵的若干性质及应用,《应用数学学报》,2003年10月,第26卷,第4期,652-663页. |
|
10. 编写了《符号计算选讲》(王东明 主编,共6章)中的两章,清华大学出版社,2003年。 |
|
9. 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. |
|
8. 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. |
|
7. 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. |
|
6. 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. |
|
5. 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. |
|
4. 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. |
|
3. 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. |
|
2. 夏壁灿, 侯晓荣, 常系数三角系统实解个数的自动判定及其应用, in: Proceedings of the Fourth Asian Technology Conference in Mathematics (Chinese Volume), pp. 6-13, 1999. |
|
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. |