代表作
1. L. Yang, X. Hou and B. Xia, 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.
2. B. Xia and L. Yang, An algorithm for isolating the real solutions of semi-algebraic systems, J. of Symbolic Computation, Vol. 34, No.5, pp.461--477, 2002.
3. 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).
4. 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.
5. B. Xia and L. Yang: Automated Inequality Proving and Discovering. World Scientific, 344 pages, Aug. 2016.
科研项目
1.面向程序验证的自动定理证明理论、方法与工具研究（项目批准号 61732001），国家自然科学基金重点项目
2.大规模概率并发实时系统模型检验（项目批准号 61532019），国家自然科学基金重点项目
3.复杂曲面流线场的保向共轭理论与线性化方法 (项目批准号 11290141), 国家自然科学基金重大项目 "基于流线场共轭映射的复杂曲面高精度数控加工新方法"
4.半代数系统的高效求解算法及其在不等式机器证明中的应用，国家自然科学基金面上项目
5.混成系统设计与验证中的符号计算方法和工具，中科院软件所开放课题
6.代数系统的准确可信计算，国家自然科学基金 国际合作与交流项目
7.基于计算机代数的我国高速列车运行控制系统规范CTCS-3/4的分析与验证, 国家自然科学基金重大研究计划“可信软件基础研究”培育项目
8.基于计算机代数的嵌入式软件分析与验证方法及工具（重点项目），国家自然科学基金 重大研究计划
9.新世纪优秀人才支持计划 （NCET），教育部
10.Chinese-SALSA，法国INRIA研究所国际合作项目
11.实代数符号计算在形式化方法中的应用，国家自然科学基金面上项目
12.海量信息系统协同性随机模型与可生存性复杂性分析，国家973项目：海量信息的协同性和可生存性的理论与实践研究
13.实几何与实代数的高效能算法，国家973项目：数学机械化方法及其在信息领域中的应用
14.自动推理平台，国家973项目：数学机械化与自动推理平台
