Entailment as a logical basis for incremental generation of causal relations. - Jingde Cheng; Kazuo Ushijima (COMPSAC, 1989)

Task-wait-for graphs and their application to handling tasking deadlocks. - Jingde Cheng (TRI-Ada, 1990)

An Algebraic Semantics of Notional Entailment Logic Cn. - Jingde Cheng (Inf. Process. Lett., 1990)

Logical tool of knowledge engineering: using entailment logic rather than mathematical logic. - Jingde Cheng (ACM Conference on Computer Science, 1991)

Analyzing Ada Tasking Deadlocks and Livelocks Using Extended Petri Nets. - Jingde Cheng; Kazuo Ushijima (Ada-Europe, 1991)

A tasking deadlock detector for Ada programs. - Jingde Cheng; Yoshiaki Kasahara; Kazuo Ushijima (COMPSAC, 1991)

A General Framework for Debugging. - Keijiro Araki; Zengo Furukawa; Jingde Cheng (IEEE Softw., 1991)

Relevance Logic and Entailment Logic. - Jingde Cheng (Software Science and Engineering, 1991)

Task Dependence Net as a Representation for Concurrent Ada Programs. - Jingde Cheng (Ada-Europe, 1992)

Slicing Concurrent Programs - A Graph-Theoretical Approach. - Jingde Cheng (AADEBUG, 1993)

Process dependence net of distributed programs and its applications in development of distributed systems. - Jingde Cheng (COMPSAC, 1993)

Dependence-Based Complexity Metrics for Distributed Programs. - Jingde Cheng (ICPP (2), 1993)

Complexity metrics for distributed programs. - Jingde Cheng (ISSRE, 1993)

Nondeterministic Parallel Control-Flow / Definition-Use Nets and their Applications. - Jingde Cheng (PARCO, 1993)

An Integrated Support Environment for Distributed Software Development based on Unified Program Representations. - Yoshiaki Kasahara; Yoshinari Nomura; Masayuki Kamachi; Jingde Cheng; Kazuo Ushijima (APSEC, 1995)

Program Dependence Analysis of Concurrent Logic Programs and Its Applications. - Jianjun Zhao 001; Jingde Cheng; Kazuo Ushijima (ICLP, 1995)

Tasking Deadlocks in Ada 95 Programs and Their Detection. - Jingde Cheng; Kazuo Ushijima (Ada-Europe, 1996)

ALPS-JI: An Annotated Logic Programming System with Hypothetical Implications (Abstract). - Kazuaki Goshi; Jingde Cheng; Kazuo Ushijima (ASIAN, 1996)

Static Slicing of Concurrent Object-Oriented Programs. - Jianjun Zhao 001; Jingde Cheng; Kazuo Ushijima (COMPSAC, 1996)

EnCal: an automated forward deduction system for general-purpose entailment calculus. - Jingde Cheng (IFIP World Conference on IT Tools, 1996)

Dependence Analysis of Parallel and Distributed Programs and Its Applications. - Jingde Cheng (APDC, 1997)

Improving the Performance of Automated Forward Deduction System EnCal. - Kazunori Nishi; Jingde Cheng; Kazuo Ushijima (ISHPC, 1997)

Task Dependence Nets for Concurrent Systems with Ada 95 and Its Applications. - Jingde Cheng (TRI-Ada, 1997)

A Dependence-Based Representation for Concurrent Object-Oriented Software Maintenance. - Jianjun Zhao 001; Jingde Cheng; Kazuo Ushijima (CSMR, 1998)

A Metrics Suite for Concurrent Logic Programs. - Jianjun Zhao 001; Jingde Cheng; Kazuo Ushijima (CSMR, 1998)

A Strong Relevant Logic Model of Epistemic Processes in Schientific Discovery. - Jingde Cheng (Discovery Science, 1998)

Temporal relevant logic as the logic basis for reasoning about dynamics of concurrent systems. - Jingde Cheng (SMC, 1998)

The self-measurement principle: a design principle for large-scale, long-lived, and highly reliable concurrent systems. - Jingde Cheng (SMC, 1998)

