 | 2012 |
|---|
| 8 |       | Jianqi Shi,
Xin Ye,
Liangyu Chen,
Pei Zhang,
Ningkang Jiang:
ESF - An Extensive Service Foundation from Internet of Things Perspective.
ISORC Workshops 2012: 59-64 |
| 2010 |
|---|
| 7 | | Ming Xu,
Liangyu Chen,
Zhenbing Zeng,
Zhi-bin Li:
Real Root Isolation of Multi-Exponential Polynomials with Application.
WALCOM 2010: 263-268 |
| 6 | | Ming Xu,
Liangyu Chen,
Zhenbing Zeng,
Zhi-bin Li:
Termination Analysis of Linear Loops.
Int. J. Found. Comput. Sci. 21(6): 1005-1019 (2010) |
| 5 | | Ming Xu,
Liangyu Chen,
Zhenbing Zeng,
Zhi-bin Li:
Reachability analysis of rational eigenvalue linear systems.
Int. J. Systems Science 41(12): 1411-1419 (2010) |
| 2009 |
|---|
| 4 | | Ming Xu,
Liangyu Chen,
Zhi-bin Li:
Symbolic Reachability Computation of a Class of Nonlinear Systems.
ACIS-ICIS 2009: 706-710 |
| 3 | | Zhenbing Zeng,
Liangyu Chen:
On the Best Bezier Approximation of Ellipses.
CSO (2) 2009: 1021-1026 |
| 2008 |
|---|
| 2 | | Zhenbing Zeng,
Liangyu Chen:
On the Heilbronn Optimal Configuration of Seven Points in the Square.
Automated Deduction in Geometry 2008: 196-224 |
| 2007 |
|---|
| 1 | | Liangyu Chen,
Zhenbing Zeng:
Which Symmetric Homogeneous Polynomials Can Be Proved Positive Semi-definite by Difference Substitution Method?.
ASCM 2007: 57-71 |
Data released under the ODC-BY 1.0 license — See also our legal information page