| 2009 | ||
|---|---|---|
| 2 | Ming Xu, Liangyu Chen, Zhi-bin Li: Symbolic Reachability Computation of a Class of Nonlinear Systems. ACIS-ICIS 2009: 706-710 | |
| 2007 | ||
| 1 | Liangyu Chen, Zhenbing Zeng: Which Symmetric Homogeneous Polynomials Can Be Proved Positive Semi-definite by Difference Substitution Method?. ASCM 2007: 57-71 | |
| 1 | Zhi-bin Li | [2] |
| 2 | Ming Xu | [2] |
| 3 | Zhenbing Zeng | [1] |