Automated theorem finding by forward deduction based on strong relevant logic: A case study in NBG set theory. - Hongbiao Gao; Kai Shi; Yuichi Goto; Jingde Cheng (ICMLC, 2012)

Practical usage of freeencal: An automated forward reasoning engine for general-purpose. - Yuichi Goto; Hongbiao Gao; Takahiro Tsuji; Jingde Cheng (ICMLC, 2012)

Finding Theorems in NBG Set Theory by Automated Forward Deduction Based on Strong Relevant Logic. - Hongbiao Gao; Kai Shi; Yuichi Goto; Jingde Cheng (COCOON, 2013)

Automated Theorem Finding by Forward Deduction Based on the Semi-lattice Model of Formal Theory: A Case Study in NBG Set Theory. - Hongbiao Gao; Yuichi Goto; Jingde Cheng (SKG, 2013)

Time-bandwidth engineering for arbitrary waveform generation. - Hongbiao Gao; Mohammad H. Asghari; Bahram Jalali (GlobalSIP, 2014)

A systematic methodology for automated theorem finding. - Hongbiao Gao; Yuichi Goto; Jingde Cheng (Theor. Comput. Sci., 2014)

An epistemic programming approach for automated theorem finding. - Hongbiao Gao; Jingde Cheng (ICCI*CC, 2015)

Explicitly Epistemic Contraction by Predicate Abstraction in Automated Theorem Finding: A Case Study in NBG Set Theory. - Hongbiao Gao; Yuichi Goto; Jingde Cheng (ACIIDS (1), 2015)

A Bidirectional Transformation Supporting Tool for Formalization with Logical Formulas. - Shunsuke Nanaumi; Kazunori Wagatsuma; Hongbiao Gao; Yuichi Goto; Jingde Cheng (ACIIDS (1), 2015)

A Set of Metrics for Measuring Interestingness of Theorems in Automated Theorem Finding by Forward Reasoning: A Case Study in NBG Set Theory. - Hongbiao Gao; Yuichi Goto; Jingde Cheng (IScIDE (2), 2015)

Complete Dispersive Fourier Transform in near-field for single-shot spectroscopy. - Hongbiao Gao; Mohammad H. Asghari; Bahram Jalali (OFC, 2015)

Contract-Based Programming for Future Computing with Ada 2012. - Bo Wang 079; Hongbiao Gao; Jingde Cheng (CBD, 2016)

A Security Evaluation and Certification Management Database Based on ISO/IEC Standards. - Huilin Chen; Da Bao; Hongbiao Gao; Jingde Cheng (CIS, 2016)

Development of a General-Purpose Offline E-Testing Environment. - Hongbiao Gao; Zhe Wang; Yuan Zhou 026; Jingde Cheng (CIS, 2016)

Autonomous Evolution in Evolutionary Personal Information Partners: Mechanism and a Case Study. - Yifeng Han; Hongbiao Gao; Jingde Cheng (CIS, 2016)

A Formal Analysis Method with Reasoning for Cryptographic Protocols. - Jingchen Yan; Kazunori Wagatsuma; Hongbiao Gao; Jingde Cheng (CIS, 2016)

An Extension of QSL for E-voting Systems. - Yuan Zhou 026; Hongbiao Gao; Jingde Cheng (CSA/CUTE, 2016)

Measuring Interestingness of Theorems in Automated Theorem Finding by Forward Reasoning: A Case Study in Peano's Arithmetic. - Hongbiao Gao; Jingde Cheng (ACIIDS (2), 2017)

A Predicate Suggestion Algorithm for Automated Theorem Finding with Forward Reasoning. - Yuichi Goto; Hongbiao Gao; Jingde Cheng (ACIIDS (2), 2017)

A Design of Evolutionary Personal Information Partner Based on Software as a Service. - Yifeng Han; Hongbiao Gao; Jingde Cheng (CSA/CUTE, 2017)

A Supporting Environment for Formal Analysis of Cryptographic Protocols. - Jingchen Yan; Kazunori Wagatsuma; Hongbiao Gao; Jingde Cheng (MUE/FutureTech, 2017)

Measuring Interestingness of Theorems in Automated Theorem Finding by Forward Reasoning: A Case Study in Tarski's Geometry. - Hongbiao Gao; Jianbin Li; Jingde Cheng (SmartWorld/SCALCOM/UIC/ATC/CBDCom/IOP/SCI, 2018)

Industrial Control Network Security Analysis and Decision-Making by Reasoning Method Based on Strong Relevant Logic. - Hongbiao Gao; Jianbin Li; Jingde Cheng (DASC/PiCom/DataCom/CyberSciTech, 2019)

A Knowledge Base for Industrial Control Network Security Analysis and Decision-Making with Reasoning Method. - Hongbiao Gao; Jiaming Liu; Jianbin Li; Jingde Cheng (ACIIDS (2), 2020)

Research on intelligent water valve fault classification method based on machine learning. - Huaikun Wu; Weisha Hao; Xiangyu Li; Hongbiao Gao; Jianbin Zhang; Huaizhou Guo (ICBASE, 2023)