A System Dependence Net Generator for Ada Programs. - Yusuke Nonaka; Katsuhiko Hatano; Yoshinari Nomura; Jingde Cheng; Kazuo Ushijima (APSEC, 1999)

A Strong Relevant Logic Model of Epistemic Processes in Scientific Discovery. - Jingde Cheng (EJC, 1999)

A Strong Relevant Logic Model of Epistemic Processes in Scientific Discovery (Extended Abstract). - Jingde Cheng (PAKDD, 1999)

A Supporting Tool for Development of Self-Measurement Ada Programs. - Yusuke Nonaka; Jingde Cheng; Kazuo Ushijima (Ada-Europe, 2000)

Monitoring facilities in languages supporting development of concurrent self-measurement programs. - Yusuke Nonaka; Kazuo Ushijima; Jingde Cheng (APSEC, 2000)

Designing, developing, and maintaining concurrent systems based on self-measurement principle. - Jingde Cheng (IRMA Conference, 2000)

Temporal relevant logic as the logical basis of autonomous evolutionary information systems. - Jingde Cheng (IRMA Conference, 2000)

Computing Executable Slices for Concurrent Logic Programs. - Jianjun Zhao 001; Jingde Cheng; Kazuo Ushijima (APAQS, 2001)

A Run-Time Deadlock Detector for Concurrent Java Programs. - Yusuke Nonaka; Kazuo Ushijima; Hibiki Serizawa; Shigeru Murata; Jingde Cheng (APSEC, 2001)

CLPKIDS: A Program Analysis System for Concurrent Logic Programs. - Jianjun Zhao 001; Jingde Cheng; Kazuo Ushijima (COMPSAC, 2001)

A Program Dependence Model for Concurrent Logic Programs and its Applications. - Jianjun Zhao 001; Jingde Cheng; Kazuo Ushijima (ICSM, 2001)

Extensible Requirements Patterns of Web Application for Efficient Web Application Development. - Romi Satria Wahono; Jingde Cheng (CW, 2002)

A toolkit for developing programs of card game played on the internet. - Masato Koide; Jingde Cheng (IWEC, 2002)

Deontic Relevant Logic: A Strong Relevant Logic Approach to Removing Paradoxes from Deontic Logic. - Takahiro Tagawa; Jingde Cheng (PRICAI, 2002)

Automated Knowledge Acquisition by Relevant Reasoning Based on Strong Relevant Logic. - Jingde Cheng (KES, 2003)

Spatio-temporal Relevant Logic as the Logical Basis for Specifying, Verifying, and Reasoning About Mobile Multi-agent Systems. - Jingde Cheng (ER (Workshops), 2004)

Representing and Reasoning About Spatial Knowledge Based on Spatial Relevant Logic. - Jingde Cheng; Yuichi Goto (ER (Workshops), 2004)

Connecting Components with Soft System Buses: A New Methodology for Design, Development, and Maintenance of Reconfigurable, Ubiquitous, and Persistent Reactive Systems. - Jingde Cheng (AINA, 2005)

Patterning Protection Profiles by UML for Security Specifications. - Shoichi Morimoto; Jingde Cheng (CIMCA/IAWTIC, 2005)

Strong Relevant Logic as the Universal Basis of Various Applied Logics for Knowledge Representation and Reasoning. - Jingde Cheng (EJC, 2005)

Security in Persistently Reactive Systems. - Takumi Endo; Junichi Miura; Koichi Nanashima; Shoichi Morimoto; Yuichi Goto; Jingde Cheng (EUC Workshops, 2005)

Comparing Persistent Computing with Autonomic Computing. - Jingde Cheng (ICPADS (2), 2005)

Spatio-Temporal Relevant Logic as the Logical Basis for Spatio-Temporal Information Systems. - Jingde Cheng (ICTAI, 2005)

Anticipatory Agents Based on Anticipatory Reasoning. - Feng Shang; Jingde Cheng (ISMIS, 2005)

