Huazhen Xu
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
2
Venues
2
Active years
2012–2016
Best venue rank
C
Where they publish
Papers
2 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2016 | SNPD | Automatic verification of non-recursive algorithm of Hanoi Tower by using Isabelle Theorem Prover. | Huazhen Xu, Zhen You, Jinyun Xue |
| 2012 | ICDCN | A Simple and Efficient Input Selection Function for Networks-on-Chip. | Xinyu Wang, Zhigang Yu, Huazhen Xu |