FreeEnCal: A Forward Reasoning Engine with General-Purpose J Cheng, S Nara, Y Goto Knowledge-Based Intelligent Information and Engineering Systems, 444-452, 2007 | 82 | 2007 |
POP method: an approach to enhance the security and privacy of RFID systems used in product lifecycle with an anonymous ownership transferring mechanism KHS Sabaragamu Koralalage, SM Reza, J Miura, Y Goto, J Cheng Proceedings of the 2007 ACM symposium on Applied computing, 270-275, 2007 | 53 | 2007 |
Formal verification of security specifications with common criteria S Morimoto, S Shigematsu, Y Goto, J Cheng Proceedings of the 2007 ACM symposium on Applied computing, 1506-1512, 2007 | 43 | 2007 |
A security engineering environment based on ISO/IEC standards: providing standard, formal, and consistent supports for design, development, operation, and maintenance of secure … J Cheng, Y Goto, S Morimoto, D Horie 2008 International Conference on Information Security and Assurance (isa …, 2008 | 34 | 2008 |
ISEDS: An information security engineering database system based on ISO standards D Horie, S Morimoto, N Azimah, Y Goto, J Cheng 2008 Third International Conference on Availability, Reliability and …, 2008 | 33 | 2008 |
Anticipatory Reasoning about Mobile Objects in Anticipatory Reasoning‐Reacting Systems J Cheng, Y Goto, N Kitajima AIP Conference Proceedings 1051 (1), 244-254, 2008 | 32 | 2008 |
A systematic methodology for automated theorem finding H Gao, Y Goto, J Cheng Theoretical Computer Science 554, 2-21, 2014 | 29 | 2014 |
A new model of software life cycle processes for consistent design, development, management, and maintenance of secure information systems D Horie, T Kasahara, Y Goto, J Cheng 2009 Eighth IEEE/ACIS International Conference on Computer and Information …, 2009 | 27 | 2009 |
EPLAS: An epistemic programming language for all scientists I Takahashi, S Nara, Y Goto, J Cheng Computational Science–ICCS 2007: 7th International Conference, Beijing …, 2007 | 25 | 2007 |
GEST: A generator of ISO/IEC 15408 security target templates D Horie, K Yajima, N Azimah, Y Goto, J Cheng Computer and Information Science 2009, 149-158, 2009 | 21 | 2009 |
Efficient anticipatory reasoning for anticipatory systems with requirements of high reliability and high security Y Goto, S Nara, J Cheng International Journal of Computing Anticipatory Systems 14, 156-171, 2004 | 17 | 2004 |
A replication oriented approach to event based middleware over structured peer to peer networks MR Selim, Y Goto, J Cheng Proceedings of the 5th International Workshop on Middleware for Pervasive …, 2007 | 16 | 2007 |
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 Lecture Notes in Computer Science 9243, 508-517, 2015 | 15 | 2015 |
Practical implementation of EPLAS: an epistemic programming language for all scientists W Fang, I Takahashi, Y Goto, J Cheng 2011 International Conference on Machine Learning and Cybernetics 2, 608-616, 2011 | 15 | 2011 |
A Cooperative Grid Computing Approach to Automated Theorem Finding and Automated Problem Proposing J Cheng, Y Goto, S Nara, T Koh Knowledge-Based Intelligent Information and Engineering Systems, 840-851, 2007 | 15 | 2007 |
ENQUETE-BAISE: a general-purpose e-questionnaire server for ubiquitous questionnaire J Cheng, Y Goto, M Koide, K Nagahama, M Someya, Y Utsumi, ... The 2nd IEEE Asia-Pacific Service Computing Conference (APSCC 2007), 187-195, 2007 | 14 | 2007 |
A Prototype Implementation of an Anticipatory Reasoning‐Reacting System F Shang, S Nara, T Omi, Y Goto, J Cheng AIP Conference Proceedings 839 (1), 401-414, 2006 | 14 | 2006 |
QSL: A Specification Language for E-questionnaire Systems Y Zhou, Y Goto, J Cheng Proceedings of the 5th IEEE International Conference on Software Engineering …, 2014 | 13 | 2014 |
Development of ISEE: an information security engineering environment J Cheng, Y Goto, D Horie, J Miura, T Kasahara, A Iqbal 2009 IEEE International Symposium on Parallel and Distributed Processing …, 2009 | 13 | 2009 |
ISEE: An Information Security Engineering Environment J Cheng, Y Goto, D Horie International Conference on Security and Cryptography (SECRYPT '09), 395-400, 2009 | 13 | 2009 |