| 2025 | ICFEM | Synthesizing Loops from Linear Ranking Functions. | Rui-Juan Jing, Yaru Yuan, Yuxing Cai, Yi Li, Changbo Chen |
| 2024 | CASC | A Dataset for Suggesting Variable Orderings for Cylindrical Algebraic Decompositions. | Changbo Chen, Rui-Juan Jing, Chengrong Qian, Yaru Yuan, Yuegang Zhao |
| 2024 | EuroPar | Accelerating GCN Inference on Small Graphs. | Hanwen Dai, Changbo Chen, Yuxuan Song |
| 2024 | EuroPar | Accelerating Scientific Computing Kernels by Fusing the Polyhedral and Tensor Compilers. | Qingzhi Liu, Changbo Chen, Hanwen Dai |
| 2018 | AISC | Revealing Bistability in Neurological Disorder Models By Solving Parametric Polynomial Systems Geometrically. | Changbo Chen, Wenyuan Wu |
| 2018 | CASC | A Continuation Method for Visualizing Planar Real Algebraic Curves with Singularities. | Changbo Chen, Wenyuan Wu |
| 2017 | CASC | Full Rank Representation of Real Algebraic Sets and Applications. | Changbo Chen, Wenyuan Wu, Yong Feng |
| 2017 | CASC | Penalty Function Based Critical Point Approach to Compute Real Witness Solution Points of Polynomial Systems. | Wenyuan Wu, Changbo Chen, Greg Reid |
| 2016 | CASC | A Numerical Method for Computing Border Curves of Bi-parametric Real Polynomial Systems and Applications. | Changbo Chen, Wenyuan Wu |
| 2016 | SYNASC | Parallel Integer Polynomial Multiplication. | Changbo Chen, Svyatoslav Covanov, Farnam Mansouri, Marc Moreno Maza, Ning Xie, Yuzhen Xie |
| 2016 | SYNASC | A Numerical Method for Analyzing the Stability of Bi-Parametric Biological Systems. | Changbo Chen, Wenyuan Wu |
| 2015 | CASC | Regular Chains under Linear Changes of Coordinates and Applications. | Parisa Alvandi, Changbo Chen, Amir Hashemi, Marc Moreno Maza |
| 2015 | CASC | Simplification of Cylindrical Algebraic Formulas. | Changbo Chen, Marc Moreno Maza |
| 2014 | CASC | Truth Table Invariant Cylindrical Algebraic Decomposition by Regular Chains. | Russell J. Bradford, Changbo Chen, James H. Davenport, Matthew England, Marc Moreno Maza, David J. Wilson |
| 2014 | ISSAC | Quantifier elimination by cylindrical algebraic decomposition based on regular chains. | Changbo Chen, Marc Moreno Maza |
| 2013 | CASC | Computing the Limit Points of the Quasi-component of a Regular Chain in Dimension One. | Parisa Alvandi, Changbo Chen, Marc Moreno Maza |
| 2011 | CASC | Semi-algebraic Description of the Equilibria of Dynamical Systems. | Changbo Chen, Marc Moreno Maza |
| 2011 | ISSAC | Computing with semi-algebraic sets represented by triangular decomposition. | Changbo Chen, James H. Davenport, Marc Moreno Maza, Bican Xia, Rong Xiao |
| 2011 | ISSAC | Algorithms for computing triangular decompositions of polynomial systems. | Changbo Chen, Marc Moreno Maza |
| 2010 | ISSAC | Triangular decomposition of semi-algebraic systems. | Changbo Chen, James H. Davenport, John P. May, Marc Moreno Maza, Bican Xia, Rong Xiao |
| 2009 | ISSAC | Computing cylindrical algebraic decomposition via triangular decomposition. | Changbo Chen, Marc Moreno Maza, Bican Xia, Lu Yang |
| 2008 | ICCSA | The ConstructibleSetTools and ParametricSystemTools Modules of the RegularChains Library in Maple. | Changbo Chen, Franois Lemaire, Liyun Li, Marc Moreno Maza, Wei Pan, Yuzhen Xie |
| 2007 | CASC | Comprehensive Triangular Decomposition. | Changbo Chen, Oleg Golubitsky, Franois Lemaire, Marc Moreno Maza, Wei Pan |
| 2007 | ICCS | Efficient Computations of Irredundant Triangular Decompositions with the RegularChains Library. | Changbo Chen, Franois Lemaire, Marc Moreno Maza, Wei Pan, Yuzhen Xie |