Comprehensive Triangular Decomposition. - Changbo Chen; Oleg Golubitsky; François Lemaire; Marc Moreno Maza; Wei Pan 001 (CASC, 2007)

Efficient Computations of Irredundant Triangular Decompositions with the RegularChains Library. - Changbo Chen; François Lemaire; Marc Moreno Maza; Wei Pan 001; Yuzhen Xie (International Conference on Computational Science (2), 2007)

On the representation of constructible sets. - Changbo Chen; Liyun Li; Marc Moreno Maza; Wei Pan 001; Yuzhen Xie (ACM Commun. Comput. Algebra, 2008)

The ConstructibleSetTools and ParametricSystemTools modules of the RegularChains library in Maple. - Changbo Chen; Marc Moreno Maza; François Lemaire; Wei Pan 001; Liyun Li; Yuzhen Xie (ACM Commun. Comput. Algebra, 2008)

On the verification of polynomial system solvers. - Changbo Chen; Marc Moreno Maza; Wei Pan 001; Yuzhen Xie (Frontiers Comput. Sci. China, 2008)

Real Root Isolation of Regular Chains. - François Boulier; Changbo Chen; François Lemaire; Marc Moreno Maza (ASCM, 2009)

Computing cylindrical algebraic decomposition via triangular decomposition. - Changbo Chen; Marc Moreno Maza; Bican Xia; Lu Yang (ISSAC, 2009)

Cache complexity and multicore implementation for univariate real root isolation. - Changbo Chen; Marc Moreno Maza; Yuzhen Xie (ACM Commun. Comput. Algebra, 2010)

Semi-algebraic Description of the Equilibria of Dynamical Systems. - Changbo Chen; Marc Moreno Maza (CASC, 2011)

Computing with semi-algebraic sets represented by triangular decomposition. - Changbo Chen; James H. Davenport; Marc Moreno Maza; Bican Xia; Rong Xiao 004 (ISSAC, 2011)

Algorithms for computing triangular decompositions of polynomial systems. - Changbo Chen; Marc Moreno Maza (ISSAC, 2011)

Computing the real solutions of polynomial systems with the RegularChains library in Maple. - Changbo Chen; James H. Davenport; François Lemaire; Marc Moreno Maza; Bican Xia; Rong Xiao 004; Yuzhen Xie (ACM Commun. Comput. Algebra, 2011)

An Incremental Algorithm for Computing Cylindrical Algebraic Decompositions. - Changbo Chen; Marc Moreno Maza (ASCM, 2012)

Algorithms for computing triangular decomposition of polynomial systems. - Changbo Chen; Marc Moreno Maza (J. Symb. Comput., 2012)

Computing the Limit Points of the Quasi-component of a Regular Chain in Dimension One. - Parisa Alvandi; Changbo Chen; Marc Moreno Maza (CASC, 2013)

An Algorithm for Computing the Limit Points of the Quasi-component of a Regular Chain - Parisa Alvandi; Changbo Chen; Marc Moreno Maza (CoRR, 2013)

An Application of Regular Chain Theory to the Study of Limit cycles. - Changbo Chen; Robert M. Corless; Marc Moreno Maza; Pei Yu; Yiming Zhang 016 (Int. J. Bifurc. Chaos, 2013)

Triangular decomposition of semi-algebraic systems. - Changbo Chen; James H. Davenport; John P. May; Marc Moreno Maza; Bican Xia; Rong Xiao 004 (J. Symb. Comput., 2013)

Computing with semi-algebraic sets: Relaxation techniques and effective boundaries. - Changbo Chen; James H. Davenport; Marc Moreno Maza; Bican Xia; Rong Xiao 004 (J. Symb. Comput., 2013)

Truth Table Invariant Cylindrical Algebraic Decomposition by Regular Chains. - Russell J. Bradford; Changbo Chen; James H. Davenport; Matthew England 001; Marc Moreno Maza; David J. Wilson (CASC, 2014)

Doing Algebraic Geometry with the RegularChains Library. - Parisa Alvandi; Changbo Chen; Steffen Marcus; Marc Moreno Maza; Éric Schost; Paul Vrbik (ICMS, 2014)

Real Quantifier Elimination in the RegularChains Library. - Changbo Chen; Marc Moreno Maza (ICMS, 2014)

Cylindrical Algebraic Decomposition in the RegularChains Library. - Changbo Chen; Marc Moreno Maza (ICMS, 2014)

Solving Parametric Polynomial Systems by RealComprehensiveTriangularize. - Changbo Chen; Marc Moreno Maza (ICMS, 2014)

Problem Formulation for Truth-Table Invariant Cylindrical Algebraic Decomposition by Incremental Triangular Decomposition. - Matthew England 001; Russell J. Bradford; Changbo Chen; James H. Davenport; Marc Moreno Maza; David J. Wilson (CICM, 2014)

