| 2020 | ACIIDS | A Knowledge Base for Industrial Control Network Security Analysis and Decision-Making with Reasoning Method. | Hongbiao Gao, Jiaming Liu, Jianbin Li, Jingde Cheng |
| 2019 | DASC | Industrial Control Network Security Analysis and Decision-Making by Reasoning Method Based on Strong Relevant Logic. | Hongbiao Gao, Jianbin Li, Jingde Cheng |
| 2018 | UIC | Measuring Interestingness of Theorems in Automated Theorem Finding by Forward Reasoning: A Case Study in Tarski's Geometry. | Hongbiao Gao, Jianbin Li, Jingde Cheng |
| 2017 | ACIIDS | Measuring Interestingness of Theorems in Automated Theorem Finding by Forward Reasoning: A Case Study in Peano's Arithmetic. | Hongbiao Gao, Jingde Cheng |
| 2017 | ACIIDS | A Predicate Suggestion Algorithm for Automated Theorem Finding with Forward Reasoning. | Yuichi Goto, Hongbiao Gao, Jingde Cheng |
| 2016 | CIS | A Security Evaluation and Certification Management Database Based on ISO/IEC Standards. | Huilin Chen, Da Bao, Hongbiao Gao, Jingde Cheng |
| 2016 | CIS | Development of a General-Purpose Offline E-Testing Environment. | Hongbiao Gao, Zhe Wang, Yuan Zhou, Jingde Cheng |
| 2016 | CIS | Autonomous Evolution in Evolutionary Personal Information Partners: Mechanism and a Case Study. | Yifeng Han, Hongbiao Gao, Jingde Cheng |
| 2016 | CIS | A Formal Analysis Method with Reasoning for Cryptographic Protocols. | Jingchen Yan, Kazunori Wagatsuma, Hongbiao Gao, Jingde Cheng |
| 2015 | ACIIDS | Explicitly Epistemic Contraction by Predicate Abstraction in Automated Theorem Finding: A Case Study in NBG Set Theory. | Hongbiao Gao, Yuichi Goto, Jingde Cheng |
| 2015 | ACIIDS | A Bidirectional Transformation Supporting Tool for Formalization with Logical Formulas. | Shunsuke Nanaumi, Kazunori Wagatsuma, Hongbiao Gao, Yuichi Goto, Jingde Cheng |
| 2013 | COCOON | Finding Theorems in NBG Set Theory by Automated Forward Deduction Based on Strong Relevant Logic. | Hongbiao Gao, Kai Shi, Yuichi Goto, Jingde Cheng |
| 2012 | ICMLC | 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 |
| 2012 | ICMLC | Practical usage of freeencal: An automated forward reasoning engine for general-purpose. | Yuichi Goto, Hongbiao Gao, Takahiro Tsuji, Jingde Cheng |