Hongbiao Gao

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