Reciprocal Logic: Logics for Specifying, Verifying, and Reasoning About Reciprocal Relationships. - Jingde Cheng (KES (2), 2005)

Autonomous and Continuous Evolution of Information Systems. - Jingde Cheng (KES (1), 2005)

A General-Purpose Forward Deduction Engine for Modal Logics. - Shinsuke Nara; Takashi Omi; Yuichi Goto; Jingde Cheng (KES (2), 2005)

Persistent Computing Systems as Continuously Available, Reliable, and Secure Systems. - Jingde Cheng (ARES, 2006)

Deontic Relevant Logic as the Logical Basis for Specifying, Verifying, and Reasoning about Information Security and Information Assurance. - Jingde Cheng; Junichi Miura (ARES, 2006)

Run-Time Detection of Tasking Deadlocks in Real-Time Systems with the Ada 95 Annex of Real-Time Systems. - Jingde Cheng (Ada-Europe, 2006)

Ubisafe Computing: Vision and Challenges (I). - Jianhua Ma 002; Qiangfu Zhao; Vipin Chaudhary; Jingde Cheng; Laurence Tianruo Yang; Runhe Huang; Qun Jin (ATC, 2006)

A Web User Interface of the Security Requirement Management Database Based on ISO/IEC 15408. - Daisuke Horie; Shoichi Morimoto; Jingde Cheng (International Conference on Computational Science (4), 2006)

A Security Requirement Management Database Based on ISO/IEC 15408. - Shoichi Morimoto; Daisuke Horie; Jingde Cheng (ICCSA (3), 2006)

A Comparative Study Between Soft System Bus and Traditional Middlewares. - Mohammad Reza Selim; Takumi Endo; Yuichi Goto; Jingde Cheng (OTM Workshops (2), 2006)

Deontic relevant logic as the logical basis for legal information systems. - Jingde Cheng (SAC, 2006)

A security specification verification technique based on the international standard ISO/IEC 15408. - Shoichi Morimoto; Shinjiro Shigematsu; Yuichi Goto; Jingde Cheng (SAC, 2006)

The Theory Grid and Grid Theorists. - Jingde Cheng; Shinsuke Nara; Takahiro Koh; Yuichi Goto (SKG, 2006)

Temporal Deontic Relevant Logic as the Logical Basis for Decision Making Based on Anticipatory Reasoning. - Jingde Cheng (SMC, 2006)

Semantics for a Basic Relevant Logic with Intensional Conjunction and Disjunction. - Ying Gao; Jingde Cheng (LMCS, 2006)

A Quantitative Analysis of Implicational Paradoxes in Classical Mathematical Logic. - Yuichi Goto; Jingde Cheng (LMCS, 2006)

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 (APSCC, 2007)

Operational Semantics for Positive Relevant Logics Without Distribution. - Ying Gao; Jingde Cheng (CiE, 2007)

A Security Specification Library with a Schemaless Database. - Shoichi Morimoto; Jingde Cheng (International Conference on Computational Science (3), 2007)

EPLAS: An Epistemic Programming Language for All Scientists. - Isao Takahashi; Shinsuke Nara; Yuichi Goto; Jingde Cheng (International Conference on Computational Science (1), 2007)

Distributed hash table based design of Soft System Buses. - Mohammad Reza Selim; Takumi Endo; Yuichi Goto; Jingde Cheng (Infoscale, 2007)

A Cooperative Grid Computing Approach to Automated Theorem Finding and Automated Problem Proposing. - Jingde Cheng; Yuichi Goto; Shinsuke Nara; Takahiro Koh (KES (2), 2007)

FreeEnCal: A Forward Reasoning Engine with General-Purpose. - Jingde Cheng; Shinsuke Nara; Yuichi Goto (KES (2), 2007)

A replication oriented approach to event based middleware over structured peer to peer networks. - Mohammad Reza Selim; Yuichi Goto; Jingde Cheng (MPAC, 2007)

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 (SAC, 2007)

