Author of the publication

Urban Disaster Comprehensive Risk Assessment Research Based on GIS: A Case Study of Changsha City, Hunan Province, China.

, , , and . GRMSE, volume 569 of Communications in Computer and Information Science, page 95-106. Springer, (2015)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Urban Disaster Comprehensive Risk Assessment Research Based on GIS: A Case Study of Changsha City, Hunan Province, China., , , and . GRMSE, volume 569 of Communications in Computer and Information Science, page 95-106. Springer, (2015)sHMQV: An Efficient Key Exchange Protocol for Power-Limited Devices., and . ISPEC, volume 9065 of Lecture Notes in Computer Science, page 154-167. Springer, (2015)Mdaak: A Flexible and Efficient Framework for Direct Anonymous Attestation on Mobile Devices., , , , and . ICICS, volume 8958 of Lecture Notes in Computer Science, page 31-48. Springer, (2014)Formalization of Geometric Algebra in HOL Light., , , , and . J. Autom. Reason., 63 (3): 787-808 (2019)A unified proof technique for verifying program correctness with big-step semantics., , , , and . J. Syst. Archit., (March 2023)Formalization of Camera Pose Estimation Algorithm based on Rodrigues Formula., , , , , and . Formal Aspects Comput., 32 (4-6): 417-437 (2020)函数矩阵及其微积分的高阶逻辑形式化 (Higher-order Logic Formalization of Function Matrix and its Calculus)., , , , , and . 计算机科学, 43 (11): 24-29 (2016)Formalization of Symplectic Geometry in HOL-Light., , , , , and . ICFEM, volume 11232 of Lecture Notes in Computer Science, page 270-283. Springer, (2018)Security analysis of SM2 key exchange protocol in TPM2.0., , , , and . Secur. Commun. Networks, 8 (3): 383-395 (2015)A Comprehensive Formal Security Analysis and Revision of the Two-phase Key Exchange Primitive of TPM 2.0., , , , and . CoRR, (2019)