Jiazhao Xu

According to our database, Jiazhao Xu authored at least 5 papers between 2001 and 2021.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2021

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

Proceedings of the ISAIMS 2021: 2nd International Symposium on Artificial Intelligence for Medicine Sciences, Beijing, China, October 29, 2021

2014

Scalable reachability analysis via automated dynamic netlist-based hint generation.

Jiazhao Xu, Mark Williams, Hari Mony, Jason Baumgartner

Formal Methods Syst. Des., 2014

2012

Enhanced reachability analysis via automated dynamic netlist-based hint generation.

Jiazhao Xu, Mark Williams, Hari Mony, Jason Baumgartner

Proceedings of the Formal Methods in Computer-Aided Design, 2012

2005

Automatic Verification of Parameterized Systems.

Jiazhao Xu

PhD thesis, 2005

2001

Parameterized Verification with Automatically Computed Inductive Assertions.

Tamarah Arons, Amir Pnueli, Sitvanit Ruah, Jiazhao Xu, Lenore D. Zuck

Proceedings of the Computer Aided Verification, 13th International Conference, 2001