Chunhan Wu
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
3
Venues
2
Active years
2011–2013
Best venue rank
B
Where they publish
Papers
3 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2013 | CPP | A Formal Model and Correctness Proof for an Access Control Policy Framework. | Chunhan Wu, Xingyuan Zhang, Christian Urban |
| 2012 | ITP | Priority Inheritance Protocol Proved Correct. | Xingyuan Zhang, Christian Urban, Chunhan Wu |
| 2011 | ITP | A Formalisation of the Myhill-Nerode Theorem Based on Regular Expressions (Proof Pearl). | Chunhan Wu, Xingyuan Zhang, Christian Urban |