- CSB - MetaPress - Google - Bing - Yahoo
 | 2008 | |
|---|---|---|
| 4 |      | Zhengqin Luo: Computationally Sound Symbolic Analysis of Probabilistic Protocols with Ideal Setups. ProvSec 2008: 185-199 |
| 3 | | Jun Pang, Zhengqin Luo, Yuxin Deng: On Automatic Verification of Self-Stabilizing Population Protocols. TASE 2008: 185-192 |
| 2 | | Jun Pang, Zhengqin Luo, Yuxin Deng: On automatic verification of self-stabilizing population protocols. Frontiers of Computer Science in China 2(4): 357-367 (2008) |
| 2007 | ||
| 1 | | Zhengqin Luo, Xiaojuan Cai, Jun Pang, Yuxin Deng: Analyzing an Electronic Cash Protocol Using Applied Pi Calculus. ACNS 2007: 87-103 |
| 1 | Xiaojuan Cai | [1] |
| 2 | Yuxin Deng | [1] [2] [3] |
| 3 | Jun Pang | [1] [2] [3] |