| |
| 2008 | ||
|---|---|---|
| 3 | EE | Yuchang Mo, Xinmin Yang: A New Approach to Verify Statechart Specifications for Reactive Systems. International Journal of Software Engineering and Knowledge Engineering 18(6): 785-802 (2008) |
| 2007 | ||
| 2 | EE | Xinmin Yang, Xiaoqi Yang, Kok Lay Teo: Erratum to "Huard type second-order converse duality for nonlinear programming" [Appl. Math. Lett. 18 (2005) 205-208] Appl. Math. Lett. 20(2): 241 (2007) |
| 2005 | ||
| 1 | EE | Xinmin Yang, Xiaoqi Yang, Kok Lay Teo: Huard type second-order converse duality for nonlinear programming. Appl. Math. Lett. 18(2): 205-208 (2005) |
| 1 | Yuchang Mo | [3] |
| 2 | Kok Lay Teo | [1] [2] |
| 3 | Xiaoqi Yang | [1] [2] |