| A systematic methodology for automated theorem finding H Gao, Y Goto, J Cheng Theoretical Computer Science 554, 2-21, 2014 | 33 | 2014 |
| A fault prediction of equipment based on CNN-LSTM network L Zheng, W Xue, F Chen, P Guo, J Chen, B Chen, H Gao 2019 IEEE international conference on energy internet (ICEI), 537-541, 2019 | 27 | 2019 |
| A set of metrics for measuring interestingness of theorems in automated theorem finding by forward reasoning: a case study in NBG set theory H Gao, Y Goto, J Cheng Intelligence Science and Big Data Engineering. Big Data and Machine Learning …, 2015 | 18 | 2015 |
| Measuring interestingness of theorems in automated theorem finding by forward reasoning based on strong relevant logic H Gao, J Li, J Cheng 2019 IEEE International Conference on Energy Internet (ICEI), 356-361, 2019 | 15 | 2019 |
| A formal analysis method with reasoning for cryptographic protocols J Yan, K Wagatsuma, H Gao, J Cheng 2016 12th International Conference on Computational Intelligence and …, 2016 | 10 | 2016 |
| Research on automated theorem finding: current state and future directions H Gao, Y Goto, J Cheng Future Information Technology: FutureTech 2014, 105-110, 2014 | 7 | 2014 |
| A security evaluation and certification management database based on ISO/IEC standards H Chen, D Bao, H Gao, J Cheng 2016 12th International Conference on Computational Intelligence and …, 2016 | 6 | 2016 |
| Finding Theorems in NBG Set Theory by Automated Forward Deduction Based on Strong Relevant Logic H Gao, K Shi, Y Goto, J Cheng Computing and Combinatorics 7936, 697-704, 2013 | 6 | 2013 |
| Automated Theorem Finding by Forward Deduction Based on Strong Relevant Logic: A Case Study in NBG Set Theory H Gao, K Shi, Y Goto, J Cheng Proceedings of the 11th International Conference on Machine Learning and …, 2012 | 6 | 2012 |
| Measuring Interestingness of Theorems in Automated Theorem Finding by Forward Reasoning: A Case Study in Tarski's Geometry H Gao, J Li, J Cheng 2018 IEEE SmartWorld, Ubiquitous Intelligence & Computing, Advanced …, 2018 | 5 | 2018 |
| Measuring Interestingness of Theorems in Automated Theorem Finding by Forward Reasoning: A Case Study in Peano’s Arithmetic H Gao, J Cheng Intelligent Information and Database Systems: 9th Asian Conference, ACIIDS …, 2017 | 5 | 2017 |
| An epistemic programming approach for automated theorem finding H Gao, J Cheng 2015 IEEE 14th International Conference on Cognitive Informatics & Cognitive …, 2015 | 5 | 2015 |
| Definition-Use Net and System Dependence Net Generators for Ada 2012 Programs and their Applications. B Wang, H Gao, J Cheng Ada User Journal 38 (1), 2017 | 4 | 2017 |
| A Predicate Suggestion Algorithm for Automated Theorem Finding with Forward Reasoning Y Goto, H Gao, J Cheng Intelligent Information and Database Systems: 9th Asian Conference, ACIIDS …, 2017 | 4 | 2017 |
| Contract-based programming for future computing with Ada 2012 B Wang, H Gao, J Cheng 2016 International Conference on Advanced Cloud and Big Data (CBD), 322-327, 2016 | 4 | 2016 |
| QSL: a specification language for e-questionnaire, e-testing, and e-voting systems Y Zhou, H Gao, J Cheng Advanced Multimedia and Ubiquitous Engineering: FutureTech & MUE, 255-261, 2016 | 4 | 2016 |
| Practical usage of freeencal: An automated forward reasoning engine for general-purpose Y Goto, H Gao, T Tsuji, J Cheng 2012 International Conference on Machine Learning and Cybernetics 5, 1878-1883, 2012 | 4 | 2012 |
| An extension of QSL for e-voting systems Y Zhou, H Gao, J Cheng Advances in Computer Science and Ubiquitous Computing: CSA-CUTE2016 8, 87-96, 2017 | 3 | 2017 |
| Development of a general-purpose offline e-testing environment H Gao, Z Wang, Y Zhou, J Cheng 2016 12th International Conference on Computational Intelligence and …, 2016 | 3 | 2016 |
| Automated Theorem Finding by Forward Reasoning Based on Strong Relevant Logic: A Case Study in Tarski’s Geometry H Gao, J Cheng Advanced Multimedia and Ubiquitous Engineering: FutureTech & MUE, 55-61, 2016 | 3 | 2016 |
Yuichi GotoSaitama UniversityDirección de correo verificada de mail.saitama-u.ac.jp