Zhengqin Luo
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
3
Venues
3
Active years
2007–2008
Best venue rank
C
Where they publish
Papers
3 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2008 | ProvSec | Computationally Sound Symbolic Analysis of Probabilistic Protocols with Ideal Setups. | Zhengqin Luo |
| 2008 | TASE | On Automatic Verification of Self-Stabilizing Population Protocols. | Jun Pang, Zhengqin Luo, Yuxin Deng |
| 2007 | ACNS | Analyzing an Electronic Cash Protocol Using Applied Pi Calculus. | Zhengqin Luo, Xiaojuan Cai, Jun Pang, Yuxin Deng |