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) |