| |
| 2007 | ||
|---|---|---|
| 4 | EE | Lifu Wang, Partha Dasgupta: Kernel and Application Integrity Assurance: Ensuring Freedom from Rootkits and Malware in a Computer System. AINA Workshops (1) 2007: 583-589 |
| 3 | EE | Zhenyu Chen, Zhihong Tao, Baowen Xu, Lifu Wang: Implication-Based Approximating Bounded Model Checking. FSEN 2007: 350-363 |
| 2 | EE | Tao Jia, Wen Zhao, Lifu Wang: PrSH: A Belief Description Logic. KES-AMSTA 2007: 31-41 |
| 2004 | ||
| 1 | Lifu Wang, Kyung Dong Ryu: Feasibility of Exploiting Virtual Machines for Grid Computing. PDPTA 2004: 763-768 | |
| 1 | Zhenyu Chen | [3] |
| 2 | Partha Dasgupta | [4] |
| 3 | Tao Jia | [2] |
| 4 | Kyung Dong Ryu | [1] |
| 5 | Zhihong Tao | [3] |
| 6 | Baowen Xu | [3] |
| 7 | Wen Zhao | [2] |