![]() | ![]() |
| 2012 | ||
|---|---|---|
| 5 | Zhengfeng Yang, Min Wu, Wang Lin: Exact Verification of Hybrid Systems Based on Bilinear SOS Representation CoRR abs/1201.4219: (2012) | |
| 2011 | ||
| 4 | Wang Lin, Min Wu, Zhengfeng Yang, Zhenbing Zeng: Exact Safety Verification of Hybrid Systems Using Sums-Of-Squares Representation CoRR abs/1112.2328: (2011) | |
| 2009 | ||
| 3 | Wang Lin, Yezhi Lin, Longchang Li: Computer Simulation of the Pattern Formation of a Spatial Ecosystem. ICNC (5) 2009: 464-467 | |
| 2008 | ||
| 2 | Wang Lin, Zhongyue Li: Computer Aided Analysis of Bifurcation of a Spatial Dynamical System. ISCSCT (2) 2008: 8-10 | |
| 2004 | ||
| 1 | Wang Lin, Guanzhong Dai: Research on the Connectivity Coefficients of Internet Topology. ICWI 2004: 573-579 | |
| 1 | Guanzhong Dai | [1] |
| 2 | Longchang Li | [3] |
| 3 | Zhongyue Li | [2] |
| 4 | Yezhi Lin | [3] |
| 5 | Min Wu | [4] [5] |
| 6 | Zhengfeng Yang | [4] [5] |
| 7 | Zhenbing Zeng | [4] |
Colors in the list of coauthors
Last update Sun Jun 3 16:06:10 2012 CET by the DBLP Team —
Data released under the ODC-BY 1.0 license — See also our legal information page