Formal verification of security specifications with common criteria. - Shoichi Morimoto; Shinjiro Shigematsu; Yuichi Goto; Jingde Cheng (SAC, 2007)

A Semilattice Model for the Theory Grid. - Jingde Cheng (SKG, 2007)

Measuring Reactability of Persistent Computing Systems. - Takumi Endo; Yuichi Goto; Jingde Cheng (SC@ETAPS, 2007)

ISEDS: An Information Security Engineering Database System Based on ISO Standards. - Daisuke Horie; Shoichi Morimoto; Noor Azimah; Yuichi Goto; Jingde Cheng (ARES, 2008)

Fast Qualitative Reasoning about Actions for Computing Anticipatory Systems. - Natsumi Kitajima; Yuichi Goto; Jingde Cheng (ARES, 2008)

Evolutionary Personal Information Partners. - Jingde Cheng (CIS (1), 2008)

Testing and Debugging Persistent Computing Systems: A New Challenge in Ubiquitous Computing. - Jingde Cheng (EUC (1), 2008)

Adaptive Prediction by Anticipatory Reasoning Based on Temporal Relevant Logic. - Jingde Cheng (HIS, 2008)

Qualitative Spatio-temporal Reasoning about Moving Objects in Three-Dimensional Space. - Jingde Cheng (ISICA, 2008)

Deontic Relevant Logic in Knowledge-based Requirements Engineering. - Jingde Cheng (JCKBSE, 2008)

Autonomous Evolutionary Information Systems and Active Database Systems: A Comparative Study. - Jingde Cheng (JCKBSE, 2008)

Deontic Relevant Logic as the Logical Basis for Representing and Reasoning about Legal Knowledge in Legal Information Systems. - Jingde Cheng (KES (2), 2008)

A General Forward Reasoning Algorithm for Various Logic Systems with Different Formalizations. - Yuichi Goto; Takahiro Koh; Jingde Cheng (KES (2), 2008)

A Fast Duplication Checking Algorithm for Forward Reasoning Engines. - Takahiro Koh; Yuichi Goto; Jingde Cheng (KES (2), 2008)

Classification, Formalization and Verification of Security Functional Requirements. - Shoichi Morimoto; Shinjiro Shigematsu; Yuichi Goto; Jingde Cheng (SOFSEM, 2008)

Ensuring Reliability and Availability of Soft System Bus. - Mohammad Reza Selim; Yuichi Goto; Jingde Cheng (SSIRI, 2008)

Semantics for a basic relevant logic with intensional conjunction and disjunction (and some of its extensions). - Ying Gao; Jingde Cheng (Math. Struct. Comput. Sci., 2008)

A New Model of Software Life Cycle Processes for Consistent Design, Development, Management, and Maintenance of Secure Information Systems. - Daisuke Horie; Toshio Kasahara; Yuichi Goto; Jingde Cheng (ACIS-ICIS, 2009)

An Improvement of REM: A Replication Oriented Event-Based Middleware. - Youcheng Chen; Mohammad Reza Selim; Yuichi Goto; Jingde Cheng (ARES, 2009)

FORVEST: A Support Tool for Formal Verification of Security Specifications with ISO/IEC 15408. - Kenichi Yajima; Shoichi Morimoto; Daisuke Horie; Noor Sheila Azreen; Yuichi Goto; Jingde Cheng (ARES, 2009)

Information Assurance, Privacy, and Security in Ubiquitous Questionnaire. - Yuichi Goto; Jingde Cheng (FCST, 2009)

A Database System for Effective Utilization of ISO/IEC 27002. - Ahmad Iqbal; Daisuke Horie; Yuichi Goto; Jingde Cheng (FCST, 2009)

Development of a Decision-Maker in an Anticipatory Reasoning-Reacting System for Terminal Radar Control. - Natsumi Kitajima; Yuichi Goto; Jingde Cheng (HAIS, 2009)

Uncertainty Problem in Dynamic Slicing of Concurrent Programs. - Jingde Cheng (ICESS, 2009)

