Zhaopeng Li
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
5
Venues
3
Active years
2007–2012
Best venue rank
National
Where they publish
Papers
5 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2012 | CIS | TrustVP: Construction and Evolution of Trusted Chain on Virtualization Computing Platform. | Dongliang Xue, Xiaolong Wu, Yunwei Gao, Ying Song, Xinhui Tian, Zhaopeng Li |
| 2011 | TASE | A Method to Generate Verification Condition Generator. | Zhaopeng Li, Yang Zhang, Yiyun Chen |
| 2010 | TASE | A Certifying Compiler for Clike Subset of C Language. | Zhaopeng Li, Zhong Zhuang, Yiyun Chen, Simin Yang, Zhenting Zhang, Dawei Fan |
| 2007 | HPCC | An Adaptive Parallel Hierarchical Clustering Algorithm. | Zhaopeng Li, Kenli Li, Degui Xiao, Lei Yang |
| 2007 | TASE | Design of a Certifying Compiler Supporting Proof of Program Safety. | Yiyun Chen, Lin Ge, Baojian Hua, Zhaopeng Li, Cheng Liu |