Kenichi Yajima, Shoichi Morimoto, Daisuke Horie, Noor Shelia Azreen, Yuichi Goto, and Jingde Cheng: FORVEST: A Support Tool for Formal Verification of Security Specifications with ISO/IEC 15408, Proceedings of the 4th International Conference on Availability, Reliability and Security (ARES '09), pp. 624-629, Fukuoka, Japan, IEEE Computer Society Press, March 2009. (PDF), (IEEE-CS Digital Library)
Youcheng Chen, Mohammad Reza Selim, Yuichi Goto, and Jingde Cheng: An Improvement of REM: A Replication Oriented Event-based Middleware, Proceedings of the 4th International Conference on Availability, Reliability and Security (ARES '09), pp. 641-646, Fukuoka, Japan, IEEE Computer Society Press, March 2009. (PDF), (IEEE-CS Digital Library)
Daisuke Horie, Kenichi Yajima, Noor Azimah, Yuichi Goto, and Jingde Cheng: GEST: A Generator of ISO/IEC 15408 Security Target Templates, in R. Lee, G. Hu, and H. Miao (Eds.), "Computer and Information Science 2009," Studies in Computational Intelligence, Vol. 208, pp. 149-158, Springer-Verlag, May 2009. (PDF), (SpringerLINK)
Daisuke Horie, Toshio Kasahara, Yuichi Goto, and Jingde Cheng: A New Model of Software Life Cycle Processes for Consistent Design, Development, Management, and Maintenance of Secure Information Systems, Proceedings of the 8th IEEE/ACIS International Conference on Computer and Information Science (ICIS '09), pp. 897-902, Shanghai, China, IEEE Computer Society Press, June 2009. (PDF), (IEEE-CS Digital Library)
Natsumi Kitajima, Yuichi Goto, and Jingde Cheng: Development of a Decision-Maker in an Anticipatory Reasoning-Reacting System for Terminal Radar Control, in E. Corchado, X. Wu, and E. Oja (Eds.), "Hybrid Artificial Intelligence Systems, 4th International Conference, HAIS09, Salamanca, Spain, June 10-12, Proceedings," Lecture Notes in Artificial Intelligence (Subseries of Lecture Notes in Computer Science), Vol. 5572, pp. 68-76, Springer-Verlag, June 2009. (PDF), (SpringerLINK)
Jingde Cheng, Yuichi Goto, and Daisuke Horie: ISEE: An Information Security Engineering Environment, Proceedings of International Conference on Security and Cryptography (SECRYPT '09), pp. 395-400, Milan, Italy, INSTICC Press, July 2009. (Prof. Cheng's Page)
Yuichi Goto, Ryota Kuboniwa, and Jingde Cheng: Development and Maintenance Environment for Anticipatory Reasoning-Reacting Systems, Abstract Book of the Ninth International Conference on Computing Anticipatory Systems (CASYS '09), Symposium 4, p. 8, Liege, Belgium, CHAOS, August 2009.
Takahiro Koh, Yuichi Goto, and Jingde Cheng: Fast Anticipatory Reasoning for Computing Anticipatory Systems, Abstract Book of the Ninth International Conference on Computing Anticipatory Systems (CASYS '09), Symposium 4, p. 5, Liege, Belgium, CHAOS, August 2009.
Jingde Cheng, Yuichi Goto, Daisuke Horie, Junichi Miura, Toshio Kasahara, and Ahmad Iqbal, Development of ISEE: An Information Security Engineering Environment, Proceedings of the 7th IEEE International Symposium on Parallel and Distributed Processing with Applications (ISPA '09), pp. 505-510, Chengdu, China, IEEE Computer Society Press, August 2009. (Prof. Cheng's Page), (IEEE-CS Digital Library)
Ahmad Iqbal, Daisuke Horie, Yuichi Goto, and Jingde Cheng: A Database System for Effective Utilization of ISO/IEC 27002, Proceedings of the 4th International Conference on Frontier of Computer Science and Technology (FCST '09), pp. 607-612, Shanghai, China, IEEE Computer Society Press, December 2009. (PDF), (IEEE-CS Digital Library)
Yuichi Goto and Jingde Cheng: Information Assurance, Privacy, and Security in Ubiquitous Questionnaire, Proceedings of the 4th International Conference on Frontier of Computer Science and Technology (FCST '09), pp. 619-624, Shanghai, China, IEEE Computer Society Press, December 2009. (PDF), (IEEE-CS Digital Library)
Shoichi Morimoto, Shinjiro Shigematsu, Yuichi Goto, and Jingde Cheng: Classification, Formalization and Verification of Security Functional Requirements, in V. Geffert et al. (Eds.), "SOFSEM 2008: Theory and Practice of Computer Science, 34th Conference on Current Trends in Theory and Practice of Computer Science, Novy Smokovec, High Tatras, Slovakia, January 19-25, 2008, Proceedings," Lecture Notes in Computer Science, Vol. 4910, pp. 622-633, Springer-Verlag, January 2008. (PDF), (SpringerLINK)
Natsumi Kitajima, Yuichi Goto, and Jingde Cheng: Fast Qualitative Reasoning about Actions for Computing Anticipatory Systems, Proceedings of the 3rd International Conference on Availability, Reliability and Security (ARES '08), pp. 171-178, Barcelona, Spain, IEEE Computer Society Press, March 2008. (PDF), (IEEE-CS Digital Library)
Daisuke Horie, Shoichi Morimoto, Noor Azimah, Yuichi Goto, and Jingde Cheng: ISEDS: An Information Security Engineering Database System Based on ISO Standards, Proceedings of the 3rd International Conference on Availability, Reliability and Security (ARES '08), pp. 1219-1225, Barcelona, Spain, IEEE Computer Society Press, March 2008. (PDF), (IEEE-CS Digital Library)
Jingde Cheng, Yuichi Goto, Shoichi Morimoto, and Daisuke Horie: A Security Engineering Environment Based on ISO/IEC Standards: Providing Standard, Formal, and Consistent Supports for Design, Development, Operation, and Maintenance of Secure Information Systems, Proceedings of the 2nd International Conference on Information Security and Assurance (ISA '08), pp. 350-354, Busan, Korea, IEEE Computer Society Press, April 2008. (Prof. Cheng's Page), (IEEE-CS Digital Library)
Mohammad Reza Selim, Yuichi Goto, and Jingde Cheng: Ensuring Reliability and Availability of Soft System Bus, Proceedings of the 2nd IEEE International Conference on Secure System Integration and Reliability Improvement (SSIRI '08), pp. 52-59, Yokohama, Japan, The IEEE Reliability Society and The IEEE Systems, Man, and Cybernetics Society, July 2008. (PDF), (IEEE-CS Digital Library)
Mohammad Reza Selim, Yuichi Goto, and Jingde Cheng: A Low Cost and Resilient Message Queuing Middleware, International Journal of Computer Science and Network Security, Vol. 8, No. 8, pp. 225-237, August 2008. (PDF), (IJCSNS.org)
Takahiro Koh, Yuichi Goto, and Jingde Cheng: A Fast Duplication Checking Algorithm for Forward Reasoning Engines, in I. Lovrek, R. J. Howlett, and L. C. Jain (Eds.), "Knowledge-Based Intelligent Information and Engineering Systems, 12th International Conference, KES 2008, Zagreb, Croatia, September 3-5, 2008, Proceedings," Lecture Notes in Artificial Intelligence (Subseries of Lecture Notes in Computer Science), Vol. 5178, pp. 499-507, Springer-Verlag, September 2008. (PDF), (SpringerLINK)
Yuichi Goto, Takahiro Koh, and Jingde Cheng: A General Forward Reasoning Algorithm for Various Logic Systems with Different Formalizations, in I. Lovrek, R. J. Howlett, and L. C. Jain (Eds.), "Knowledge-Based Intelligent Information and Engineering Systems, 12th International Conference, KES 2008, Zagreb, Croatia, September 3-5, 2008, Proceedings, Part II," Lecture Notes in Artificial Intelligence (Subseries of Lecture Notes in Computer Science), Vol. 5178, pp. 526-535, Springer-Verlag, September 2008. (PDF), (SpringerLINK)
Jingde Cheng, Yuichi Goto, and Natsumi Kitajima: Anticipatory Reasoning about Mobile Objects in Anticipatory Reasoning-Reacting Systems, in D. M. Dubois (Ed.), "Computing Anticipatory Systems: CASYS 2007 - Eighth International Conference, Liege, Belgium, 6-11 August 2007," AIP Conference Proceedings, Vol. 1051, pp. 244-254, American Institute of Physics, November 2008. (Best Paper Award awarded at the Eighth International Conference on Computing Anticipatory Systems) (Prof. Cheng's Page), (AIP Conference Proceedings）
Natsumi Kitajima, Shisuke Nara, Yuichi Goto, and Jingde Cheng: A Deontic Relevant Logic Approach to Reasoning about Actions in Computing Anticipatory Systems, International Journal of Computing Anticipatory Systems, Vol. 20, pp. 177-190, CHAOS, December 2008. (PDF)
Yuichi Goto, Takumi Endo, and Jingde Cheng: Continuous Reactability of Persistent Computing Systems, International Journal of Computing Anticipatory Systems, Vol. 20, pp. 219-229, CHAOS, December 2008. (PDF)
Yuichi Goto and Jingde Cheng: A Quantitative Analysis of Implicational Paradoxes in Classical Mathematical Logic, Electronic Notes in Theoretical Computer Science, "Proceedings of the Workshop on Logic, Model and Computer Science (LMCS06), Camerino, Italy, 20-22 April 2006," Vol. 169, pp. 87-97, Elsevier B.V., March 2007. (PDF), (ScienceDirect)
Shoichi Morimoto, Shinjiro Shigematsu, Yuichi Goto, and Jingde Cheng: Formal Verification of Security Specifications with Common Criteria, Proceedings of the 22nd Annual ACM Symposium on Applied Computing (SAC'07), pp. 1506-1512, Seoul, Korea, ACM, March 2007. (PDF), (ACM Portal)
Isao Takahashi, Shinsuke Nara, Yuichi Goto, and Jingde Cheng: EPLAS: An Epistemic Programming Language for All Scientists, in Y. Shi (Eds.), "Computational Science - ICCS 2007: 7th International Conference, Beijing, China, May 27-30, 2007, Proceedings, Part I," Lecture Notes in Computer Science, Vol. 4487, pp. 406-413, Springer-Verlag, May 2007. (PDF), (SpringerLINK)
Mohammad Reza Selim, Takumi Endo, Yuichi Goto, and Jingde Cheng: Distributed Hash Table Based Design of Soft System Buses, Proceedings of the 2nd International Conference on Scalable Information Systems (INFOSCALE '07), Suzhou, China, ACM, June 2007. (PDF), (ACM Portal)
Natsumi Kitajima, Shisuke Nara, Yuichi Goto, and Jingde Cheng: A Deontic Relevant Logic Approach to Reasoning about Actions in Computing Anticipatory Systems, 8th International Conference on Computing Anticipatory Systems (CASYS'07), Symposium 2, p. 12, Liege, Belgium, CHAOS, August 2007.
Yuichi Goto, Takumi Endo, and Jingde Cheng: Continuous Reactability of Persistent Computing Systems, 8th International Conference on Computing Anticipatory Systems (CASYS '07), Symposium 4, p. 11, Liege, Belgium, CHAOS, August 2007.
Jingde Cheng, Yuichi Goto, and Natsumi Kitajima: Anticipatory Reasoning about Mobile Objects in Anticipatory Reasoning-Reacting Systems, 8th International Conference on Computing Anticipatory Systems (CASYS '07), Symposium 4, p. 13, Liege, Belgium, CHAOS, August 2007.
Jingde Cheng, Shinsuke Nara, and Yuichi Goto: FreeEnCal: A Forward Reasoning Engine with General-Purpose, in B. Apolloni, R. J. Howlett, and L. C. Jain (Eds.), "Knowledge-Based Intelligent Information and Engineering Systems, 11th International Conference, KES 2007, XVII Italian Workshop on Neural Networks, Vietri sul Mare, Italy, September 12-14, 2007, Proceedings, Part II," Lecture Notes in Artificial Intelligence (Subseries of Lecture Notes in Computer Science), Vol. 4693, pp. 444-452, Springer-Verlag, September 2007. (Prof. Cheng's Page), (SpringerLINK)
Jingde Cheng, Yuichi Goto, Shinsuke Nara, and Takahiro Koh: A Cooperative Grid Computing Approach to Automated Theorem Finding and Automated Problem Proposing, in B. Apolloni, R. J. Howlett, and L. C. Jain (Eds.), "Knowledge-Based Intelligent Information and Engineering Systems, 11th International Conference, KES 2007, XVII Italian Workshop on Neural Networks, Vietri sul Mare, Italy, September 12-14, 2007, Proceedings, Part II," Lecture Notes in Artificial Intelligence (Subseries of Lecture Notes in Computer Science), Vol. 4693, pp. 840-851, Springer-Verlag, September 2007. (Prof. Cheng's Page), (SpringerLINK)
Mohammad Reza Selim, Yuichi Goto, and Jingde Cheng: A Replication Oriented Approach to Event Based Middleware Over Structured Peer to Peer Networks, Proceedings of the 5th International Workshop on Middleware for Pervasive and Ad-Hoc Computing, A Workshop of ACM/IFIP/USENIX 8th International Middleware Conference (MPAC 2007 of Middleware 2007), pp. 61-66, Newport Beach, USA, ACM Press, November 2007. (PDF), (ACM Portal)
Takumi Endo, Yuichi Goto, and Jingde Cheng: Measuring Reactability of Persistent Computing Systems, in M. Lumpe and W. Vanderperren (Eds.), "Software Composition: 6th International Symposium, SC 2007, Braga, Portugal, March 24-25, 2007, Revised Selected Papers," Lecture Notes in Computer Science, Vol. 4829, pp. 144-151, Springer-Verlag, December 2007. (PDF), (SpringerLINK)
Jingde Cheng, Yuichi Goto, Masato Koide, Keigo Nagahama, Masami Someya, Yusuke Utsumi, and Ayaka Shionoiri: ENQUETE-BAISE: A General-Purpose E-Questionnaire Server for Ubiquitous Questionnaire, Proceedings of the 2nd IEEE Asia-Pacific Services Computing Conference (APSCC '07), pp. 187-194, Tsukuba, Japan, IEEE Computer Society Press, December 2007. (Best Paper Award) (Prof. Cheng's Page), (IEEE-CS Digital Library)
Yuichi Goto and Jingde Cheng: A Quantitative Analysis of Implicational Paradoxes in Classical Mathematical Logic, Proceedings of the 21st Annual ACM Symposium on Applied Computing (SAC'06), pp. 42-43, Dijon, France, April 2006. (Short paper) (PDF), (ACM Portal)
Shoichi Morimoto, Shinjiro Shigematsu, Yuichi Goto, and Jingde Cheng: A Security Specification Verification Technique Based on the International Standard ISO/IEC 15408, Proceedings of the 21st Annual ACM Symposium on Applied Computing (SAC'06), pp. 1802-1803, Dijon, France, April 2006. (PDF), (ACM Portal)
Feng Shang, Shinsuke Nara, Takashi Omi, Yuichi Goto, and Jingde Cheng: A Prototype Implementation of an Anticipatory Reasoning-Reacting System, in D. M. Dubois (Ed.), "Computing Anticipatory Systems: CASYS 2005 - Seventh International Conference, Liege, Belgium, 8-13 August 2005," AIP Conference Proceedings, Vol. 839, pp. 401-414, American Institute of Physics, June 2006. (PDF), (AIP Conference Proceedings)
Jingde Cheng, Yuichi Goto, Masami Someya, and Takumi Endo: Persistent Computing Systems as an Infrastructure for Pervasive Services, Proceedings of the 1st International Symposium on Pervasive Computing and Applications (SPCA'06), pp. 104-109, Urumchi, China, IEEE Computer Society, August 2006. (PDF), (IEEE Xplore)
Mohammad Reza Selim, Takumi Endo, Yuichi Goto, and Jingde Cheng: A Comparative Study between Soft System Bus and Traditional Middlewares, in R. Meersman, Z. Tari, P. Herrero et al. (Eds.), "On the Move to Meaningful Internet Systems and Ubiquitous Computing 2006: OTM 2006 Workshops, Montpellier, France, October 30 - November 3, 2006, Proceedings," Lecture Notes in Computer Science, Vol. 4278, pp. 1264-1273, Springer-Verlag, October 2006. (PDF), (SpringerLINK)
Jingde Cheng, Shinsuke Nara, Takahiro Koh, and Yuichi Goto: The Theory Grid and Grid Theorists, Proceedings of the 2nd International Conference on Semantics, Knowledge and Grid (SKG '06), Guilin, China, IEEE Computer Society, November 2006. (Prof. Cheng's Page), (IEEE-CS Digital Library)
Shinsuke Nara, Feng Shang, Takashi Omi, Yuichi Goto, and Jingde Cheng: An Anticipatory Reasoning Engine for Anticipatory Reasoning-Reacting Systems, International Journal of Computing Anticipatory Systems, Vol. 18, pp. 225-234, CHAOS, December 2006. (PDF)
Yasushi Tojo, Shinsuke Nara, Yuichi Goto, and Jingde Cheng: Tasking Deadlocks in Programs with the Full Ada 95, ACM Ada Letters, Vol. 25, No. 1, pp. 48-56, March 2005. (PDF), (ACM Portal)
Takumi Endo, Junichi Miura, Koichi Nanashima, Shoichi Morimoto, Yuichi Goto, and Jingde Cheng: Security Issues in Persistently Reactive Systems (Fast Abstract), Supplement of the IEEE-CS 2005 International Conference on Dependable Systems and Networks (DSN'05), pp. 56-57, Yokohama, Japan, June 2005. (PDF)
Feng Shang, Shinsuke Nara, Takashi Omi, Yuichi Goto, and Jingde Cheng: A Prototype Implementation of an Anticipatory Reasoning-Reacting System, Abstract Book of the 7th International Conference on Computing Anticipatory Systems (CASYS'05), Symposium 4, p. 4, Liege, Belgium, August 2005.
Shinsuke Nara, Feng Shang, Takashi Omi, Yuichi Goto, and Jingde Cheng: An Anticipatory Reasoning Engine for Anticipatory Reasoning-Reacting Systems, Abstract Book of the 7th International Conference on Computing Anticipatory Systems (CASYS'05), Symposium 5, p. 5, Liege, Belgium, August 2005.
Shinsuke Nara, Takashi Omi, Yuichi Goto, and Jingde Cheng: A General-purpose Forward Deduction Engine for Modal Logics, in R. Khosla, R. J. Howlett, and L. C. Jain (Eds.), "Knowledge-Based Intelligent Information and Engineering Systems, 9th International Conference, KES 2005, Melbourne, Australia, 14-16 September, 2005, Proceedings, Part II," Lecture Notes in Artificial Intelligence (Subseries of Lecture Notes in Computer Science), Vol. 3682, pp. 739-745, Springer-Verlag, September 2005. (PDF), (SpringerLink)
Takumi Endo, Junichi Miura, Koichi Nanashima, Shoichi Morimoto, Yuichi Goto, and Jingde Cheng: Security in Persistently Reactive Systems, in T. Enokido, L. Yan, B. Xiao, D. Kim, Y. Dai, L. T. Yang (Eds.), "Embedded and Ubiquitous Computing: EUC 2005 Workshops: UISW, NCUS, SecUbiq, USN, and TAUES, Nagasaki, Japan, December 6-9, 2005, Proceedings," Lecture Notes in Computer Science, Vol. 3823, pp. 874-883, Springer-Verlag, December 2005. (PDF), (SpringerLink)
Jingde Cheng and Yuichi Goto: Representing and Reasoning about Spatial Knowledge Based on Spatial Relevant Logic, in S. Wang, K. Tanaka, et al. (Eds.), "Conceptual Modeling for Advanced Application Domains, ER 2004 Workshops CoMoGIS, CoMWIM, ECDM, CoMoA, DGOV, and eCOMO, Shanghai, China, November 2004, Proceedings," Lecture Notes in Computer Science, Vol. 3289, pp. 114-126, Springer-Verlag, November 2004. (Prof. Cheng's Page), (SpringerLINK)
Yuichi Goto, Shinsuke Nara, and Jingde Cheng: Efficient Anticipatory Reasoning for Anticipatory Systems with Requirements of High Reliability and High Security, International Journal of Computing Anticipatory Systems, Vol. 14, pp. 156-171, CHAOS, December 2004. (PDF)
Jingde Cheng, Naoki Akimoto, Yuichi Goto, Masato Koide, Kouichi Nanashima, and Shinsuke Nara, "HILBERT: An Autonomous Evolutionary Information System for Teaching and Learning Logic," in C. P. Constantinou and Z. C. Zacharia (Eds.), "Computer Based Learning in Science, Conference Proceedings 2003, 6th International Conference, Nicosia, Cyprus, 5-10 July 2003," Vol. 1, pp. 245-254, University of Cyprus, July 2003. (Prof. Cheng's Page), （SUCRA）
Ru Lu, Feng Shang, Yuichi Goto, and Jingde Cheng: A Digital Reference Room for E-learning, Proceedings of the 1st International Conference on Knowledge Economy and Development of Science and Technology (International Workshop on Research Directions and Challenge Problems in Advanced Information Systems Engineering) (KEST'03), pp. 17-21, Honjo, Japan, September 2003. (PDF)
Yuichi Goto, Takahiro Koh, and Jingde Cheng: A Comparative Study on Paradoxical Conditionals in Classical Mathematical Logic, Relevant Logics, and Strong Relevant Logics, Proceedings of the 1st International Conference on Knowledge Economy and Development of Science and Technology (International Workshop on Research Directions and Challenge Problems in Advanced Information Systems Engineering) (KEST'03), pp. 69-75, Honjo, Japan, September 2003. (PDF)
Shinsuke Nara, Yuichi Goto, and Jingde Cheng: Efficient Forward Deduction for Discovery and Prediction by Parallel Processing, Proceedings of the 1st International Conference on Knowledge Economy and Development of Science and Technology (International Workshop on Research Directions and Challenge Problems in Advanced Information Systems Engineering) (KEST'03), pp. 76-82, Honjo, Japan, September 2003. (PDF)
Xiaobin Wang, Yuichi Goto, Shinsuke Nara, and Jingde Cheng: Automated Theorem Finding by Forward Deduction Based on Strong Relevant Logic: A Case Study in NBG Set Theory, Proceedings of the 1st International Conference on Knowledge Economy and Development of Science and Technology (International Workshop on Research Directions and Challenge Problems in Advanced Information Systems Engineering) (KEST'03), pp. 83-91, Honjo, Japan, September 2003. (PDF)
Yuichi Goto, Daisuke Takahashi, and Jingde Cheng: Improving Performance of Automated Forward Deduction System EnCal on Shared-Memory Paralell Computers, Proceedings of the 3rd International Conference on Parallel and Distributed Computing, Applications and Technologies (PDCAT'02), Kanazawa, Japan, pp. 63-68, September 2002. (PDF)
Jingde Cheng and Yuichi Goto: A Strong Relevant Logic Approach to the Calculus of Fuzzy Conditionals, in D. Ruan, P. D'hondt, and E. E. Kerre (Ed.), "Computational Intelligent Systems for Applied Research," pp. 66-74, World Scientific, September 2002. (PDF)
Sinsuke Nara, Yuichi Goto, Daisuke Takahashi, and Jingde Cheng: Parallel Forward Deduction System for General-Purpose Entailment Calculus on Clusters of PCs, Proceedings of the IASTED International Conference on Networks, Parallel and Distributed Processing, and Applications (NPDPA'02), pp. 359-364, Tsukuba, Japan, October 2002. (PDF)
Yuichi Goto, Daisuke Takahashi and Jingde Cheng: Parallel Forward Deduction Algorithms of General-Purpose Entailment Calculus on Shared-Memory Parallel Computers, Proceedings of the 2nd ACIS International Conference on Software Engineering, Artificial Intelligence, Networking & Parallel/Distributed Computing (SNPD'01), pp. 168-175, Nagoya, Japan, August 2001. (PDF)
後藤 祐一: Automated Forward Deduction Based on Strong Relevant Logics and Its Applications（強相関論理に基づいた自動前向き演繹とその応用）, Doctorial Dissertation, Graduate School of Science and Engineering, Saitama University, March 2005.