Development of ISEE: An Information Security Engineering Environment. - Jingde Cheng; Yuichi Goto; Daisuke Horie; Junichi Miura; Toshio Kasahara; Ahmad Iqbal (ISPA, 2009)

ISEE: An Information Security Engineering Environment. - Jingde Cheng; Yuichi Goto; Daisuke Horie (SECRYPT, 2009)

A Temporal Relevant Logic Approach to Modeling and Reasoning about Epistemic Processes. - Jingde Cheng (SKG, 2009)

GEST: A Generator of ISO/IEC 15408 Security Target Templates. - Daisuke Horie; Kenichi Yajima; Noor Azimah; Yuichi Goto; Jingde Cheng (Computer and Information Science, 2009)

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 001; Jingde Cheng (ICMLC, 2010)

MicroSSB: A Lightweight Framework for On-line Distributed Application based on Soft System Bus. - Jian Xiao 001; Jizhou Sun; Gang Li; Chun Li; Sen Li; Jingde Cheng (ENASE, 2011)

Practical implementation of EPLAS: An Epistemic Programming Language for all scientists. - Wencheng Fang; Isao Takahashi; Yuichi Goto; Jingde Cheng (ICMLC, 2011)

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 (ICMLC, 2012)

Practical usage of freeencal: An automated forward reasoning engine for general-purpose. - Yuichi Goto; Hongbiao Gao; Takahiro Tsuji; Jingde Cheng (ICMLC, 2012)

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 (ICMLC, 2012)

A Truth Maintenance System for Epistemic Programming Environment. - Yuichi Goto; Jingde Cheng (SKG, 2012)

Anticipatory Emergency Elevator Evacuation Systems. - Kai Shi; Yuichi Goto; Zhiliang Zhu 001; Jingde Cheng (ACIIDS (1), 2013)

Extending and Formalizing Bayesian Networks by Strong Relevant Logic. - Jianzhe Zhao; Ying Liu 032; Jingde Cheng (ACIIDS (1), 2013)

An Analysis of Software Supportable Tasks Related with ISO/IEC 15408. - Ning Zhang; Ahmad Iqbal Hakim Suhaimi; Yuichi Goto; Jingde Cheng (CIS, 2013)

Finding Theorems in NBG Set Theory by Automated Forward Deduction Based on Strong Relevant Logic. - Hongbiao Gao; Kai Shi; Yuichi Goto; Jingde Cheng (COCOON, 2013)

Development of a supporting tool for translation between declarative sentences and logical formulas. - Shunsuke Nanaumi; Kazunori Wagatsuma; Yuichi Goto; Jingde Cheng (ICMLC, 2013)

Automated Theorem Finding by Forward Deduction Based on the Semi-lattice Model of Formal Theory: A Case Study in NBG Set Theory. - Hongbiao Gao; Yuichi Goto; Jingde Cheng (SKG, 2013)

Anticipatory Runway Incursion Prevention Systems. - Kai Shi; Yuichi Goto; Zhiliang Zhu 001; Jingde Cheng (IEICE Trans. Inf. Syst., 2013)

Computing Intentions Dynamically in a Changing World by Anticipatory Relevant Reasoning. - Jingde Cheng (ACIIDS (2), 2014)

User Management in Information Security Engineering Environment ISEE. - Yuichi Goto; Liqing Xu; Ning Zhang; Jingde Cheng (PAISI, 2014)

Active and Personalized Services in an Information Security Engineering Cloud Based on ISO/IEC 15408. - Liqing Xu; Yuichi Goto; Ahmad Iqbal Hakim Suhaimi; Ning Zhang; Jingde Cheng (PAISI, 2014)

An Information Security Management Database System (ISMDS) for Engineering Environment Supporting Organizations with ISMSs. - Ahmad Iqbal Hakim Suhaimi; Yuichi Goto; Jingde Cheng (IEICE Trans. Inf. Syst., 2014)

A systematic methodology for automated theorem finding. - Hongbiao Gao; Yuichi Goto; Jingde Cheng (Theor. Comput. Sci., 2014)

