( en | de | ru )

 

Disambiguation of "Gao, Hongbiao"

Author of the publication

copydeleteadd this publication to your clipboard
An Extension of QSL for E-voting Systems.

, , and . CSA/CUTE, volume 421 of Lecture Notes in Electrical Engineering, page 87-96. Springer, (2016)

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.

Zhigang Gao

Gao Guo

Yi Gao

Yawen Gao

Hailong Gao

 

Other publications of authors with the same name

Automated theorem finding by forward deduction based on strong relevant logic: A case study in NBG set theory., , , and . ICMLC, page 1859-1865. IEEE, (2012)Industrial Control Network Security Analysis and Decision-Making by Reasoning Method Based on Strong Relevant Logic., , and . DASC/PiCom/DataCom/CyberSciTech, page 289-294. IEEE, (2019)A systematic methodology for automated theorem finding., , and . Theor. Comput. Sci., (2014)Complete Dispersive Fourier Transform in near-field for single-shot spectroscopy., , and . OFC, page 1-3. IEEE, (2015)Measuring Interestingness of Theorems in Automated Theorem Finding by Forward Reasoning: A Case Study in Tarski's Geometry., , and . SmartWorld/SCALCOM/UIC/ATC/CBDCom/IOP/SCI, page 168-173. IEEE, (2018)Practical usage of freeencal: An automated forward reasoning engine for general-purpose., , , and . ICMLC, page 1878-1883. IEEE, (2012)A Set of Metrics for Measuring Interestingness of Theorems in Automated Theorem Finding by Forward Reasoning: A Case Study in NBG Set Theory., , and . IScIDE (2), volume 9243 of Lecture Notes in Computer Science, page 508-517. Springer, (2015)A Knowledge Base for Industrial Control Network Security Analysis and Decision-Making with Reasoning Method., , , and . ACIIDS (2), volume 12034 of Lecture Notes in Computer Science, page 41-52. Springer, (2020)A Security Evaluation and Certification Management Database Based on ISO/IEC Standards., , , and . CIS, page 249-253. IEEE Computer Society, (2016)Contract-Based Programming for Future Computing with Ada 2012., , and . CBD, page 322-327. IEEE Computer Society, (2016)