Hongbiao Gao

According to our database, Hongbiao Gao authored at least 25 papers between 2012 and 2023.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2023

Research on intelligent water valve fault classification method based on machine learning.

Huaikun Wu, Weisha Hao, Xiangyu Li, Hongbiao Gao, Jianbin Zhang, Huaizhou Guo

Proceedings of the 4th International Conference on Big Data & Artificial Intelligence & Software Engineering, 2023

2020

A Knowledge Base for Industrial Control Network Security Analysis and Decision-Making with Reasoning Method.

Hongbiao Gao, Jiaming Liu, Jianbin Li, Jingde Cheng

Proceedings of the Intelligent Information and Database Systems - 12th Asian Conference, 2020

2019

Industrial Control Network Security Analysis and Decision-Making by Reasoning Method Based on Strong Relevant Logic.

Hongbiao Gao, Jianbin Li, Jingde Cheng

Proceedings of the 2019 IEEE Intl Conf on Dependable, 2019

2018

Measuring Interestingness of Theorems in Automated Theorem Finding by Forward Reasoning: A Case Study in Tarski's Geometry.

Hongbiao Gao, Jianbin Li, Jingde Cheng

Proceedings of the 2018 IEEE SmartWorld, 2018

2017

A Supporting Environment for Formal Analysis of Cryptographic Protocols.

Jingchen Yan, Kazunori Wagatsuma, Hongbiao Gao, Jingde Cheng

Proceedings of the Advanced Multimedia and Ubiquitous Engineering, 2017

A Design of Evolutionary Personal Information Partner Based on Software as a Service.

Yifeng Han, Hongbiao Gao, Jingde Cheng

Proceedings of the Advances in Computer Science and Ubiquitous Computing, 2017

A Predicate Suggestion Algorithm for Automated Theorem Finding with Forward Reasoning.

Yuichi Goto, Hongbiao Gao, Jingde Cheng

Proceedings of the Intelligent Information and Database Systems - 9th Asian Conference, 2017

Measuring Interestingness of Theorems in Automated Theorem Finding by Forward Reasoning: A Case Study in Peano's Arithmetic.

Hongbiao Gao, Jingde Cheng

Proceedings of the Intelligent Information and Database Systems - 9th Asian Conference, 2017

2016

An Extension of QSL for E-voting Systems.

Yuan Zhou, Hongbiao Gao, Jingde Cheng

Proceedings of the Advances in Computer Science and Ubiquitous Computing, 2016

A Formal Analysis Method with Reasoning for Cryptographic Protocols.

Jingchen Yan, Kazunori Wagatsuma, Hongbiao Gao, Jingde Cheng

Proceedings of the 12th International Conference on Computational Intelligence and Security, 2016

Autonomous Evolution in Evolutionary Personal Information Partners: Mechanism and a Case Study.

Yifeng Han, Hongbiao Gao, Jingde Cheng

Proceedings of the 12th International Conference on Computational Intelligence and Security, 2016

Development of a General-Purpose Offline E-Testing Environment.

Hongbiao Gao, Zhe Wang, Yuan Zhou, Jingde Cheng

Proceedings of the 12th International Conference on Computational Intelligence and Security, 2016

A Security Evaluation and Certification Management Database Based on ISO/IEC Standards.

Huilin Chen, Da Bao, Hongbiao Gao, Jingde Cheng

Proceedings of the 12th International Conference on Computational Intelligence and Security, 2016

Contract-Based Programming for Future Computing with Ada 2012.

Bo Wang, Hongbiao Gao, Jingde Cheng

Proceedings of the International Conference on Advanced Cloud and Big Data, 2016

2015

Complete Dispersive Fourier Transform in near-field for single-shot spectroscopy.

Hongbiao Gao, Mohammad H. Asghari, Bahram Jalali

Proceedings of the Optical Fiber Communications Conference and Exhibition, 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

Proceedings of the Intelligence Science and Big Data Engineering. Big Data and Machine Learning Techniques, 2015

A Bidirectional Transformation Supporting Tool for Formalization with Logical Formulas.

Shunsuke Nanaumi, Kazunori Wagatsuma, Hongbiao Gao, Yuichi Goto, Jingde Cheng

Proceedings of the Intelligent Information and Database Systems - 7th Asian Conference, 2015

Explicitly Epistemic Contraction by Predicate Abstraction in Automated Theorem Finding: A Case Study in NBG Set Theory.

Hongbiao Gao, Yuichi Goto, Jingde Cheng

Proceedings of the Intelligent Information and Database Systems - 7th Asian Conference, 2015

An epistemic programming approach for automated theorem finding.

Hongbiao Gao, Jingde Cheng

Proceedings of the 14th IEEE International Conference on Cognitive Informatics & Cognitive Computing, 2015

2014

A systematic methodology for automated theorem finding.

Hongbiao Gao, Yuichi Goto, Jingde Cheng

Theor. Comput. Sci., 2014

Time-bandwidth engineering for arbitrary waveform generation.

Hongbiao Gao, Mohammad H. Asghari, Bahram Jalali

Proceedings of the 2014 IEEE Global Conference on Signal and Information Processing, 2014

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

Proceedings of the Ninth International Conference on Semantics, Knowledge and Grids, 2013

Finding Theorems in NBG Set Theory by Automated Forward Deduction Based on Strong Relevant Logic.

Hongbiao Gao, Kai Shi, Yuichi Goto, Jingde Cheng

Proceedings of the Computing and Combinatorics, 19th International Conference, 2013

2012

Practical usage of freeencal: An automated forward reasoning engine for general-purpose.

Yuichi Goto, Hongbiao Gao, Takahiro Tsuji, Jingde Cheng

Proceedings of the International Conference on Machine Learning and Cybernetics, 2012

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

Proceedings of the International Conference on Machine Learning and Cybernetics, 2012