Follow
Yuichi Goto
Title
Cited by
Cited by
Year
FreeEnCal: A Forward Reasoning Engine with General-Purpose
J Cheng, S Nara, Y Goto
Knowledge-Based Intelligent Information and Engineering Systems, 444-452, 2007
812007
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
512007
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
432007
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
332008
Anticipatory Reasoning about Mobile Objects in Anticipatory Reasoning‐Reacting Systems
J Cheng, Y Goto, N Kitajima
AIP Conference Proceedings 1051 (1), 244-254, 2008
322008
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
322008
A systematic methodology for automated theorem finding
H Gao, Y Goto, J Cheng
Theoretical Computer Science 554, 2-21, 2014
282014
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
272009
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
252007
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
212009
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
162007
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
162004
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
152011
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
152007
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
142015
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
142007
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
142006
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
132014
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
132009
ISEE: An Information Security Engineering Environment
J Cheng, Y Goto, D Horie
International Conference on Security and Cryptography (SECRYPT '09), 395-400, 2009
132009
The system can't perform the operation now. Try again later.
Articles 1–20