Zhihong Tao

According to our database, Zhihong Tao authored at least 3 papers between 2007 and 2010.

Collaborative distances:

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

2010

An evaluating indicator for urban sprawl simulation and prediction.

Jiangquan Hu, Zhihong Tao, Jing Chen, Zongmiao Kou, Lun Wu

Proceedings of the 18th International Conference on Geoinformatics: GIScience in Change, 2010

2007

QBF-Based Symbolic Model Checking for Knowledge and Time.

Conghua Zhou, Zhenyu Chen, Zhihong Tao

Proceedings of the Theory and Applications of Models of Computation, 2007

Implication-Based Approximating Bounded Model Checking.

Zhenyu Chen, Zhihong Tao, Baowen Xu, Lifu Wang

Proceedings of the International Symposium on Fundamentals of Software Engineering, 2007