2008 | ||
---|---|---|
3 | EE | Jia Lv, Ying Jing, Minghui Wu, Canghong Jin: Crosscutting invariant and an efficient checking algorithm using program slicing. SIGPLAN Notices 43(2): 12-20 (2008) |
2007 | ||
2 | EE | Jia Lv: Study on Chaos Immune Network Algorithm for Multimodal Function Optimization. FSKD (3) 2007: 684-689 |
1 | EE | Jia Lv: Rough Set Incremental Reduction Algorithm and Its Application in Dynamic Choosing Input Variable of Short Term Load Forecasting Model. FSKD (4) 2007: 72-76 |
1 | Canghong Jin | [3] |
2 | Ying Jing | [3] |
3 | Minghui Wu | [3] |