Basic Polynomial Algebra Subprograms. - Changbo Chen; Svyatoslav Covanov; Farnam Mansouri; Marc Moreno Maza; Ning Xie 001; Yuzhen Xie (ACM Commun. Comput. Algebra, 2014)

Regular Chains under Linear Changes of Coordinates and Applications. - Parisa Alvandi; Changbo Chen; Amir Hashemi; Marc Moreno Maza (CASC, 2015)

Simplification of Cylindrical Algebraic Formulas. - Changbo Chen; Marc Moreno Maza (CASC, 2015)

MetaFork: a compilation framework for concurrency models targeting hardware accelerators and its application to the generation of parametric CUDA kernels. - Changbo Chen; Xiaohui Chen; Abdoul-Kader Keita; Marc Moreno Maza; Ning Xie 001 (CASCON, 2015)

A Numerical Method for Computing Border Curves of Bi-parametric Real Polynomial Systems and Applications. - Changbo Chen; Wenyuan Wu (CASC, 2016)

Parallel Integer Polynomial Multiplication. - Changbo Chen; Svyatoslav Covanov; Farnam Mansouri; Marc Moreno Maza; Ning Xie 001; Yuzhen Xie (SYNASC, 2016)

A Numerical Method for Analyzing the Stability of Bi-Parametric Biological Systems. - Changbo Chen; Wenyuan Wu (SYNASC, 2016)

The basic polynomial algebra subprograms. - Changbo Chen; Svyatoslav Covanov; Farnam Mansouri; Robert H. C. Moir; Marc Moreno Maza; Ning Xie 001; Yuzhen Xie (ACM Commun. Comput. Algebra, 2016)

Quantifier elimination by cylindrical algebraic decomposition based on regular chains. - Changbo Chen; Marc Moreno Maza (J. Symb. Comput., 2016)

Full Rank Representation of Real Algebraic Sets and Applications. - Changbo Chen; Wenyuan Wu; Yong Feng (CASC, 2017)

Penalty Function Based Critical Point Approach to Compute Real Witness Solution Points of Polynomial Systems. - Wenyuan Wu; Changbo Chen; Greg Reid (CASC, 2017)

Revealing Bistability in Neurological Disorder Models By Solving Parametric Polynomial Systems Geometrically. - Changbo Chen; Wenyuan Wu (AISC, 2018)

A Continuation Method for Visualizing Planar Real Algebraic Curves with Singularities. - Changbo Chen; Wenyuan Wu (CASC, 2018)

Chordality Preserving Incremental Triangular Decomposition and Its Implementation. - Changbo Chen (ICMS, 2020)

Variable Ordering Selection for Cylindrical Algebraic Decomposition with Artificial Neural Networks. - Changbo Chen; Zhangpeng Zhu; Haoyu Chi (ICMS, 2020)

Numerical roadmap of smooth bounded real algebraic surface. - Changbo Chen; Wenyuan Wu; Yong Feng (Comput. Aided Geom. Des., 2020)

Visualizing Planar and Space Implicit Real Algebraic Curves with Singularities. - Changbo Chen; Wenyuan Wu; Yong Feng (J. Syst. Sci. Complex., 2020)

A Companion Curve Tracing Method for Rank-deficient Polynomial Systems. - Wenyuan Wu; Changbo Chen (CoRR, 2021)

A Geometric Approach for Analyzing Parametric Biological Systems by Exploiting Block Triangular Structure. - Changbo Chen; Wenyuan Wu (SIAM J. Appl. Dyn. Syst., 2022)

A Dataset for Suggesting Variable Orderings for Cylindrical Algebraic Decompositions. - Changbo Chen; Rui-Juan Jing; Chengrong Qian; Yaru Yuan; Yuegang Zhao (CASC, 2024)

Accelerating GCN Inference on Small Graphs. - Hanwen Dai; Changbo Chen; Yuxuan Song (Euro-Par Workshops (2), 2024)

Accelerating Scientific Computing Kernels by Fusing the Polyhedral and Tensor Compilers. - Qingzhi Liu; Changbo Chen; Hanwen Dai (Euro-Par Workshops (1), 2024)

Performance Models for Sequence Alignment Algorithms Based on Burrows-Wheeler Transform. - Shuang Hu; Changbo Chen (ICBBT, 2024)

A semi-algebraic model for automatic loop parallelization. - Changbo Chen (CoRR, 2024)

Fusing the Polyhedral and Tensor Compilers to Accelerate Scientific Computing Kernels. - Qingzhi Liu; Changbo Chen; Hanwen Dai (Concurr. Comput. Pract. Exp., 2025)