Jingde Cheng - RankMe

164 papers A 2B 24C 19Misc 21Journal 14Unranked 82

Year	Rank	Type	Title / Venue / Authors
2025	J	`jnl`	Music-driven Robot Swarm Painting. CoRR Jingde Cheng, Gennaro Notomista
2025	J	`jnl`	Why Cannot Large Language Models Ever Make True Correct Reasoning? CoRR Jingde Cheng
2024	J	`jnl`	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. CoRR Jingde Cheng
2020	—	`conf`	A Knowledge Base for Industrial Control Network Security Analysis and Decision-Making with Reasoning Method. ACIIDS (2) Hongbiao Gao, Jiaming Liu, Jianbin Li, Jingde Cheng
2019	—	`conf`	A Meta-Database System Approach for Business Data Sharing among Multiple Target Databases. SKG Zhe Huang, Jiaxing Li, Jingde Cheng
2019	—	`conf`	A Supporting Tool for IT System Security Specification Evaluation Based on ISO/IEC 15408 and ISO/IEC 18045. PAKDD (Workshops) Da Bao, Yuichi Goto, Jingde Cheng
2019	J	`jnl`	Adaptive Evaluation of Virtual Machine Placement and Migration Scheduling Algorithms Using Stochastic Petri Nets. IEEE Access Ying Liu, Ke Wang, Liang Ge, Lei Ye, Jingde Cheng
2019	—	`conf`	An Extension of Formal Analysis Method with Reasoning: A Case Study of Flaw Detection for Non-repudiation and Fairness. C2SI Jingchen Yan, Yating Wang, Yuichi Goto, Jingde Cheng
2019	—	`conf`	Industrial Control Network Security Analysis and Decision-Making by Reasoning Method Based on Strong Relevant Logic. DASC/PiCom/DataCom/CyberSciTech Hongbiao Gao, Jianbin Li, Jingde Cheng
2019	J	`jnl`	QSL: A Specification Language for E-Questionnaire, E-Testing, and E-Voting Systems. IEICE Trans. Inf. Syst. Yuan Zhou, Yuichi Goto, Jingde Cheng
2018	—	`conf`	A Memory-Efficient Algorithm with Level-Order Unary Degree Sequence for Forward Reasoning Engines. ACIIDS (1) Hiromu Hiidome, Yuichi Goto, Jingde Cheng
2018	—	`conf`	A Study on Fine-Grained Security Properties of Cryptographic Protocols for Formal Analysis Method with Reasoning. SmartWorld/SCALCOM/UIC/ATC/CBDCom/IOP/SCI Jingchen Yan, Sho Ishibashi, Yuichi Goto, Jingde Cheng
2018	—	`conf`	An Undergraduate Curriculum Model for Intelligence Science and Technology. SmartWorld/SCALCOM/UIC/ATC/CBDCom/IOP/SCI Jingde Cheng, Runhe Huang, Qun Jin, Jianhua Ma, Yi Pan
2018	—	`conf`	Development of Supporting Environment for IT System Security Evaluation Based on ISO/IEC 15408 and ISO/IEC 18045. SmartWorld/SCALCOM/UIC/ATC/CBDCom/IOP/SCI Da Bao, Wen Sun, Yuichi Goto, Jingde Cheng
2018	—	`conf`	Evaluation about the Descriptive Power of QSL: A Specification Language for E-Questionnaire, E-Testing, and E-Voting Systems. SmartWorld/SCALCOM/UIC/ATC/CBDCom/IOP/SCI Yuan Zhou, Daisuke Matsuura, Yuichi Goto, Jingde Cheng
2018	—	`conf`	FreeEnCal Web: A Web Service of Automated Forward Reasoning for General-Purpose. SmartWorld/SCALCOM/UIC/ATC/CBDCom/IOP/SCI Takumi Otsuka, Kentaro Fukushi, Yuichi Goto, Jingde Cheng
2018	J	`jnl`	Guest editorial: special issue on transparent computing. Peer-to-Peer Netw. Appl. Jiannong Cao, Jingde Cheng, Jianhua Ma, Ju Ren
2018	—	`conf`	Measuring Interestingness of Theorems in Automated Theorem Finding by Forward Reasoning: A Case Study in Tarski's Geometry. SmartWorld/SCALCOM/UIC/ATC/CBDCom/IOP/SCI Hongbiao Gao, Jianbin Li, Jingde Cheng
2018	—	`conf`	Primitive Constituent Elements of Cryptographic Protocols. SmartWorld/SCALCOM/UIC/ATC/CBDCom/IOP/SCI Sho Ishibashi, Jingchen Yan, Yuichi Goto, Jingde Cheng
2017	J	`jnl`	A Comprehensive Evaluation of Scheduling Methods of Virtual Machine Migration for Energy Conservation. IEEE Syst. J. Dancheng Li, Wei Wang, Quanzuo Li, Jingde Cheng
2017	—	`conf`	A Design of Evolutionary Personal Information Partner Based on Software as a Service. CSA/CUTE Yifeng Han, Hongbiao Gao, Jingde Cheng
2017	—	`conf`	A Predicate Suggestion Algorithm for Automated Theorem Finding with Forward Reasoning. ACIIDS (2) Yuichi Goto, Hongbiao Gao, Jingde Cheng
2017	—	`conf`	A Supporting Environment for Formal Analysis of Cryptographic Protocols. MUE/FutureTech Jingchen Yan, Kazunori Wagatsuma, Hongbiao Gao, Jingde Cheng
2017	—	`conf`	Anticipatory Runway Incursion Prevention Based on Inaccurate Position Surveillance Information. ACIIDS (2) Kai Shi, Hai Yu, Zhiliang Zhu, Jingde Cheng
2017	—	`conf`	Measuring Interestingness of Theorems in Automated Theorem Finding by Forward Reasoning: A Case Study in Peano's Arithmetic. ACIIDS (2) Hongbiao Gao, Jingde Cheng
2016	C	`conf`	A Formal Analysis Method with Reasoning for Cryptographic Protocols. CIS Jingchen Yan, Kazunori Wagatsuma, Hongbiao Gao, Jingde Cheng
2016	C	`conf`	A Security Evaluation and Certification Management Database Based on ISO/IEC Standards. CIS Huilin Chen, Da Bao, Hongbiao Gao, Jingde Cheng
2016	—	`conf`	An Extension of QSL for E-voting Systems. CSA/CUTE Yuan Zhou, Hongbiao Gao, Jingde Cheng
2016	C	`conf`	Autonomous Evolution in Evolutionary Personal Information Partners: Mechanism and a Case Study. CIS Yifeng Han, Hongbiao Gao, Jingde Cheng
2016	—	`conf`	CloudEval: A Simulation Environment for Evaluating the Dynamic Cloud VM consolidation. SimuTools Zhi Wang, Zhaohua Zhou, Shilin Jia, Hao Liu, Dancheng Li, Jingde Cheng
2016	—	`conf`	Contract-Based Programming for Future Computing with Ada 2012. CBD Bo Wang, Hongbiao Gao, Jingde Cheng
2016	C	`conf`	Development of a General-Purpose Offline E-Testing Environment. CIS Hongbiao Gao, Zhe Wang, Yuan Zhou, Jingde Cheng
2015	—	`conf`	A Bidirectional Transformation Supporting Tool for Formalization with Logical Formulas. ACIIDS (1) Shunsuke Nanaumi, Kazunori Wagatsuma, Hongbiao Gao, Yuichi Goto, Jingde Cheng
2015	—	`conf`	A Set of Metrics for Measuring Interestingness of Theorems in Automated Theorem Finding by Forward Reasoning: A Case Study in NBG Set Theory. IScIDE (2) Hongbiao Gao, Yuichi Goto, Jingde Cheng
2015	—	`conf`	An epistemic programming approach for automated theorem finding. ICCI*CC Hongbiao Gao, Jingde Cheng
2015	—	`conf`	Automated Knowledge Appreciation: A relevant reasoning approach to expand our knowledge and increase its value automatically. ICCI*CC Jingde Cheng
2015	—	`conf`	Explicitly Epistemic Contraction by Predicate Abstraction in Automated Theorem Finding: A Case Study in NBG Set Theory. ACIIDS (1) Hongbiao Gao, Yuichi Goto, Jingde Cheng
2015	J	`jnl`	Prevention of Fault Propagation in Web Service: a Complex Network Approach. J. Web Eng. Ying Liu, Shu Mao, Mingwei Zhang, Guoqi Liu, Zhiliang Zhu, Jingde Cheng
2014	J	`jnl`	A systematic methodology for automated theorem finding. Theor. Comput. Sci. Hongbiao Gao, Yuichi Goto, Jingde Cheng
2014	—	`conf`	Active and Personalized Services in an Information Security Engineering Cloud Based on ISO/IEC 15408. PAISI Liqing Xu, Yuichi Goto, Ahmad Iqbal Hakim Suhaimi, Ning Zhang, Jingde Cheng
2014	J	`jnl`	An Information Security Management Database System (ISMDS) for Engineering Environment Supporting Organizations with ISMSs. IEICE Trans. Inf. Syst. Ahmad Iqbal Hakim Suhaimi, Yuichi Goto, Jingde Cheng
2014	—	`conf`	Computing Intentions Dynamically in a Changing World by Anticipatory Relevant Reasoning. ACIIDS (2) Jingde Cheng
2014	—	`conf`	User Management in Information Security Engineering Environment ISEE. PAISI Yuichi Goto, Liqing Xu, Ning Zhang, Jingde Cheng
2013	C	`conf`	An Analysis of Software Supportable Tasks Related with ISO/IEC 15408. CIS Ning Zhang, Ahmad Iqbal Hakim Suhaimi, Yuichi Goto, Jingde Cheng
2013	—	`conf`	Anticipatory Emergency Elevator Evacuation Systems. ACIIDS (1) Kai Shi, Yuichi Goto, Zhiliang Zhu, Jingde Cheng
2013	J	`jnl`	Anticipatory Runway Incursion Prevention Systems. IEICE Trans. Inf. Syst. Kai Shi, Yuichi Goto, Zhiliang Zhu, Jingde Cheng
2013	—	`conf`	Automated Theorem Finding by Forward Deduction Based on the Semi-lattice Model of Formal Theory: A Case Study in NBG Set Theory. SKG Hongbiao Gao, Yuichi Goto, Jingde Cheng
2013	Misc	`conf`	Development of a supporting tool for translation between declarative sentences and logical formulas. ICMLC Shunsuke Nanaumi, Kazunori Wagatsuma, Yuichi Goto, Jingde Cheng
2013	—	`conf`	Extending and Formalizing Bayesian Networks by Strong Relevant Logic. ACIIDS (1) Jianzhe Zhao, Ying Liu, Jingde Cheng
2013	Misc	`conf`	Finding Theorems in NBG Set Theory by Automated Forward Deduction Based on Strong Relevant Logic. COCOON Hongbiao Gao, Kai Shi, Yuichi Goto, Jingde Cheng
2012	—	`conf`	A Truth Maintenance System for Epistemic Programming Environment. SKG Yuichi Goto, Jingde Cheng
2012	Misc	`conf`	Automated theorem finding by forward deduction based on strong relevant logic: A case study in NBG set theory. ICMLC Hongbiao Gao, Kai Shi, Yuichi Goto, Jingde Cheng
2012	Misc	`conf`	Formal analysis of cryptographic protocols by reasoning based on deontic relevant logic: A case study in Needham-Schroeder Shared-Key protocol. ICMLC Kazunori Wagatsuma, Yuichi Goto, Jingde Cheng
2012	Misc	`conf`	Practical usage of freeencal: An automated forward reasoning engine for general-purpose. ICMLC Yuichi Goto, Hongbiao Gao, Takahiro Tsuji, Jingde Cheng
2011	B	`conf`	MicroSSB: A Lightweight Framework for On-line Distributed Application based on Soft System Bus. ENASE Jian Xiao, Jizhou Sun, Gang Li, Chun Li, Sen Li, Jingde Cheng
2011	Misc	`conf`	Practical implementation of EPLAS: An Epistemic Programming Language for all scientists. ICMLC Wencheng Fang, Isao Takahashi, Yuichi Goto, Jingde Cheng
2010	Misc	`conf`	Logic basis for anticipatory reasoning-reacting systems with three-dimensional moving objects. ICMLC Chun-Yan Han, Yixian Liu, Ji-Peng Liu, Zhiliang Liu, Dancheng Li, Zhiliang Zhu, Jingde Cheng
2009	—	`conf`	A Database System for Effective Utilization of ISO/IEC 27002. FCST Ahmad Iqbal, Daisuke Horie, Yuichi Goto, Jingde Cheng
2009	—	`conf`	A New Model of Software Life Cycle Processes for Consistent Design, Development, Management, and Maintenance of Secure Information Systems. ACIS-ICIS Daisuke Horie, Toshio Kasahara, Yuichi Goto, Jingde Cheng
2009	—	`conf`	A Temporal Relevant Logic Approach to Modeling and Reasoning about Epistemic Processes. SKG Jingde Cheng
2009	B	`conf`	An Improvement of REM: A Replication Oriented Event-Based Middleware. ARES Youcheng Chen, Mohammad Reza Selim, Yuichi Goto, Jingde Cheng
2009	C	`conf`	Development of ISEE: An Information Security Engineering Environment. ISPA Jingde Cheng, Yuichi Goto, Daisuke Horie, Junichi Miura, Toshio Kasahara, Ahmad Iqbal
2009	Misc	`conf`	Development of a Decision-Maker in an Anticipatory Reasoning-Reacting System for Terminal Radar Control. HAIS Natsumi Kitajima, Yuichi Goto, Jingde Cheng
2009	B	`conf`	FORVEST: A Support Tool for Formal Verification of Security Specifications with ISO/IEC 15408. ARES Kenichi Yajima, Shoichi Morimoto, Daisuke Horie, Noor Sheila Azreen, Yuichi Goto, Jingde Cheng
2009	—	`ch.`	GEST: A Generator of ISO/IEC 15408 Security Target Templates. Computer and Information Science Daisuke Horie, Kenichi Yajima, Noor Azimah, Yuichi Goto, Jingde Cheng
2009	C	`conf`	ISEE: An Information Security Engineering Environment. SECRYPT Jingde Cheng, Yuichi Goto, Daisuke Horie
2009	—	`conf`	Information Assurance, Privacy, and Security in Ubiquitous Questionnaire. FCST Yuichi Goto, Jingde Cheng
2009	—	`conf`	Uncertainty Problem in Dynamic Slicing of Concurrent Programs. ICESS Jingde Cheng
2008	—	`conf`	A Fast Duplication Checking Algorithm for Forward Reasoning Engines. KES (2) Takahiro Koh, Yuichi Goto, Jingde Cheng
2008	—	`conf`	A General Forward Reasoning Algorithm for Various Logic Systems with Different Formalizations. KES (2) Yuichi Goto, Takahiro Koh, Jingde Cheng
2008	C	`conf`	Adaptive Prediction by Anticipatory Reasoning Based on Temporal Relevant Logic. HIS Jingde Cheng
2008	—	`conf`	Autonomous Evolutionary Information Systems and Active Database Systems: A Comparative Study. JCKBSE Jingde Cheng
2008	B	`conf`	Classification, Formalization and Verification of Security Functional Requirements. SOFSEM Shoichi Morimoto, Shinjiro Shigematsu, Yuichi Goto, Jingde Cheng
2008	—	`conf`	Deontic Relevant Logic as the Logical Basis for Representing and Reasoning about Legal Knowledge in Legal Information Systems. KES (2) Jingde Cheng
2008	—	`conf`	Deontic Relevant Logic in Knowledge-based Requirements Engineering. JCKBSE Jingde Cheng
2008	—	`conf`	Ensuring Reliability and Availability of Soft System Bus. SSIRI Mohammad Reza Selim, Yuichi Goto, Jingde Cheng
2008	—	`conf`	Evolutionary Personal Information Partners. CIS (1) Jingde Cheng
2008	B	`conf`	Fast Qualitative Reasoning about Actions for Computing Anticipatory Systems. ARES Natsumi Kitajima, Yuichi Goto, Jingde Cheng
2008	B	`conf`	ISEDS: An Information Security Engineering Database System Based on ISO Standards. ARES Daisuke Horie, Shoichi Morimoto, Noor Azimah, Yuichi Goto, Jingde Cheng
2008	—	`conf`	Qualitative Spatio-temporal Reasoning about Moving Objects in Three-Dimensional Space. ISICA Jingde Cheng
2008	J	`jnl`	Semantics for a basic relevant logic with intensional conjunction and disjunction (and some of its extensions). Math. Struct. Comput. Sci. Ying Gao, Jingde Cheng
2008	—	`conf`	Testing and Debugging Persistent Computing Systems: A New Challenge in Ubiquitous Computing. EUC (1) Jingde Cheng
2007	—	`conf`	A Cooperative Grid Computing Approach to Automated Theorem Finding and Automated Problem Proposing. KES (2) Jingde Cheng, Yuichi Goto, Shinsuke Nara, Takahiro Koh
2007	Misc	`conf`	A Security Specification Library with a Schemaless Database. International Conference on Computational Science (3) Shoichi Morimoto, Jingde Cheng
2007	—	`conf`	A Semilattice Model for the Theory Grid. SKG Jingde Cheng
2007	—	`conf`	A replication oriented approach to event based middleware over structured peer to peer networks. MPAC Mohammad Reza Selim, Yuichi Goto, Jingde Cheng
2007	—	`conf`	Distributed hash table based design of Soft System Buses. Infoscale Mohammad Reza Selim, Takumi Endo, Yuichi Goto, Jingde Cheng
2007	C	`conf`	ENQUETE-BAISE: A General-Purpose E-Questionnaire Server for Ubiquitous Questionnaire. APSCC Jingde Cheng, Yuichi Goto, Masato Koide, Keigo Nagahama, Masami Someya, Yusuke Utsumi, Ayaka Shionoiri
2007	Misc	`conf`	EPLAS: An Epistemic Programming Language for All Scientists. International Conference on Computational Science (1) Isao Takahashi, Shinsuke Nara, Yuichi Goto, Jingde Cheng
2007	Misc	`conf`	Formal verification of security specifications with common criteria. SAC Shoichi Morimoto, Shinjiro Shigematsu, Yuichi Goto, Jingde Cheng
2007	—	`conf`	FreeEnCal: A Forward Reasoning Engine with General-Purpose. KES (2) Jingde Cheng, Shinsuke Nara, Yuichi Goto
2007	A	`conf`	Measuring Reactability of Persistent Computing Systems. SC Takumi Endo, Yuichi Goto, Jingde Cheng
2007	C	`conf`	Operational Semantics for Positive Relevant Logics Without Distribution. CiE Ying Gao, Jingde Cheng
2007	Misc	`conf`	POP method: an approach to enhance the security and privacy of RFID systems used in product lifecycle with an anonymous ownership transferring mechanism. SAC K. H. S. Sabaragamu Koralalage, Mohammad Reza Selim, Junichi Miura, Yuichi Goto, Jingde Cheng
2006	—	`conf`	A Comparative Study Between Soft System Bus and Traditional Middlewares. OTM Workshops (2) Mohammad Reza Selim, Takumi Endo, Yuichi Goto, Jingde Cheng
2006	—	`conf`	A Quantitative Analysis of Implicational Paradoxes in Classical Mathematical Logic. LMCS Yuichi Goto, Jingde Cheng
2006	—	`conf`	A Security Requirement Management Database Based on ISO/IEC 15408. ICCSA (3) Shoichi Morimoto, Daisuke Horie, Jingde Cheng
2006	Misc	`conf`	A Web User Interface of the Security Requirement Management Database Based on ISO/IEC 15408. International Conference on Computational Science (4) Daisuke Horie, Shoichi Morimoto, Jingde Cheng
2006	Misc	`conf`	A quantitative analysis of implicational paradoxes in classical mathematical logic. SAC Yuichi Goto, Jingde Cheng
2006	Misc	`conf`	A security specification verification technique based on the international standard ISO/IEC 15408. SAC Shoichi Morimoto, Shinjiro Shigematsu, Yuichi Goto, Jingde Cheng
2006	B	`conf`	Deontic Relevant Logic as the Logical Basis for Specifying, Verifying, and Reasoning about Information Security and Information Assurance. ARES Jingde Cheng, Junichi Miura
2006	Misc	`conf`	Deontic relevant logic as the logical basis for legal information systems. SAC Jingde Cheng
2006	B	`conf`	Persistent Computing Systems as Continuously Available, Reliable, and Secure Systems. ARES Jingde Cheng
2006	Misc	`conf`	Run-Time Detection of Tasking Deadlocks in Real-Time Systems with the Ada 95 Annex of Real-Time Systems. Ada-Europe Jingde Cheng
2006	—	`conf`	Semantics for a Basic Relevant Logic with Intensional Conjunction and Disjunction. LMCS Ying Gao, Jingde Cheng
2006	B	`conf`	Temporal Deontic Relevant Logic as the Logical Basis for Decision Making Based on Anticipatory Reasoning. SMC Jingde Cheng
2006	—	`conf`	The Theory Grid and Grid Theorists. SKG Jingde Cheng, Shinsuke Nara, Takahiro Koh, Yuichi Goto
2006	C	`conf`	Ubisafe Computing: Vision and Challenges (I). ATC Jianhua Ma, Qiangfu Zhao, Vipin Chaudhary, Jingde Cheng, Laurence Tianruo Yang, Runhe Huang, Qun Jin
2005	—	`conf`	A General-Purpose Forward Deduction Engine for Modal Logics. KES (2) Shinsuke Nara, Takashi Omi, Yuichi Goto, Jingde Cheng
2005	C	`conf`	Anticipatory Agents Based on Anticipatory Reasoning. ISMIS Feng Shang, Jingde Cheng
2005	—	`conf`	Autonomous and Continuous Evolution of Information Systems. KES (1) Jingde Cheng
2005	—	`conf`	Comparing Persistent Computing with Autonomic Computing. ICPADS (2) Jingde Cheng
2005	B	`conf`	Connecting Components with Soft System Buses: A New Methodology for Design, Development, and Maintenance of Reconfigurable, Ubiquitous, and Persistent Reactive Systems. AINA Jingde Cheng
2005	—	`conf`	Patterning Protection Profiles by UML for Security Specifications. CIMCA/IAWTIC Shoichi Morimoto, Jingde Cheng
2005	—	`conf`	Reciprocal Logic: Logics for Specifying, Verifying, and Reasoning About Reciprocal Relationships. KES (2) Jingde Cheng
2005	—	`conf`	Security in Persistently Reactive Systems. EUC Workshops Takumi Endo, Junichi Miura, Koichi Nanashima, Shoichi Morimoto, Yuichi Goto, Jingde Cheng
2005	B	`conf`	Spatio-Temporal Relevant Logic as the Logical Basis for Spatio-Temporal Information Systems. ICTAI Jingde Cheng
2005	C	`conf`	Strong Relevant Logic as the Universal Basis of Various Applied Logics for Knowledge Representation and Reasoning. EJC Jingde Cheng
2004	—	`conf`	Representing and Reasoning About Spatial Knowledge Based on Spatial Relevant Logic. ER (Workshops) Jingde Cheng, Yuichi Goto
2004	—	`conf`	Spatio-temporal Relevant Logic as the Logical Basis for Specifying, Verifying, and Reasoning About Mobile Multi-agent Systems. ER (Workshops) Jingde Cheng
2003	B	`conf`	Automated Knowledge Acquisition by Relevant Reasoning Based on Strong Relevant Logic. KES Jingde Cheng
2002	—	`conf`	A toolkit for developing programs of card game played on the internet. IWEC Masato Koide, Jingde Cheng
2002	B	`conf`	Deontic Relevant Logic: A Strong Relevant Logic Approach to Removing Paradoxes from Deontic Logic. PRICAI Takahiro Tagawa, Jingde Cheng
2002	C	`conf`	Extensible Requirements Patterns of Web Application for Efficient Web Application Development. CW Romi Satria Wahono, Jingde Cheng
2001	—	`conf`	A Program Dependence Model for Concurrent Logic Programs and its Applications. ICSM Jianjun Zhao, Jingde Cheng, Kazuo Ushijima
2001	C	`conf`	A Run-Time Deadlock Detector for Concurrent Java Programs. APSEC Yusuke Nonaka, Kazuo Ushijima, Hibiki Serizawa, Shigeru Murata, Jingde Cheng
2001	B	`conf`	CLPKIDS: A Program Analysis System for Concurrent Logic Programs. COMPSAC Jianjun Zhao, Jingde Cheng, Kazuo Ushijima
2001	—	`conf`	Computing Executable Slices for Concurrent Logic Programs. APAQS Jianjun Zhao, Jingde Cheng, Kazuo Ushijima
2000	Misc	`conf`	A Supporting Tool for Development of Self-Measurement Ada Programs. Ada-Europe Yusuke Nonaka, Jingde Cheng, Kazuo Ushijima
2000	—	`conf`	Designing, developing, and maintaining concurrent systems based on self-measurement principle. IRMA Conference Jingde Cheng
2000	C	`conf`	Monitoring facilities in languages supporting development of concurrent self-measurement programs. APSEC Yusuke Nonaka, Kazuo Ushijima, Jingde Cheng
2000	—	`conf`	Temporal relevant logic as the logical basis of autonomous evolutionary information systems. IRMA Conference Jingde Cheng
1999	B	`conf`	A Strong Relevant Logic Model of Epistemic Processes in Scientific Discovery (Extended Abstract). PAKDD Jingde Cheng
1999	C	`conf`	A Strong Relevant Logic Model of Epistemic Processes in Scientific Discovery. EJC Jingde Cheng
1999	C	`conf`	A System Dependence Net Generator for Ada Programs. APSEC Yusuke Nonaka, Katsuhiko Hatano, Yoshinari Nomura, Jingde Cheng, Kazuo Ushijima
1998	—	`conf`	A Dependence-Based Representation for Concurrent Object-Oriented Software Maintenance. CSMR Jianjun Zhao, Jingde Cheng, Kazuo Ushijima
1998	—	`conf`	A Metrics Suite for Concurrent Logic Programs. CSMR Jianjun Zhao, Jingde Cheng, Kazuo Ushijima
1998	B	`conf`	A Strong Relevant Logic Model of Epistemic Processes in Schientific Discovery. Discovery Science Jingde Cheng
1998	B	`conf`	Temporal relevant logic as the logic basis for reasoning about dynamics of concurrent systems. SMC Jingde Cheng
1998	B	`conf`	The self-measurement principle: a design principle for large-scale, long-lived, and highly reliable concurrent systems. SMC Jingde Cheng
1997	—	`conf`	Dependence Analysis of Parallel and Distributed Programs and Its Applications. APDC Jingde Cheng
1997	—	`conf`	Improving the Performance of Automated Forward Deduction System EnCal. ISHPC Kazunori Nishi, Jingde Cheng, Kazuo Ushijima
1997	—	`conf`	Task Dependence Nets for Concurrent Systems with Ada 95 and Its Applications. TRI-Ada Jingde Cheng
1996	—	`conf`	ALPS-JI: An Annotated Logic Programming System with Hypothetical Implications (Abstract). ASIAN Kazuaki Goshi, Jingde Cheng, Kazuo Ushijima
1996	—	`conf`	EnCal: an automated forward deduction system for general-purpose entailment calculus. IFIP World Conference on IT Tools Jingde Cheng
1996	B	`conf`	Program dependence analysis of concurrent logic programs and its applications. ICPADS Jianjun Zhao, Jingde Cheng, Kazuo Ushijima
1996	B	`conf`	Static Slicing of Concurrent Object-Oriented Programs. COMPSAC Jianjun Zhao, Jingde Cheng, Kazuo Ushijima
1996	Misc	`conf`	Tasking Deadlocks in Ada 95 Programs and Their Detection. Ada-Europe Jingde Cheng, Kazuo Ushijima
1995	C	`conf`	An Integrated Support Environment for Distributed Software Development based on Unified Program Representations. APSEC Yoshiaki Kasahara, Yoshinari Nomura, Masayuki Kamachi, Jingde Cheng, Kazuo Ushijima
1995	B	`conf`	Program Dependence Analysis of Concurrent Logic Programs and Its Applications. ICLP Jianjun Zhao, Jingde Cheng, Kazuo Ushijima
1993	A	`conf`	Complexity metrics for distributed programs. ISSRE Jingde Cheng
1993	—	`conf`	Dependence-Based Complexity Metrics for Distributed Programs. ICPP (2) Jingde Cheng
1993	—	`conf`	Nondeterministic Parallel Control-Flow / Definition-Use Nets and their Applications. PARCO Jingde Cheng
1993	B	`conf`	Process dependence net of distributed programs and its applications in development of distributed systems. COMPSAC Jingde Cheng
1993	—	`conf`	Slicing Concurrent Programs - A Graph-Theoretical Approach. AADEBUG Jingde Cheng
1992	Misc	`conf`	Task Dependence Net as a Representation for Concurrent Ada Programs. Ada-Europe Jingde Cheng
1991	J	`jnl`	A General Framework for Debugging. IEEE Softw. Keijiro Araki, Zengo Furukawa, Jingde Cheng
1991	B	`conf`	A tasking deadlock detector for Ada programs. COMPSAC Jingde Cheng, Yoshiaki Kasahara, Kazuo Ushijima
1991	Misc	`conf`	Analyzing Ada Tasking Deadlocks and Livelocks Using Extended Petri Nets. Ada-Europe Jingde Cheng, Kazuo Ushijima
1991	—	`conf`	Logical tool of knowledge engineering: using entailment logic rather than mathematical logic. ACM Conference on Computer Science Jingde Cheng
1991	—	`ch.`	Relevance Logic and Entailment Logic. Software Science and Engineering Jingde Cheng
1990	J	`jnl`	An Algebraic Semantics of Notional Entailment Logic Cn. Inf. Process. Lett. Jingde Cheng
1990	—	`conf`	Task-wait-for graphs and their application to handling tasking deadlocks. TRI-Ada Jingde Cheng
1989	B	`conf`	Entailment as a logical basis for incremental generation of causal relations. COMPSAC Jingde Cheng, Kazuo Ushijima