Haiyan Zhu
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
3
Venues
2
Active years
2007–2013
Best venue rank
National
Where they publish
Papers
3 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2013 | APLAS | Automated Inference of Library Specifications for Source-Sink Property Verification. | Haiyan Zhu, Thomas Dillig, Isil Dillig |
| 2007 | ICNC | A Routing Strategy Based on Ant Algorithm for WSN. | Yuhua Liu, Haiyan Zhu, Kaihua Xu, Yongcan Jia |
| 2007 | ICNC | Research of Directed Network Capacity Expansion Based on Spanning Tree Diagram. | Kaihua Xu, Yuhua Liu, Hao Huang, Haiyan Zhu |