| A supporting tool for creating and maintaining security targets according to ISO/IEC 15408 G Sun, K Yajima, J Miura, K Shi, Y Goto, J Cheng Software Engineering and Service Science (ICSESS), 2012 IEEE 3rd …, 2012 | 10 | 2012 |
| Anticipatory Runway Incursion Prevention Systems K SHI, Y GOTO, Z ZHU, J CHENG IEICE TRANSACTIONS on Information and Systems 96 (11), 2385-2396, 2013 | 6 | 2013 |
| 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 |
| Anticipatory emergency elevator evacuation systems K Shi, Y Goto, Z Zhu, J Cheng "Intelligent Information and Database Systems, 5th Asian Conference, ACIIDS …, 2013 | 5 | 2013 |
| ISEC: An information security engineering cloud L Xu, K Shi, Y Goto, J Cheng Software Engineering and Service Science (ICSESS), 2012 IEEE 3rd …, 2012 | 4 | 2012 |
| Making Existing Reactive Systems Anticipatory: Methodology and Case Studies K Shi | 2 | 2013 |
| An Anticipatory Reasoning-Reacting System for Defending Against Malice Anticipatorily K Shi, B Wang, Y Goto, Z Zhu, J Cheng 4th IEEE International Conference on Software Engineering and Service …, 2013 | 2 | 2013 |
| Generation of system dependence nets for Ada 2005 programs B Wang, K Shi, Y Goto, J Cheng Computer Science and Automation Engineering (CSAE), 2012 IEEE International …, 2012 | 1 | 2012 |
| World Model, Predictive Model, and Behavioral Model of an Anticipatory Reasoning-Reacting System for Runway Incursion Prevention K Shi, K Wagatsuma, Y Goto, J Cheng | 1* | |
| Making Existing Reactive Systems Anticipatory K Shi, Y Goto, Z Zhu, J Cheng "Computer and Information Science," Studies in Computational Intelligence …, 2013 | | 2013 |
| A Software Development Framework for Various Anticipatory Reasoning-Reacting Systems K Shi, Y Goto, J Cheng | | |
Yuichi GotoSaitama UniversityEmail verificata su mail.saitama-u.ac.jp
