| 2009 |
|---|
| 12 | EE | Changbo Chen,
Marc Moreno Maza,
Bican Xia,
Lu Yang:
Computing Cylindrical Algebraic Decomposition via Triangular Decomposition
CoRR abs/0903.5221: (2009) |
| 11 | EE | Bican Xia,
Zhihai Zhang:
Termination of Linear Programs with Nonlinear Constraints
CoRR abs/0904.3588: (2009) |
| 2008 |
|---|
| 10 | EE | Bican Xia,
Lu Yang,
Naijun Zhan:
Program Verification by Reduction to Semi-algebraic Systems Solving.
ISoLA 2008: 277-291 |
| 2007 |
|---|
| 9 | EE | Yinghua Chen,
Bican Xia,
Lu Yang,
Naijun Zhan:
Generating Polynomial Invariants with DISCOVERER and QEPCAD.
Formal Methods and Hybrid Real-Time Systems 2007: 67-82 |
| 8 | EE | Yinghua Chen,
Bican Xia,
Lu Yang,
Naijun Zhan,
Chaochen Zhou:
Discovering Non-linear Ranking Functions by Solving Semi-algebraic Systems.
ICTAC 2007: 34-49 |
| 7 | EE | Ting Zhang,
Bican Xia:
A New Method for Real Root Isolation of Univariate Polynomials.
Mathematics in Computer Science 1(2): 305-320 (2007) |
| 6 | EE | Qiang Guan,
Long Wang,
Bican Xia,
Lu Yang,
Wensheng Yu,
Zhenbing Zeng:
Solution to the Generalized Champagne Problem on simultaneous stabilization of linear systems.
Science in China Series F: Information Sciences 50(5): 719-731 (2007) |
| 2006 |
|---|
| 5 | EE | Lu Yang,
Bican Xia:
Quantifier Elimination for Quartics.
AISC 2006: 131-145 |
| 2005 |
|---|
| 4 | EE | Dongming Wang,
Bican Xia:
Stability analysis of biological systems with real solution classification.
ISSAC 2005: 354-361 |
| 3 | EE | Lu Yang,
Naijun Zhan,
Bican Xia,
Chaochen Zhou:
Program Verification by Using DISCOVERER.
VSTTE 2005: 528-538 |
| 2002 |
|---|
| 2 | EE | Bican Xia,
Lu Yang:
An Algorithm for Isolating the Real Solutions of Semi-algebraic Systems.
J. Symb. Comput. 34(5): 461-477 (2002) |
| 1998 |
|---|
| 1 | EE | Lu Yang,
Xiaorong Hou,
Bican Xia:
Automated Discovering and Proving for Geometric Inequalities.
Automated Deduction in Geometry 1998: 30-46 |
