Jiazhao Xu
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
2
Venues
2
Active years
2001–2012
Best venue rank
A*
Where they publish
Papers
2 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2012 | FMCAD | Enhanced reachability analysis via automated dynamic netlist-based hint generation. | Jiazhao Xu, Mark Williams, Hari Mony, Jason Baumgartner |
| 2001 | CAV | Parameterized Verification with Automatically Computed Inductive Assertions. | Tamarah Arons, Amir Pnueli, Sitvanit Ruah, Jiazhao Xu, Lenore D. Zuck |