Parameterized Verification with Automatically Computed Inductive Assertions. - Tamarah Arons; Amir Pnueli; Sitvanit Ruah; Jiazhao Xu; Lenore D. Zuck (CAV, 2001)

Automatic Verification of Parameterized Systems. - Jiazhao Xu (2005)

Enhanced reachability analysis via automated dynamic netlist-based hint generation. - Jiazhao Xu; Mark Williams; Hari Mony; Jason Baumgartner (FMCAD, 2012)

Scalable reachability analysis via automated dynamic netlist-based hint generation. - Jiazhao Xu; Mark Williams; Hari Mony; Jason Baumgartner (Formal Methods Syst. Des., 2014)

Impact of Seven Factors Including Temperature, UV Radiation, and Ozone on the COVID-19 Epidemic in the United States. - Jiazhao Xu; Caihong Guan; Aihong Zhang (ISAIMS, 2021)