Automated Knowledge Appreciation: A relevant reasoning approach to expand our knowledge and increase its value automatically. - Jingde Cheng (ICCI*CC, 2015)

An epistemic programming approach for automated theorem finding. - Hongbiao Gao; Jingde Cheng (ICCI*CC, 2015)

Explicitly Epistemic Contraction by Predicate Abstraction in Automated Theorem Finding: A Case Study in NBG Set Theory. - Hongbiao Gao; Yuichi Goto; Jingde Cheng (ACIIDS (1), 2015)

A Bidirectional Transformation Supporting Tool for Formalization with Logical Formulas. - Shunsuke Nanaumi; Kazunori Wagatsuma; Hongbiao Gao; Yuichi Goto; Jingde Cheng (ACIIDS (1), 2015)

A Set of Metrics for Measuring Interestingness of Theorems in Automated Theorem Finding by Forward Reasoning: A Case Study in NBG Set Theory. - Hongbiao Gao; Yuichi Goto; Jingde Cheng (IScIDE (2), 2015)

Prevention of Fault Propagation in Web Service: a Complex Network Approach. - Ying Liu 032; Shu Mao; Mingwei Zhang 001; Guoqi Liu; Zhiliang Zhu 001; Jingde Cheng (J. Web Eng., 2015)

Contract-Based Programming for Future Computing with Ada 2012. - Bo Wang 079; Hongbiao Gao; Jingde Cheng (CBD, 2016)

A Security Evaluation and Certification Management Database Based on ISO/IEC Standards. - Huilin Chen; Da Bao; Hongbiao Gao; Jingde Cheng (CIS, 2016)

Development of a General-Purpose Offline E-Testing Environment. - Hongbiao Gao; Zhe Wang; Yuan Zhou 026; Jingde Cheng (CIS, 2016)

Autonomous Evolution in Evolutionary Personal Information Partners: Mechanism and a Case Study. - Yifeng Han; Hongbiao Gao; Jingde Cheng (CIS, 2016)

A Formal Analysis Method with Reasoning for Cryptographic Protocols. - Jingchen Yan; Kazunori Wagatsuma; Hongbiao Gao; Jingde Cheng (CIS, 2016)

An Extension of QSL for E-voting Systems. - Yuan Zhou 026; Hongbiao Gao; Jingde Cheng (CSA/CUTE, 2016)

CloudEval: A Simulation Environment for Evaluating the Dynamic Cloud VM consolidation. - Zhi Wang; Zhaohua Zhou; Shilin Jia; Hao Liu; Dancheng Li; Jingde Cheng (SimuTools, 2016)

Measuring Interestingness of Theorems in Automated Theorem Finding by Forward Reasoning: A Case Study in Peano's Arithmetic. - Hongbiao Gao; Jingde Cheng (ACIIDS (2), 2017)

A Predicate Suggestion Algorithm for Automated Theorem Finding with Forward Reasoning. - Yuichi Goto; Hongbiao Gao; Jingde Cheng (ACIIDS (2), 2017)

Anticipatory Runway Incursion Prevention Based on Inaccurate Position Surveillance Information. - Kai Shi; Hai Yu 001; Zhiliang Zhu 001; Jingde Cheng (ACIIDS (2), 2017)

A Design of Evolutionary Personal Information Partner Based on Software as a Service. - Yifeng Han; Hongbiao Gao; Jingde Cheng (CSA/CUTE, 2017)

A Supporting Environment for Formal Analysis of Cryptographic Protocols. - Jingchen Yan; Kazunori Wagatsuma; Hongbiao Gao; Jingde Cheng (MUE/FutureTech, 2017)

A Comprehensive Evaluation of Scheduling Methods of Virtual Machine Migration for Energy Conservation. - Dancheng Li; Wei Wang; Quanzuo Li; Jingde Cheng (IEEE Syst. J., 2017)

A Memory-Efficient Algorithm with Level-Order Unary Degree Sequence for Forward Reasoning Engines. - Hiromu Hiidome; Yuichi Goto; Jingde Cheng (ACIIDS (1), 2018)

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 (SmartWorld/SCALCOM/UIC/ATC/CBDCom/IOP/SCI, 2018)

