BibTeX records: Zhihong Tao

• > Home > Persons > Zhihong Tao

@inproceedings{DBLP:conf/geoinformatics/HuTCKW10,
  author       = {Jiangquan Hu and
                  Zhihong Tao and
                  Jing Chen and
                  Zongmiao Kou and
                  Lun Wu},
  title        = {An evaluating indicator for urban sprawl simulation and prediction},
  booktitle    = {The 18th International Conference on Geoinformatics: GIScience in
                  Change, Geoinformatics 2010, Peking University, Beijing, China, June,
                  18-20, 2010},
  pages        = {1--4},
  publisher    = {{IEEE}},
  year         = {2010},
  url          = {https://doi.org/10.1109/GEOINFORMATICS.2010.5567545},
  doi          = {10.1109/GEOINFORMATICS.2010.5567545},
  timestamp    = {Wed, 16 Oct 2019 14:14:50 +0200},
  biburl       = {https://dblp.org/rec/conf/geoinformatics/HuTCKW10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fsen/ChenTXW07,
  author       = {Zhenyu Chen and
                  Zhihong Tao and
                  Baowen Xu and
                  Lifu Wang},
  editor       = {Farhad Arbab and
                  Marjan Sirjani},
  title        = {Implication-Based Approximating Bounded Model Checking},
  booktitle    = {International Symposium on Fundamentals of Software Engineering, International
                  Symposium, {FSEN} 2007, Tehran, Iran, April 17-19, 2007, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {4767},
  pages        = {350--363},
  publisher    = {Springer},
  year         = {2007},
  url          = {https://doi.org/10.1007/978-3-540-75698-9\_23},
  doi          = {10.1007/978-3-540-75698-9\_23},
  timestamp    = {Tue, 14 May 2019 10:00:43 +0200},
  biburl       = {https://dblp.org/rec/conf/fsen/ChenTXW07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/tamc/ZhouCT07,
  author       = {Conghua Zhou and
                  Zhenyu Chen and
                  Zhihong Tao},
  editor       = {Jin{-}yi Cai and
                  S. Barry Cooper and
                  Hong Zhu},
  title        = {QBF-Based Symbolic Model Checking for Knowledge and Time},
  booktitle    = {Theory and Applications of Models of Computation, 4th International
                  Conference, {TAMC} 2007, Shanghai, China, May 22-25, 2007, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {4484},
  pages        = {386--397},
  publisher    = {Springer},
  year         = {2007},
  url          = {https://doi.org/10.1007/978-3-540-72504-6\_35},
  doi          = {10.1007/978-3-540-72504-6\_35},
  timestamp    = {Mon, 04 May 2020 13:17:48 +0200},
  biburl       = {https://dblp.org/rec/conf/tamc/ZhouCT07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}