| Publication | Date of Publication | Type |
|---|
| Choosing the variable ordering for cylindrical algebraic decomposition via exploiting chordal structure | 2025-01-20 | Paper |
Square-free pure triangular decomposition of zero-dimensional polynomial systems
Journal of Systems Science and Complexity | 2024-08-29 | Paper |
| Compositional verification of interacting systems using event monads | 2024-07-15 | Paper |
Switching controller synthesis for delay hybrid systems under perturbations
Proceedings of the 24th International Conference on Hybrid Systems: Computation and Control | 2024-02-21 | Paper |
| Local search for solving satisfiability of polynomial formulas | 2024-01-12 | Paper |
Deciding first-order formulas involving univariate mixed trigonometric-polynomials
Proceedings of the 2023 International Symposium on Symbolic and Algebraic Computation | 2023-11-03 | Paper |
Isolating all the real roots of a mixed trigonometric-polynomial
Journal of Symbolic Computation | 2023-09-19 | Paper |
Early Ending in Homotopy Path-Tracking for Real Roots
Artificial Intelligence and Symbolic Computation | 2023-06-30 | Paper |
Monitoring CTMCs by multi-clock timed automata
Computer Aided Verification | 2023-05-26 | Paper |
Choosing better variable orderings for cylindrical algebraic decomposition via exploiting chordal structure
Journal of Symbolic Computation | 2022-11-21 | Paper |
Finding polynomial loop invariants for probabilistic programs
Automated Technology for Verification and Analysis | 2022-08-12 | Paper |
Block SOS decomposition
SCIENTIA SINICA Mathematica | 2022-03-21 | Paper |
Nonlinear Craig interpolant generation
(available as arXiv preprint) | 2021-02-04 | Paper |
A new sparse SOS decomposition algorithm based on term sparsity
Proceedings of the 2019 on International Symposium on Symbolic and Algebraic Computation | 2020-09-10 | Paper |
An Effective Framework for Constructing Exponent Lattice Basis of Nonzero Algebraic Numbers
Proceedings of the 2019 on International Symposium on Symbolic and Algebraic Computation | 2020-09-10 | Paper |
Logcf: an efficient tool for real root isolation
Journal of Systems Science and Complexity | 2020-01-20 | Paper |
Generic regular decompositions for generic zero-dimensional systems
Science China Information Sciences | 2019-11-18 | Paper |
Generic regular decompositions for generic zero-dimensional systems
Science China Information Sciences | 2019-11-18 | Paper |
A hybrid procedure for finding real points on a real algebraic set
Journal of Systems Science and Complexity | 2019-03-06 | Paper |
Open weak CAD and its applications
Journal of Symbolic Computation | 2019-01-21 | Paper |
Reachability Analysis for Solvable Dynamical Systems
IEEE Transactions on Automatic Control | 2018-09-18 | Paper |
A special homotopy continuation method for a class of polynomial systems
(available as arXiv preprint) | 2018-02-23 | Paper |
Generating semi-algebraic invariants for non-autonomous polynomial hybrid systems
Journal of Systems Science and Complexity | 2017-09-06 | Paper |
Barrier certificates revisited
Journal of Symbolic Computation | 2017-02-06 | Paper |
Interpolant synthesis for quadratic polynomial inequalities and combination with EUF
Automated Reasoning | 2016-09-05 | Paper |
| Automated inequality proving and discovering | 2016-07-12 | Paper |
Real Root Isolation of Polynomial Equations Based on Hybrid Computation
Computer Mathematics | 2016-04-12 | Paper |
Generic regular decompositions for parametric polynomial systems
Journal of Systems Science and Complexity | 2016-01-14 | Paper |
Decidability of the reachability for a family of linear vector fields
Automated Technology for Verification and Analysis | 2016-01-08 | Paper |
Constructing fewer open cells by GCD computation in CAD projection
Proceedings of the 39th International Symposium on Symbolic and Algebraic Computation | 2015-11-11 | Paper |
Smaller SDP for SOS decomposition
Journal of Global Optimization | 2015-10-20 | Paper |
Triangular decomposition of semi-algebraic systems
Proceedings of the 2010 International Symposium on Symbolic and Algebraic Computation | 2015-09-17 | Paper |
Proving inequalities and solving global optimization problems via simplified CAD projection
Journal of Symbolic Computation | 2015-08-19 | Paper |
Stability analysis of biological systems with real solution classification
Proceedings of the 2005 international symposium on Symbolic and algebraic computation | 2015-07-16 | Paper |
Computing with semi-algebraic sets represented by triangular decomposition
Proceedings of the 36th international symposium on Symbolic and algebraic computation | 2015-06-09 | Paper |
Special algorithm for stability analysis of multistable biological regulatory systems
Journal of Symbolic Computation | 2015-05-04 | Paper |
Computing the real solutions of polynomial systems with the RegularChains library in Maple
ACM Communications in Computer Algebra | 2015-02-20 | Paper |
Hierarchical Comprehensive Triangular Decomposition
Mathematical Software – ICMS 2014 | 2014-09-08 | Paper |
Discovering polynomial Lyapunov functions for continuous dynamical systems
Journal of Symbolic Computation | 2014-03-03 | Paper |
Generating non-linear interpolants by semidefinite programming
Computer Aided Verification | 2013-11-26 | Paper |
Recent advances in program verification through computer algebra
Frontiers of Computer Science in China | 2013-07-04 | Paper |
On solving parametric polynomial systems
Mathematics in Computer Science | 2013-04-25 | Paper |
Computing with semi-algebraic sets: relaxation techniques and effective boundaries
Journal of Symbolic Computation | 2013-03-11 | Paper |
Triangular decomposition of semi-algebraic systems
Journal of Symbolic Computation | 2013-01-10 | Paper |
Non-termination Sets of Simple Linear Loops
Theoretical Aspects of Computing – ICTAC 2012 | 2012-09-21 | Paper |
Computing cylindrical algebraic decomposition via triangular decomposition
Proceedings of the 2009 international symposium on Symbolic and algebraic computation | 2012-05-13 | Paper |
Zero decomposition with multiplicity for zero-dimensional polynomial systems
(available as arXiv preprint) | 2012-01-27 | Paper |
| Stability of Triangular Decomposition and Comprehensive Triangular Decomposition | 2011-10-28 | Paper |
Real solution isolation with multiplicity of zero-dimensional triangular systems
Science China Information Sciences | 2011-06-17 | Paper |
Symbolic decision procedure for termination of linear programs
Formal Aspects of Computing | 2011-05-27 | Paper |
Condition number based complexity estimate for solving polynomial systems
Journal of Computational and Applied Mathematics | 2011-03-09 | Paper |
Termination of linear programs with nonlinear constraints
Journal of Symbolic Computation | 2010-11-10 | Paper |
A semi-algebraic approach for asymptotic stability analysis
Nonlinear Analysis. Hybrid Systems | 2009-11-13 | Paper |
Quantifier Elimination for Quartics
Artificial Intelligence and Symbolic Computation | 2009-01-15 | Paper |
Generating Polynomial Invariants with DISCOVERER and QEPCAD
Formal Methods and Hybrid Real-Time Systems | 2008-09-25 | Paper |
Discovering Non-linear Ranking Functions by Solving Semi-algebraic Systems
Theoretical Aspects of Computing – ICTAC 2007 | 2008-09-17 | Paper |
On a cubic system with eight limit cycles
Bulletin of the Belgian Mathematical Society - Simon Stevin | 2008-02-04 | Paper |
Solution to the generalized champagne problem on simultaneous stabilization of linear systems
Science in China. Series F | 2007-12-06 | Paper |
A complete algorithm for automated discovering of a class of inequality-type theorems
Science in China. Series F | 2007-02-20 | Paper |
| scientific article; zbMATH DE number 2247478 (Why is no real title available?) | 2006-01-16 | Paper |
A new result on the \(p\)-irreducibility of binding polynomials
Computers & Mathematics with Applications | 2005-04-07 | Paper |
| scientific article; zbMATH DE number 2091944 (Why is no real title available?) | 2004-08-16 | Paper |
A complete algorithm for counting real solutions of polynomial systems of equations and inequalities.
Computers & Mathematics with Applications | 2003-12-14 | Paper |
| scientific article; zbMATH DE number 1795756 (Why is no real title available?) | 2003-04-27 | Paper |
An algorithm for isolating the real solutions of semi-algebraic systems
Journal of Symbolic Computation | 2003-03-23 | Paper |
| scientific article; zbMATH DE number 1860713 (Why is no real title available?) | 2003-01-28 | Paper |
| scientific article; zbMATH DE number 1421053 (Why is no real title available?) | 2000-03-22 | Paper |
| scientific article; zbMATH DE number 1293322 (Why is no real title available?) | 1999-06-20 | Paper |
| scientific article; zbMATH DE number 1215217 (Why is no real title available?) | 1999-01-06 | Paper |