An Undergraduate Curriculum Model for Intelligence Science and Technology. - Jingde Cheng; Runhe Huang; Qun Jin; Jianhua Ma 002; Yi Pan 001 (SmartWorld/SCALCOM/UIC/ATC/CBDCom/IOP/SCI, 2018)

Measuring Interestingness of Theorems in Automated Theorem Finding by Forward Reasoning: A Case Study in Tarski's Geometry. - Hongbiao Gao; Jianbin Li; Jingde Cheng (SmartWorld/SCALCOM/UIC/ATC/CBDCom/IOP/SCI, 2018)

Primitive Constituent Elements of Cryptographic Protocols. - Sho Ishibashi; Jingchen Yan; Yuichi Goto; Jingde Cheng (SmartWorld/SCALCOM/UIC/ATC/CBDCom/IOP/SCI, 2018)

FreeEnCal Web: A Web Service of Automated Forward Reasoning for General-Purpose. - Takumi Otsuka; Kentaro Fukushi; Yuichi Goto; Jingde Cheng (SmartWorld/SCALCOM/UIC/ATC/CBDCom/IOP/SCI, 2018)

A Study on Fine-Grained Security Properties of Cryptographic Protocols for Formal Analysis Method with Reasoning. - Jingchen Yan; Sho Ishibashi; Yuichi Goto; Jingde Cheng (SmartWorld/SCALCOM/UIC/ATC/CBDCom/IOP/SCI, 2018)

Evaluation about the Descriptive Power of QSL: A Specification Language for E-Questionnaire, E-Testing, and E-Voting Systems. - Yuan Zhou 026; Daisuke Matsuura; Yuichi Goto; Jingde Cheng (SmartWorld/SCALCOM/UIC/ATC/CBDCom/IOP/SCI, 2018)

Guest editorial: special issue on transparent computing. - Jiannong Cao 001; Jingde Cheng; Jianhua Ma 002; Ju Ren 001 (Peer-to-Peer Netw. Appl., 2018)

An Extension of Formal Analysis Method with Reasoning: A Case Study of Flaw Detection for Non-repudiation and Fairness. - Jingchen Yan; Yating Wang; Yuichi Goto; Jingde Cheng (C2SI, 2019)

Industrial Control Network Security Analysis and Decision-Making by Reasoning Method Based on Strong Relevant Logic. - Hongbiao Gao; Jianbin Li; Jingde Cheng (DASC/PiCom/DataCom/CyberSciTech, 2019)

A Supporting Tool for IT System Security Specification Evaluation Based on ISO/IEC 15408 and ISO/IEC 18045. - Da Bao; Yuichi Goto; Jingde Cheng (PAKDD (Workshops), 2019)

A Meta-Database System Approach for Business Data Sharing among Multiple Target Databases. - Zhe Huang; Jiaxing Li; Jingde Cheng (SKG, 2019)

Adaptive Evaluation of Virtual Machine Placement and Migration Scheduling Algorithms Using Stochastic Petri Nets. - Ying Liu 032; Ke Wang; Liang Ge; Lei Ye 011; Jingde Cheng (IEEE Access, 2019)

QSL: A Specification Language for E-Questionnaire, E-Testing, and E-Voting Systems. - Yuan Zhou 026; Yuichi Goto; Jingde Cheng (IEICE Trans. Inf. Syst., 2019)

A Knowledge Base for Industrial Control Network Security Analysis and Decision-Making with Reasoning Method. - Hongbiao Gao; Jiaming Liu; Jianbin Li; Jingde Cheng (ACIIDS (2), 2020)

Automated Generation of Massive Reasonable Empirical Theorems by Forward Reasoning Based on Strong Relevant Logics - A Solution to the Problem of LLM Pre-training Data Exhaustion. - Jingde Cheng (CoRR, 2024)

Music-driven Robot Swarm Painting. - Jingde Cheng; Gennaro Notomista (CoRR, 2025)