| 2020 | ACIIDS | A Knowledge Base for Industrial Control Network Security Analysis and Decision-Making with Reasoning Method. | Hongbiao Gao, Jiaming Liu, Jianbin Li, Jingde Cheng |
| 2019 | DASC | Industrial Control Network Security Analysis and Decision-Making by Reasoning Method Based on Strong Relevant Logic. | Hongbiao Gao, Jianbin Li, Jingde Cheng |
| 2019 | PAKDD | A Supporting Tool for IT System Security Specification Evaluation Based on ISO/IEC 15408 and ISO/IEC 18045. | Da Bao, Yuichi Goto, Jingde Cheng |
| 2018 | ACIIDS | A Memory-Efficient Algorithm with Level-Order Unary Degree Sequence for Forward Reasoning Engines. | Hiromu Hiidome, Yuichi Goto, Jingde Cheng |
| 2018 | UIC | Development of Supporting Environment for IT System Security Evaluation Based on ISO/IEC 15408 and ISO/IEC 18045. | Da Bao, Wen Sun, Yuichi Goto, Jingde Cheng |
| 2018 | UIC | An Undergraduate Curriculum Model for Intelligence Science and Technology. | Jingde Cheng, Runhe Huang, Qun Jin, Jianhua Ma, Yi Pan |
| 2018 | UIC | Measuring Interestingness of Theorems in Automated Theorem Finding by Forward Reasoning: A Case Study in Tarski's Geometry. | Hongbiao Gao, Jianbin Li, Jingde Cheng |
| 2018 | UIC | Primitive Constituent Elements of Cryptographic Protocols. | Sho Ishibashi, Jingchen Yan, Yuichi Goto, Jingde Cheng |
| 2018 | UIC | FreeEnCal Web: A Web Service of Automated Forward Reasoning for General-Purpose. | Takumi Otsuka, Kentaro Fukushi, Yuichi Goto, Jingde Cheng |
| 2018 | UIC | A Study on Fine-Grained Security Properties of Cryptographic Protocols for Formal Analysis Method with Reasoning. | Jingchen Yan, Sho Ishibashi, Yuichi Goto, Jingde Cheng |
| 2018 | UIC | Evaluation about the Descriptive Power of QSL: A Specification Language for E-Questionnaire, E-Testing, and E-Voting Systems. | Yuan Zhou, Daisuke Matsuura, Yuichi Goto, Jingde Cheng |
| 2017 | ACIIDS | Measuring Interestingness of Theorems in Automated Theorem Finding by Forward Reasoning: A Case Study in Peano's Arithmetic. | Hongbiao Gao, Jingde Cheng |
| 2017 | ACIIDS | A Predicate Suggestion Algorithm for Automated Theorem Finding with Forward Reasoning. | Yuichi Goto, Hongbiao Gao, Jingde Cheng |
| 2017 | ACIIDS | Anticipatory Runway Incursion Prevention Based on Inaccurate Position Surveillance Information. | Kai Shi, Hai Yu, Zhiliang Zhu, Jingde Cheng |
| 2016 | CIS | A Security Evaluation and Certification Management Database Based on ISO/IEC Standards. | Huilin Chen, Da Bao, Hongbiao Gao, Jingde Cheng |
| 2016 | CIS | Development of a General-Purpose Offline E-Testing Environment. | Hongbiao Gao, Zhe Wang, Yuan Zhou, Jingde Cheng |
| 2016 | CIS | Autonomous Evolution in Evolutionary Personal Information Partners: Mechanism and a Case Study. | Yifeng Han, Hongbiao Gao, Jingde Cheng |
| 2016 | CIS | A Formal Analysis Method with Reasoning for Cryptographic Protocols. | Jingchen Yan, Kazunori Wagatsuma, Hongbiao Gao, Jingde Cheng |
| 2015 | ACIIDS | Explicitly Epistemic Contraction by Predicate Abstraction in Automated Theorem Finding: A Case Study in NBG Set Theory. | Hongbiao Gao, Yuichi Goto, Jingde Cheng |
| 2015 | ACIIDS | A Bidirectional Transformation Supporting Tool for Formalization with Logical Formulas. | Shunsuke Nanaumi, Kazunori Wagatsuma, Hongbiao Gao, Yuichi Goto, Jingde Cheng |
| 2014 | ACIIDS | Computing Intentions Dynamically in a Changing World by Anticipatory Relevant Reasoning. | Jingde Cheng |
| 2013 | ACIIDS | Anticipatory Emergency Elevator Evacuation Systems. | Kai Shi, Yuichi Goto, Zhiliang Zhu, Jingde Cheng |
| 2013 | ACIIDS | Extending and Formalizing Bayesian Networks by Strong Relevant Logic. | Jianzhe Zhao, Ying Liu, Jingde Cheng |
| 2013 | CIS | An Analysis of Software Supportable Tasks Related with ISO/IEC 15408. | Ning Zhang, Ahmad Iqbal Hakim Suhaimi, Yuichi Goto, Jingde Cheng |
| 2013 | COCOON | Finding Theorems in NBG Set Theory by Automated Forward Deduction Based on Strong Relevant Logic. | Hongbiao Gao, Kai Shi, Yuichi Goto, Jingde Cheng |
| 2013 | ICMLC | Development of a supporting tool for translation between declarative sentences and logical formulas. | Shunsuke Nanaumi, Kazunori Wagatsuma, Yuichi Goto, Jingde Cheng |
| 2012 | ICMLC | Automated theorem finding by forward deduction based on strong relevant logic: A case study in NBG set theory. | Hongbiao Gao, Kai Shi, Yuichi Goto, Jingde Cheng |
| 2012 | ICMLC | Practical usage of freeencal: An automated forward reasoning engine for general-purpose. | Yuichi Goto, Hongbiao Gao, Takahiro Tsuji, Jingde Cheng |
| 2012 | ICMLC | Formal analysis of cryptographic protocols by reasoning based on deontic relevant logic: A case study in Needham-Schroeder Shared-Key protocol. | Kazunori Wagatsuma, Yuichi Goto, Jingde Cheng |
| 2011 | ENASE | MicroSSB: A Lightweight Framework for On-line Distributed Application based on Soft System Bus. | Jian Xiao, Jizhou Sun, Gang Li, Chun Li, Sen Li, Jingde Cheng |
| 2011 | ICMLC | Practical implementation of EPLAS: An Epistemic Programming Language for all scientists. | Wencheng Fang, Isao Takahashi, Yuichi Goto, Jingde Cheng |
| 2010 | ICMLC | Logic basis for anticipatory reasoning-reacting systems with three-dimensional moving objects. | Chun-Yan Han, Yixian Liu, Ji-Peng Liu, Zhiliang Liu, Dancheng Li, Zhiliang Zhu, Jingde Cheng |
| 2009 | HAIS | Development of a Decision-Maker in an Anticipatory Reasoning-Reacting System for Terminal Radar Control. | Natsumi Kitajima, Yuichi Goto, Jingde Cheng |
| 2009 | ISPA | Development of ISEE: An Information Security Engineering Environment. | Jingde Cheng, Yuichi Goto, Daisuke Horie, Junichi Miura, Toshio Kasahara, Ahmad Iqbal |
| 2009 | SECRYPT | ISEE: An Information Security Engineering Environment. | Jingde Cheng, Yuichi Goto, Daisuke Horie |
| 2008 | CIS | Evolutionary Personal Information Partners. | Jingde Cheng |
| 2008 | EUC | Testing and Debugging Persistent Computing Systems: A New Challenge in Ubiquitous Computing. | Jingde Cheng |
| 2008 | HIS | Adaptive Prediction by Anticipatory Reasoning Based on Temporal Relevant Logic. | Jingde Cheng |
| 2008 | KES | Deontic Relevant Logic as the Logical Basis for Representing and Reasoning about Legal Knowledge in Legal Information Systems. | Jingde Cheng |
| 2008 | KES | A General Forward Reasoning Algorithm for Various Logic Systems with Different Formalizations. | Yuichi Goto, Takahiro Koh, Jingde Cheng |
| 2008 | KES | A Fast Duplication Checking Algorithm for Forward Reasoning Engines. | Takahiro Koh, Yuichi Goto, Jingde Cheng |
| 2008 | SOFSEM | Classification, Formalization and Verification of Security Functional Requirements. | Shoichi Morimoto, Shinjiro Shigematsu, Yuichi Goto, Jingde Cheng |
| 2007 | APSCC | ENQUETE-BAISE: A General-Purpose E-Questionnaire Server for Ubiquitous Questionnaire. | Jingde Cheng, Yuichi Goto, Masato Koide, Keigo Nagahama, Masami Someya, Yusuke Utsumi, Ayaka Shionoiri |
| 2007 | CiE | Operational Semantics for Positive Relevant Logics Without Distribution. | Ying Gao, Jingde Cheng |
| 2007 | ICCS | A Security Specification Library with a Schemaless Database. | Shoichi Morimoto, Jingde Cheng |
| 2007 | ICCS | EPLAS: An Epistemic Programming Language for All Scientists. | Isao Takahashi, Shinsuke Nara, Yuichi Goto, Jingde Cheng |
| 2007 | KES | A Cooperative Grid Computing Approach to Automated Theorem Finding and Automated Problem Proposing. | Jingde Cheng, Yuichi Goto, Shinsuke Nara, Takahiro Koh |
| 2007 | KES | FreeEnCal: A Forward Reasoning Engine with General-Purpose. | Jingde Cheng, Shinsuke Nara, Yuichi Goto |
| 2007 | Middleware | A replication oriented approach to event based middleware over structured peer to peer networks. | Mohammad Reza Selim, Yuichi Goto, Jingde Cheng |
| 2007 | SAC | POP method: an approach to enhance the security and privacy of RFID systems used in product lifecycle with an anonymous ownership transferring mechanism. | K. H. S. Sabaragamu Koralalage, Mohammad Reza Selim, Junichi Miura, Yuichi Goto, Jingde Cheng |
| 2007 | SAC | Formal verification of security specifications with common criteria. | Shoichi Morimoto, Shinjiro Shigematsu, Yuichi Goto, Jingde Cheng |
| 2006 | ATC | Ubisafe Computing: Vision and Challenges (I). | Jianhua Ma, Qiangfu Zhao, Vipin Chaudhary, Jingde Cheng, Laurence Tianruo Yang, Runhe Huang, Qun Jin |
| 2006 | ICCS | A Web User Interface of the Security Requirement Management Database Based on ISO/IEC 15408. | Daisuke Horie, Shoichi Morimoto, Jingde Cheng |
| 2006 | ICCSA | A Security Requirement Management Database Based on ISO/IEC 15408. | Shoichi Morimoto, Daisuke Horie, Jingde Cheng |
| 2006 | SMC | Temporal Deontic Relevant Logic as the Logical Basis for Decision Making Based on Anticipatory Reasoning. | Jingde Cheng |
| 2006 | SAC | Deontic relevant logic as the logical basis for legal information systems. | Jingde Cheng |
| 2006 | SAC | A quantitative analysis of implicational paradoxes in classical mathematical logic. | Yuichi Goto, Jingde Cheng |
| 2006 | SAC | A security specification verification technique based on the international standard ISO/IEC 15408. | Shoichi Morimoto, Shinjiro Shigematsu, Yuichi Goto, Jingde Cheng |
| 2005 | AINA | Connecting Components with Soft System Buses: A New Methodology for Design, Development, and Maintenance of Reconfigurable, Ubiquitous, and Persistent Reactive Systems. | Jingde Cheng |
| 2005 | EJC | Strong Relevant Logic as the Universal Basis of Various Applied Logics for Knowledge Representation and Reasoning. | Jingde Cheng |
| 2005 | EUC | Security in Persistently Reactive Systems. | Takumi Endo, Junichi Miura, Koichi Nanashima, Shoichi Morimoto, Yuichi Goto, Jingde Cheng |
| 2005 | ICPADS | Comparing Persistent Computing with Autonomic Computing. | Jingde Cheng |
| 2005 | ICTAI | Spatio-Temporal Relevant Logic as the Logical Basis for Spatio-Temporal Information Systems. | Jingde Cheng |
| 2005 | ISMIS | Anticipatory Agents Based on Anticipatory Reasoning. | Feng Shang, Jingde Cheng |
| 2005 | KES | Reciprocal Logic: Logics for Specifying, Verifying, and Reasoning About Reciprocal Relationships. | Jingde Cheng |
| 2005 | KES | Autonomous and Continuous Evolution of Information Systems. | Jingde Cheng |
| 2005 | KES | A General-Purpose Forward Deduction Engine for Modal Logics. | Shinsuke Nara, Takashi Omi, Yuichi Goto, Jingde Cheng |
| 2004 | ER | Spatio-temporal Relevant Logic as the Logical Basis for Specifying, Verifying, and Reasoning About Mobile Multi-agent Systems. | Jingde Cheng |
| 2004 | ER | Representing and Reasoning About Spatial Knowledge Based on Spatial Relevant Logic. | Jingde Cheng, Yuichi Goto |
| 2003 | KES | Automated Knowledge Acquisition by Relevant Reasoning Based on Strong Relevant Logic. | Jingde Cheng |
| 2002 | CW | Extensible Requirements Patterns of Web Application for Efficient Web Application Development. | Romi Satria Wahono, Jingde Cheng |
| 2002 | PRICAI | Deontic Relevant Logic: A Strong Relevant Logic Approach to Removing Paradoxes from Deontic Logic. | Takahiro Tagawa, Jingde Cheng |
| 2001 | APSEC | A Run-Time Deadlock Detector for Concurrent Java Programs. | Yusuke Nonaka, Kazuo Ushijima, Hibiki Serizawa, Shigeru Murata, Jingde Cheng |
| 2001 | COMPSAC | CLPKIDS: A Program Analysis System for Concurrent Logic Programs. | Jianjun Zhao, Jingde Cheng, Kazuo Ushijima |
| 2000 | APSEC | Monitoring facilities in languages supporting development of concurrent self-measurement programs. | Yusuke Nonaka, Kazuo Ushijima, Jingde Cheng |
| 1999 | APSEC | A System Dependence Net Generator for Ada Programs. | Yusuke Nonaka, Katsuhiko Hatano, Yoshinari Nomura, Jingde Cheng, Kazuo Ushijima |
| 1999 | EJC | A Strong Relevant Logic Model of Epistemic Processes in Scientific Discovery. | Jingde Cheng |
| 1999 | PAKDD | A Strong Relevant Logic Model of Epistemic Processes in Scientific Discovery (Extended Abstract). | Jingde Cheng |
| 1998 | DIS | A Strong Relevant Logic Model of Epistemic Processes in Schientific Discovery. | Jingde Cheng |
| 1998 | SMC | Temporal relevant logic as the logic basis for reasoning about dynamics of concurrent systems. | Jingde Cheng |
| 1998 | SMC | The self-measurement principle: a design principle for large-scale, long-lived, and highly reliable concurrent systems. | Jingde Cheng |
| 1996 | COMPSAC | Static Slicing of Concurrent Object-Oriented Programs. | Jianjun Zhao, Jingde Cheng, Kazuo Ushijima |
| 1996 | ICPADS | Program dependence analysis of concurrent logic programs and its applications. | Jianjun Zhao, Jingde Cheng, Kazuo Ushijima |
| 1995 | APSEC | An Integrated Support Environment for Distributed Software Development based on Unified Program Representations. | Yoshiaki Kasahara, Yoshinari Nomura, Masayuki Kamachi, Jingde Cheng, Kazuo Ushijima |
| 1995 | ICLP | Program Dependence Analysis of Concurrent Logic Programs and Its Applications. | Jianjun Zhao, Jingde Cheng, Kazuo Ushijima |
| 1993 | COMPSAC | Process dependence net of distributed programs and its applications in development of distributed systems. | Jingde Cheng |
| 1993 | ICPP | Dependence-Based Complexity Metrics for Distributed Programs. | Jingde Cheng |
| 1993 | ISSRE | Complexity metrics for distributed programs. | Jingde Cheng |
| 1991 | COMPSAC | A tasking deadlock detector for Ada programs. | Jingde Cheng, Yoshiaki Kasahara, Kazuo Ushijima |
| 1989 | COMPSAC | Entailment as a logical basis for incremental generation of causal relations. | Jingde Cheng, Kazuo Ushijima |