Hantao Zhang

Research on Location Technology in Building Fire Rescue

Xiaoping Zhou, Hantao Zhang, Lei Sun, 2012 .

Contextual Adversarial Attacks For Object Detection

Houqiang Li, Wengang Zhou, Hantao Zhang, 2020, 2020 IEEE International Conference on Multimedia and Expo (ICME).

A New Active Control Strategy for Pantograph in High-Speed Electrified Railways Based on Multi-Objective Robust Control

Jing Zhang, Hantao Zhang, Zhigang Liu, 2019, IEEE Access.

Proceedings of the Seventh International Workshop on Preferences and Soft Constraints

Carmel Domshlak, Martin C. Cooper, Simon de Givry, 2005 .

Unsupervised spectral clustering for shield tunneling machine monitoring data with complex network theory

Lieyun Ding, Hantao Zhang, Cheng Zhou, 2019, Automation in Construction.

Preface to First order theorem proving

Peter Baumgartner, Hantao Zhang, 2003, J. Symb. Comput..

A Mechanizable Induction Principle for Equational Specifications

Deepak Kapur, Mukkai S. Krishnamoorthy, Hantao Zhang, 1988, CADE.