![]() | ![]() |
2007 | ||
---|---|---|
3 | 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 |
2 | 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 |
1 | EE | Wanbin Ren, Yinghua Chen, Guofu Zhai: Modeling and Simulation of Hermetically Sealed Electromagnetic Relay under Mechanical Environment. IEICE Transactions 90-C(7): 1448-1454 (2007) |
1 | Wanbin Ren | [1] |
2 | Bican Xia | [2] [3] |
3 | Lu Yang | [2] [3] |
4 | Guofu Zhai | [1] |
5 | Naijun Zhan | [2] [3] |
6 | Chaochen Zhou (Zhou Chaochen) | [2] |