@
Žwđ
Eđ
éĘĺwĺw@Hw¤Č¤dqîńĺîńĚć
Žwď
@
\_ś
Bo Wang, Hongbiao Gao, and Jingde Cheng: Definition-Use Net and System Dependence Net Generators for Ada 2012 Programs and Their Applications, Ada User Journal, Vol. 38, No. 1, pp. 37-55, Ada-Europe, March 2017.
Hongbiao Gao and Jingde Cheng: Measuring Interestingness of Theorems in Automated Theorem Finding by Forward Reasoning: A Case Study in Peano's Arithmetic, in N. T. Nguyen, et al. (Eds.), "Intelligent Information and Database Systems, The 9th Asian Conference, ACIIDS 2017, Kanazawa, Japan, April 3-5, 2017, Proceedings, Part II," Lecture Notes in Artificial Intelligence (Subseries of Lecture Notes in Computer Science), Vol. 10192, pp. 115-124, Springer, April 2017.
Yuichi Goto, Hongbiao Gao, and Jingde Cheng: A Predicate Suggestion Algorithm for Automated Theorem Finding with Forward Reasoning, in N. T. Nguyen, et al. (Eds.), "Intelligent Information and Database Systems, The 9th Asian Conference, ACIIDS 2017, Kanazawa, Japan, April 3-5, 2017, Proceedings, Part II," Lecture Notes in Artificial Intelligence (Subseries of Lecture Notes in Computer Science), Vol. 10192, pp. 125-134, Springer, April 2017.
Jingchen Yan, Hongbiao Gao, and Jingde Cheng: A Formal Analysis Method with Forward Reasoning for Cryptographic Protocols, Journal of Information Security Research, Vol. 3, No. 5, pp. 462-468, May 2017 (in Chinese).
Bo Wang, Hongbiao Gao, and Jingde Cheng: A New Definition-Use Net Generator for Ada 2012 Programs, ACM Ada Letters, Vol. 37, No. 1, pp. 9-25, ACM Press, June 2017.
Yifeng Han, Hongbiao Gao, and Jingde Cheng: A Design of Evolutionary Personal Information Partner Based on Software as a Service, in J. J. Park, V. Loia, G. Yi and Y. Sung (Eds.), "Advances in Computer Science and Ubiquitous Computing - CSA-CUTE2017," Lecture Notes in Electrical Engineering, Vol. 474, pp. 407-412, Springer, Singapore, December 2017.
Hongbiao Gao and Jingde Cheng: Automated Theorem Finding by Forward Reasoning Based on Strong Relevant Logic: A Case Study in Tarski's Geometry, in J. J. Park, H. Jin, Y. Jeong and M. K. Khan (Eds.), "Advanced Multimedia and Ubiquitous Engineering - FutureTech & MUE," Lecture Notes in Electrical Engineering, Vol. 393, pp. 55-61, Springer, Singapore, August 2016.
Bo Wang, Hongbiao Gao, and Jingde Cheng: A Supporting Environment for Contract-Based Programming with Ada 2012, in J. J. Park, H. Jin, Y. Jeong and M. K. Khan (Eds.), "Advanced Multimedia and Ubiquitous Engineering - FutureTech & MUE," Lecture Notes in Electrical Engineering, Vol. 393, pp. 69-77, Springer, Singapore, August 2016.
Yuan Zhou, Hongbiao Gao, and Jingde Cheng: QSL: A Specification Language for E-Questionnaire, E-Testing, and E-Voting Systems, in J. J. Park, H. Jin, Y. Jeong and M. K. Khan (Eds.), "Advanced Multimedia and Ubiquitous Engineering - FutureTech & MUE," Lecture Notes in Electrical Engineering, Vol. 393, pp. 255-261, Springer, Singapore, August 2016.
Da Bao, Kazunori Wagatsuma, Hongbiao Gao, and Jingde Cheng: Predicting New Attacks: A Case Study in Security Analysis of Cryptographic Protocols, in J. J. Park, H. Jin, Y. Jeong and M. K. Khan (Eds.), "Advanced Multimedia and Ubiquitous Engineering - FutureTech & MUE," Lecture Notes in Electrical Engineering, Vol. 393, pp. 263-270, Springer, Singapore, August 2016.
Bo Wang, Hongbiao Gao, and Jingde Cheng: Contract-Based Programming for Future Computing with Ada 2012, Proceedings of 2016 International Conference on Advanced Cloud and Big Data, pp. 322-327, Chengdu, China, IEEE Computer Society Press, August 2016.
Yuan Zhou, Hongbiao Gao, and Jingde Cheng: QSL: An Extension of QSL for E-voting Systems, in J. J. Park, Y. Pan, G. Yi and V. Loia (Eds.), "Advances in Computer Science and Ubiquitous Computing - CSA-CUTE2016," Lecture Notes in Electrical Engineering, Vol. 421, pp. 87-96, Springer, Singapore, November 2016.
Huilin Chen, Da Bao, Hongbiao Gao, and Jingde Cheng: A Security Evaluation and Certification Management Database Based on ISO/IEC Standards, Proceedings of the 12th International Conference on Computational Intelligence and Security (CIS 2016), pp. 249-253, Wuxi, China, IEEE Computer Society Press, December 2016.
Yifeng Han, Hongbiao Gao, and Jingde Cheng: Autonomous Evolution in Evolutionary Personal Information Partners: Mechanism and A Case Study, Proceedings of the 12th International Conference on Computational Intelligence and Security (CIS 2016), pp. 461-465, Wuxi, China, IEEE Computer Society Press, December 2016.
Jingchen Yan, Kazunori Wagatsuma, Hongbiao Gao, and Jingde Cheng: A Formal Analysis Method with Reasoning for Cryptographic Protocols, Proceedings of the 12th International Conference on Computational Intelligence and Security (CIS 2016), pp. 566-570, Wuxi, China, IEEE Computer Society Press, December 2016.
Hongbiao Gao, Zhe Wang, Yuan Zhou, and Jingde Cheng: Development of a General-Purpose Offline E-Testing Environment, Proceedings of the 12th International Conference on Computational Intelligence and Security (CIS 2016), pp. 603-607, Wuxi, China, IEEE Computer Society Press, December 2016.
Hongbiao Gao, Yuichi Goto, and Jingde Cheng: Explicitly Epistemic Contraction by Predicate Abstraction in Automated Theorem Finding: A Case Study in NBG Set Theory, in N. T. Nguyen, et al. (Eds.), "Intelligent Information and Database Systems, The 7th Asian Conference, ACIIDS 2015, Bali, Indonesia, March 23-25, 2015, Proceedings, Part I," Lecture Notes in Artificial Intelligence (Subseries of Lecture Notes in Computer Science), Vol. 9011, pp. 593-602, Springer, March 2015.
Shunsuke Nanaumi, Kazunori Wagatsuma, Hongbiao Gao, Yuichi Goto, and Jingde Cheng: A Bidirectional Transformation Supporting Tool for Formalization with Logical Formulas, in N. T. Nguyen, et al. (Eds.), "Intelligent Information and Database Systems, The 7th Asian Conference, ACIIDS 2015, Bali, Indonesia, March 23-25, 2015, Proceedings, Part I," Lecture Notes in Artificial Intelligence (Subseries of Lecture Notes in Computer Science), Vol. 9011, pp. 634-643, Springer, March 2015.
Shunsuke Nanaumi, Kazunori Wagatsuma, Hongbiao Gao, Yuichi Goto, and Jingde Cheng: Development of a Bidirectional Transformation Supporting Tool for Formalization with Logical Formulas and Its Application, in J. J. Park, H. Chao, H. Arabnia, and N. Y. Yen (Eds.), "Advanced Multimedia and Ubiquitous Engineering - Future Information Technology," Lecture Notes in Electrical Engineering, Vol. 352, pp. 1-6, Springer, Heidelberg, May 2015.
Hongbiao Gao, Yuichi Goto, and Jingde Cheng: Automated Theorem Finding by Forward Reasoning Based on Strong Relevant Logic: A Case Study in Graph Theory, in J. J. Park, H. Chao, H. Arabnia, and N. Y. Yen (Eds.), "Advanced Multimedia and Ubiquitous Engineering - Future Information Technology," Lecture Notes in Electrical Engineering, Vol. 352, pp. 23-30, Springer, Heidelberg, May 2015.
Hongbiao Gao and Jingde Cheng: An Epistemic Programming Approach for Automated Theorem Finding, Proceedings of the 14th International Conference on Cognitive Informatics & Cognitive Computing, Beijing, China, pp. 49-58, IEEE Computer Society Press, July 2015.
Hongbiao Gao, Yuichi Goto, and Jingde Cheng: A Set of Metrics for Measuring Interestingness of Theorems in Automated Theorem Finding by Forward Reasoning: A Case Study in NBG Set Theory, in Xiaofei He, Xinbo Gao, Yanning Zhang, Zhi-Hua Zhou, Zhi-Yong Liu, Baochuan Fu, Fuyuan Hu, and Zhancheng Zhang (Eds.), "Intelligence Science and Big Data Engineering. Big Data and Machine Learning Techniques, 5th International Conference, IScIDE 2015, Suzhou, China, June 14 - 16, 2015, Revised Selected Papers, Part II," Lecture Notes in Computer Science, Vol. 9243, pp. 508-517, Springer, November 2015.
Hongbiao Gao, Yuichi Goto, and Jingde Cheng: Research on Automated Theorem Finding: Current State and Future Directions, in J. J. Park, Y. Pan, C. Kim, and Y. Yan (Eds.), "Future Information Technology, The 9th FTRA International Conference, FutureTech 2014, Zhangjiajie, China, May 28-31, 2014, Proceedings," Lecture Notes in Electrical Engineering, Vol. 309, pp 105-110, Springer, Heidelberg, May 2014.
Hongbiao Gao, Yuichi Goto, and Jingde Cheng: A Systematic Methodology for Automated Theorem Finding, Theoretical Computer Science 554, pp 2-21, Elsevier, October 2014.
Hongbiao Gao, Kai Shi, Yuichi Goto, and Jingde Cheng: Finding Theorems in NBG Set Theory by Automated Forward Deduction Based on Strong Relevant Logic, in D.-Z. Du and G. Zhang (Eds.), "Computing and Combinatorics, The 19th Annual International Conference, COCOON 2013, Hangzhou, China, June 21-23, 2013, Proceedings," Lecture Notes in Computer Science, Vol. 7936, pp 697-704, Springer, Heidelberg, June 2013.
Hongbiao Gao, Yuichi Goto, and Jingde Cheng: Automated Theorem Finding by Forward Deduction Based on The Semi-lattice Model of Formal Theory: A Case Study in NBG Set Theory, Proceedings of the 9th International Conference on Semantics, Knowledge and Grid, SKG 2013, Beijing, China, pp 22 - 29, IEEE Computer Society Press, October 2013.
Hongbiao Gao, Kai Shi, Yuichi Goto, and Jingde Cheng: Automated Theorem Finding by Forward Deduction Based on Strong Relevant Logic: A Case Study in NBG Set Theory, Proceedings of the 11th International Conference on Machine Learning and Cybernetics, ICMLC 2012, Xian, China, pp 1859-1865, The IEEE Systems, Man, and Cybernetics Society, July 2012.
Yuichi Goto, Hongbiao Gao, Takahiro Tsuji, and Jingde Cheng: Practical Usage of FreeEnCal: an Automated Forward Reasoning Engine for General-Purpose, Proceedings of the 11th International Conference on Machine Learning and Cybernetics, ICMLC 2012, Xian, China, pp. 1878-1883, The IEEE Systems, Man, and Cybernetics Society, July 2012.
@
@
Last Update : 2018/3/26