Hongbiao Gao

Publication Activity (10 Years)

Years Active: 2012-2023
Publications (10 Years): 14

Top Topics

Digital Topology

Logical Formulas

Security Analysis

Top Venues

Publications

Huaikun Wu, Weisha Hao, Xiangyu Li, Hongbiao Gao, Jianbin Zhang, Huaizhou Guo
Research on intelligent water valve fault classification method based on machine learning. ICBASE (2023)
Hongbiao Gao, Jiaming Liu, Jianbin Li, Jingde Cheng
A Knowledge Base for Industrial Control Network Security Analysis and Decision-Making with Reasoning Method. ACIIDS (2) (2020)
Hongbiao Gao, Jianbin Li, Jingde Cheng
Industrial Control Network Security Analysis and Decision-Making by Reasoning Method Based on Strong Relevant Logic. DASC/PiCom/DataCom/CyberSciTech (2019)
Hongbiao Gao, Jianbin Li, Jingde Cheng
Measuring Interestingness of Theorems in Automated Theorem Finding by Forward Reasoning: A Case Study in Tarski's Geometry. SmartWorld/SCALCOM/UIC/ATC/CBDCom/IOP/SCI (2018)
Jingchen Yan, Kazunori Wagatsuma, Hongbiao Gao, Jingde Cheng
A Supporting Environment for Formal Analysis of Cryptographic Protocols. MUE/FutureTech (2017)
Yuichi Goto, Hongbiao Gao, Jingde Cheng
A Predicate Suggestion Algorithm for Automated Theorem Finding with Forward Reasoning. ACIIDS (2) (2017)
Hongbiao Gao, Jingde Cheng
Measuring Interestingness of Theorems in Automated Theorem Finding by Forward Reasoning: A Case Study in Peano's Arithmetic. ACIIDS (2) (2017)
Yifeng Han, Hongbiao Gao, Jingde Cheng
A Design of Evolutionary Personal Information Partner Based on Software as a Service. CSA/CUTE (2017)
Yifeng Han, Hongbiao Gao, Jingde Cheng
Autonomous Evolution in Evolutionary Personal Information Partners: Mechanism and a Case Study. CIS (2016)
Huilin Chen, Da Bao, Hongbiao Gao, Jingde Cheng
A Security Evaluation and Certification Management Database Based on ISO/IEC Standards. CIS (2016)
Bo Wang, Hongbiao Gao, Jingde Cheng
Contract-Based Programming for Future Computing with Ada 2012. CBD (2016)
Jingchen Yan, Kazunori Wagatsuma, Hongbiao Gao, Jingde Cheng
A Formal Analysis Method with Reasoning for Cryptographic Protocols. CIS (2016)
Yuan Zhou, Hongbiao Gao, Jingde Cheng
An Extension of QSL for E-voting Systems. CSA/CUTE (2016)
Hongbiao Gao, Zhe Wang, Yuan Zhou, Jingde Cheng
Development of a General-Purpose Offline E-Testing Environment. CIS (2016)
Hongbiao Gao, Yuichi Goto, Jingde Cheng
A Set of Metrics for Measuring Interestingness of Theorems in Automated Theorem Finding by Forward Reasoning: A Case Study in NBG Set Theory. IScIDE (2) (2015)
Hongbiao Gao, Jingde Cheng
An epistemic programming approach for automated theorem finding. ICCI*CC (2015)
Hongbiao Gao, Mohammad H. Asghari, Bahram Jalali
Complete Dispersive Fourier Transform in near-field for single-shot spectroscopy. OFC (2015)
Hongbiao Gao, Yuichi Goto, Jingde Cheng
Explicitly Epistemic Contraction by Predicate Abstraction in Automated Theorem Finding: A Case Study in NBG Set Theory. ACIIDS (1) (2015)
Shunsuke Nanaumi, Kazunori Wagatsuma, Hongbiao Gao, Yuichi Goto, Jingde Cheng
A Bidirectional Transformation Supporting Tool for Formalization with Logical Formulas. ACIIDS (1) (2015)
Hongbiao Gao, Yuichi Goto, Jingde Cheng
A systematic methodology for automated theorem finding. Theor. Comput. Sci. 554 (2014)
Hongbiao Gao, Mohammad H. Asghari, Bahram Jalali
Time-bandwidth engineering for arbitrary waveform generation. GlobalSIP (2014)
Hongbiao Gao, Mohammad H. Asghari, Bahram Jalali
Time-bandwidth engineering for arbitrary waveform generation. GlobalSIP (2014)
Hongbiao Gao, Yuichi Goto, Jingde Cheng
Automated Theorem Finding by Forward Deduction Based on the Semi-lattice Model of Formal Theory: A Case Study in NBG Set Theory. SKG (2013)
Hongbiao Gao, Kai Shi, Yuichi Goto, Jingde Cheng
Finding Theorems in NBG Set Theory by Automated Forward Deduction Based on Strong Relevant Logic. COCOON (2013)
Hongbiao Gao, Kai Shi, Yuichi Goto, Jingde Cheng
Automated theorem finding by forward deduction based on strong relevant logic: A case study in NBG set theory. ICMLC (2012)
Yuichi Goto, Hongbiao Gao, Takahiro Tsuji, Jingde Cheng
Practical usage of freeencal: An automated forward reasoning engine for general-purpose. ICMLC (2012)