| |
| 2007 | ||
|---|---|---|
| 2 | EE | Jia Tao, Zhao Wen, Wang Hanpin, Wang Lifu: PrDLs: A New Kind of Probabilistic Description Logics About Belief. IEA/AIE 2007: 644-654 |
| 2005 | ||
| 1 | EE | Cai Jian, Zhao Wen, Zhang Shikun, Wang Lifu: Correctness Verification of synchronization based workflow model. ICEBE 2005: 527-530 |
| 1 | Wang Hanpin | [2] |
| 2 | Cai Jian | [1] |
| 3 | Zhang Shikun | [1] |
| 4 | Jia Tao | [2] |
| 5 | Zhao Wen | [1] [2] |