![](https://dblp.org/img/logo.ua.320x120.png)
![](https://dblp.org/img/dropdown.dark.16x16.png)
![](https://dblp.org/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.org/img/search.dark.16x16.png)
![search dblp](https://dblp.org/img/search.dark.16x16.png)
default search action
Jingde Cheng
Person information
Refine list
![note](https://dblp.org/img/note-mark.dark.12x12.png)
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2020
- [c148]Hongbiao Gao, Jiaming Liu, Jianbin Li, Jingde Cheng:
A Knowledge Base for Industrial Control Network Security Analysis and Decision-Making with Reasoning Method. ACIIDS (2) 2020: 41-52
2010 – 2019
- 2019
- [j11]Ying Liu
, Ke Wang, Liang Ge, Lei Ye, Jingde Cheng:
Adaptive Evaluation of Virtual Machine Placement and Migration Scheduling Algorithms Using Stochastic Petri Nets. IEEE Access 7: 79810-79824 (2019) - [j10]Yuan Zhou
, Yuichi Goto
, Jingde Cheng:
QSL: A Specification Language for E-Questionnaire, E-Testing, and E-Voting Systems. IEICE Trans. Inf. Syst. 102-D(11): 2159-2175 (2019) - [c147]Jingchen Yan, Yating Wang, Yuichi Goto
, Jingde Cheng:
An Extension of Formal Analysis Method with Reasoning: A Case Study of Flaw Detection for Non-repudiation and Fairness. C2SI 2019: 399-408 - [c146]Hongbiao Gao, Jianbin Li, Jingde Cheng:
Industrial Control Network Security Analysis and Decision-Making by Reasoning Method Based on Strong Relevant Logic. DASC/PiCom/DataCom/CyberSciTech 2019: 289-294 - [c145]Da Bao, Yuichi Goto
, Jingde Cheng:
A Supporting Tool for IT System Security Specification Evaluation Based on ISO/IEC 15408 and ISO/IEC 18045. PAKDD (Workshops) 2019: 3-14 - [c144]Zhe Huang, Jiaxing Li, Jingde Cheng:
A Meta-Database System Approach for Business Data Sharing among Multiple Target Databases. SKG 2019: 175-181 - 2018
- [j9]Jiannong Cao, Jingde Cheng, Jianhua Ma, Ju Ren:
Guest editorial: special issue on transparent computing. Peer-to-Peer Netw. Appl. 11(4): 665-667 (2018) - [c143]Hiromu Hiidome, Yuichi Goto
, Jingde Cheng:
A Memory-Efficient Algorithm with Level-Order Unary Degree Sequence for Forward Reasoning Engines. ACIIDS (1) 2018: 59-70 - [c142]Hongbiao Gao, Jianbin Li, Jingde Cheng:
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 2018: 168-173 - [c141]Takumi Otsuka, Kentaro Fukushi, Yuichi Goto
, Jingde Cheng:
FreeEnCal Web: A Web Service of Automated Forward Reasoning for General-Purpose. SmartWorld/SCALCOM/UIC/ATC/CBDCom/IOP/SCI 2018: 180-185 - [c140]Sho Ishibashi, Jingchen Yan, Yuichi Goto
, Jingde Cheng:
Primitive Constituent Elements of Cryptographic Protocols. SmartWorld/SCALCOM/UIC/ATC/CBDCom/IOP/SCI 2018: 192-197 - [c139]Yuan Zhou
, Daisuke Matsuura, Yuichi Goto
, Jingde Cheng:
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 2018: 198-203 - [c138]Da Bao, Wen Sun, Yuichi Goto
, Jingde Cheng:
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 2018: 204-209 - [c137]Jingchen Yan, Sho Ishibashi, Yuichi Goto
, Jingde Cheng:
A Study on Fine-Grained Security Properties of Cryptographic Protocols for Formal Analysis Method with Reasoning. SmartWorld/SCALCOM/UIC/ATC/CBDCom/IOP/SCI 2018: 210-215 - [c136]Jingde Cheng, Runhe Huang, Qun Jin, Jianhua Ma, Yi Pan
:
An Undergraduate Curriculum Model for Intelligence Science and Technology. SmartWorld/SCALCOM/UIC/ATC/CBDCom/IOP/SCI 2018: 234-239 - 2017
- [j8]Dancheng Li, Wei Wang, Quanzuo Li, Jingde Cheng:
A Comprehensive Evaluation of Scheduling Methods of Virtual Machine Migration for Energy Conservation. IEEE Syst. J. 11(2): 898-909 (2017) - [c135]Kai Shi, Hai Yu
, Zhiliang Zhu, Jingde Cheng:
Anticipatory Runway Incursion Prevention Based on Inaccurate Position Surveillance Information. ACIIDS (2) 2017: 93-104 - [c134]Hongbiao Gao, Jingde Cheng:
Measuring Interestingness of Theorems in Automated Theorem Finding by Forward Reasoning: A Case Study in Peano's Arithmetic. ACIIDS (2) 2017: 115-124 - [c133]Yuichi Goto
, Hongbiao Gao, Jingde Cheng:
A Predicate Suggestion Algorithm for Automated Theorem Finding with Forward Reasoning. ACIIDS (2) 2017: 125-134 - [c132]Yifeng Han, Hongbiao Gao, Jingde Cheng:
A Design of Evolutionary Personal Information Partner Based on Software as a Service. CSA/CUTE 2017: 407-412 - [c131]Jingchen Yan, Kazunori Wagatsuma, Hongbiao Gao, Jingde Cheng:
A Supporting Environment for Formal Analysis of Cryptographic Protocols. MUE/FutureTech 2017: 545-550 - 2016
- [c130]Bo Wang
, Hongbiao Gao, Jingde Cheng:
Contract-Based Programming for Future Computing with Ada 2012. CBD 2016: 322-327 - [c129]Huilin Chen, Da Bao, Hongbiao Gao, Jingde Cheng:
A Security Evaluation and Certification Management Database Based on ISO/IEC Standards. CIS 2016: 249-253 - [c128]Yifeng Han, Hongbiao Gao, Jingde Cheng:
Autonomous Evolution in Evolutionary Personal Information Partners: Mechanism and a Case Study. CIS 2016: 461-465 - [c127]Jingchen Yan, Kazunori Wagatsuma, Hongbiao Gao, Jingde Cheng:
A Formal Analysis Method with Reasoning for Cryptographic Protocols. CIS 2016: 566-570 - [c126]Hongbiao Gao, Zhe Wang, Yuan Zhou, Jingde Cheng:
Development of a General-Purpose Offline E-Testing Environment. CIS 2016: 603-607 - [c125]Yuan Zhou
, Hongbiao Gao, Jingde Cheng:
An Extension of QSL for E-voting Systems. CSA/CUTE 2016: 87-96 - [c124]Zhi Wang, Zhaohua Zhou, Shilin Jia, Hao Liu, Dancheng Li, Jingde Cheng:
CloudEval: A Simulation Environment for Evaluating the Dynamic Cloud VM consolidation. SimuTools 2016: 37-45 - 2015
- [j7]Ying Liu, Shu Mao, Mingwei Zhang, Guoqi Liu, Zhiliang Zhu, Jingde Cheng:
Prevention of Fault Propagation in Web Service: a Complex Network Approach. J. Web Eng. 14(1&2): 136-150 (2015) - [c123]Hongbiao Gao, Jingde Cheng:
An epistemic programming approach for automated theorem finding. ICCI*CC 2015: 49-58 - [c122]Jingde Cheng:
Automated Knowledge Appreciation: A relevant reasoning approach to expand our knowledge and increase its value automatically. ICCI*CC 2015: 175-183 - [c121]Hongbiao Gao, Yuichi Goto
, Jingde Cheng:
Explicitly Epistemic Contraction by Predicate Abstraction in Automated Theorem Finding: A Case Study in NBG Set Theory. ACIIDS (1) 2015: 593-602 - [c120]Shunsuke Nanaumi, Kazunori Wagatsuma, Hongbiao Gao, Yuichi Goto
, Jingde Cheng:
A Bidirectional Transformation Supporting Tool for Formalization with Logical Formulas. ACIIDS (1) 2015: 634-643 - [c119]Hongbiao Gao, Yuichi Goto
, Jingde Cheng:
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) 2015: 508-517 - 2014
- [j6]Ahmad Iqbal Hakim Suhaimi, Yuichi Goto
, Jingde Cheng:
An Information Security Management Database System (ISMDS) for Engineering Environment Supporting Organizations with ISMSs. IEICE Trans. Inf. Syst. 97-D(6): 1516-1527 (2014) - [j5]Hongbiao Gao, Yuichi Goto
, Jingde Cheng:
A systematic methodology for automated theorem finding. Theor. Comput. Sci. 554: 2-21 (2014) - [c118]Jingde Cheng:
Computing Intentions Dynamically in a Changing World by Anticipatory Relevant Reasoning. ACIIDS (2) 2014: 361-371 - [c117]Yuichi Goto
, Liqing Xu, Ning Zhang, Jingde Cheng:
User Management in Information Security Engineering Environment ISEE. PAISI 2014: 18-34 - [c116]Liqing Xu, Yuichi Goto
, Ahmad Iqbal Hakim Suhaimi, Ning Zhang, Jingde Cheng:
Active and Personalized Services in an Information Security Engineering Cloud Based on ISO/IEC 15408. PAISI 2014: 35-48 - 2013
- [j4]Kai Shi, Yuichi Goto
, Zhiliang Zhu, Jingde Cheng:
Anticipatory Runway Incursion Prevention Systems. IEICE Trans. Inf. Syst. 96-D(11): 2385-2396 (2013) - [c115]Jianzhe Zhao, Ying Liu, Jingde Cheng:
Extending and Formalizing Bayesian Networks by Strong Relevant Logic. ACIIDS (1) 2013: 41-50 - [c114]Kai Shi, Yuichi Goto
, Zhiliang Zhu, Jingde Cheng:
Anticipatory Emergency Elevator Evacuation Systems. ACIIDS (1) 2013: 117-126 - [c113]Ning Zhang, Ahmad Iqbal Hakim Suhaimi, Yuichi Goto
, Jingde Cheng:
An Analysis of Software Supportable Tasks Related with ISO/IEC 15408. CIS 2013: 601-606 - [c112]Hongbiao Gao, Kai Shi, Yuichi Goto
, Jingde Cheng:
Finding Theorems in NBG Set Theory by Automated Forward Deduction Based on Strong Relevant Logic. COCOON 2013: 697-704 - [c111]Shunsuke Nanaumi, Kazunori Wagatsuma, Yuichi Goto
, Jingde Cheng:
Development of a supporting tool for translation between declarative sentences and logical formulas. ICMLC 2013: 1179-1184 - [c110]Hongbiao Gao, Yuichi Goto
, Jingde Cheng:
Automated Theorem Finding by Forward Deduction Based on the Semi-lattice Model of Formal Theory: A Case Study in NBG Set Theory. SKG 2013: 22-29 - 2012
- [c109]Hongbiao Gao, Kai Shi, Yuichi Goto
, Jingde Cheng:
Automated theorem finding by forward deduction based on strong relevant logic: A case study in NBG set theory. ICMLC 2012: 1859-1865 - [c108]Kazunori Wagatsuma, Yuichi Goto
, Jingde Cheng:
Formal analysis of cryptographic protocols by reasoning based on deontic relevant logic: A case study in Needham-Schroeder Shared-Key protocol. ICMLC 2012: 1866-1871 - [c107]Yuichi Goto
, Hongbiao Gao, Takahiro Tsuji, Jingde Cheng:
Practical usage of freeencal: An automated forward reasoning engine for general-purpose. ICMLC 2012: 1878-1883 - [c106]Yuichi Goto
, Jingde Cheng:
A Truth Maintenance System for Epistemic Programming Environment. SKG 2012: 1-8 - 2011
- [c105]Jian Xiao, Jizhou Sun, Gang Li, Chun Li, Sen Li, Jingde Cheng:
MicroSSB: A Lightweight Framework for On-line Distributed Application based on Soft System Bus. ENASE 2011: 211-217 - [c104]Wencheng Fang, Isao Takahashi, Yuichi Goto
, Jingde Cheng:
Practical implementation of EPLAS: An Epistemic Programming Language for all scientists. ICMLC 2011: 608-616 - 2010
- [c103]Chun-Yan Han, Yixian Liu, Ji-Peng Liu, Zhiliang Liu, Dancheng Li, Zhiliang Zhu, Jingde Cheng:
Logic basis for anticipatory reasoning-reacting systems with three-dimensional moving objects. ICMLC 2010: 2641-2646
2000 – 2009
- 2009
- [c102]Daisuke Horie, Toshio Kasahara, Yuichi Goto
, Jingde Cheng:
A New Model of Software Life Cycle Processes for Consistent Design, Development, Management, and Maintenance of Secure Information Systems. ACIS-ICIS 2009: 897-902 - [c101]Kenichi Yajima, Shoichi Morimoto, Daisuke Horie, Noor Sheila Azreen, Yuichi Goto
, Jingde Cheng:
FORVEST: A Support Tool for Formal Verification of Security Specifications with ISO/IEC 15408. ARES 2009: 624-629 - [c100]Youcheng Chen, Mohammad Reza Selim, Yuichi Goto
, Jingde Cheng:
An Improvement of REM: A Replication Oriented Event-Based Middleware. ARES 2009: 641-646 - [c99]Ahmad Iqbal, Daisuke Horie, Yuichi Goto
, Jingde Cheng:
A Database System for Effective Utilization of ISO/IEC 27002. FCST 2009: 607-612 - [c98]Yuichi Goto
, Jingde Cheng:
Information Assurance, Privacy, and Security in Ubiquitous Questionnaire. FCST 2009: 619-624 - [c97]Natsumi Kitajima, Yuichi Goto
, Jingde Cheng:
Development of a Decision-Maker in an Anticipatory Reasoning-Reacting System for Terminal Radar Control. HAIS 2009: 68-76 - [c96]Jingde Cheng:
Uncertainty Problem in Dynamic Slicing of Concurrent Programs. ICESS 2009: 241-248 - [c95]Jingde Cheng, Yuichi Goto
, Daisuke Horie, Junichi Miura, Toshio Kasahara, Ahmad Iqbal:
Development of ISEE: An Information Security Engineering Environment. ISPA 2009: 505-510 - [c94]Jingde Cheng, Yuichi Goto, Daisuke Horie:
ISEE: An Information Security Engineering Environment. SECRYPT 2009: 395-400 - [c93]Jingde Cheng:
A Temporal Relevant Logic Approach to Modeling and Reasoning about Epistemic Processes. SKG 2009: 18-25 - [p2]Daisuke Horie, Kenichi Yajima, Noor Azimah, Yuichi Goto
, Jingde Cheng:
GEST: A Generator of ISO/IEC 15408 Security Target Templates. Computer and Information Science 2009: 149-158 - 2008
- [j3]Ying Gao, Jingde Cheng:
Semantics for a basic relevant logic with intensional conjunction and disjunction (and some of its extensions). Math. Struct. Comput. Sci. 18(1): 145-164 (2008) - [c92]Natsumi Kitajima, Yuichi Goto
, Jingde Cheng:
Fast Qualitative Reasoning about Actions for Computing Anticipatory Systems. ARES 2008: 171-178 - [c91]Daisuke Horie, Shoichi Morimoto, Noor Azimah, Yuichi Goto
, Jingde Cheng:
ISEDS: An Information Security Engineering Database System Based on ISO Standards. ARES 2008: 1219-1225 - [c90]Jingde Cheng:
Evolutionary Personal Information Partners. CIS (1) 2008: 108-113 - [c89]Jingde Cheng:
Testing and Debugging Persistent Computing Systems: A New Challenge in Ubiquitous Computing. EUC (1) 2008: 408-414 - [c88]Jingde Cheng:
Adaptive Prediction by Anticipatory Reasoning Based on Temporal Relevant Logic. HIS 2008: 410-416 - [c87]Jingde Cheng:
Qualitative Spatio-temporal Reasoning about Moving Objects in Three-Dimensional Space. ISICA 2008: 637-648 - [c86]Jingde Cheng:
Deontic Relevant Logic in Knowledge-based Requirements Engineering. JCKBSE 2008: 97-102 - [c85]Jingde Cheng:
Autonomous Evolutionary Information Systems and Active Database Systems: A Comparative Study. JCKBSE 2008: 163-172 - [c84]Takahiro Koh, Yuichi Goto, Jingde Cheng:
A Fast Duplication Checking Algorithm for Forward Reasoning Engines. KES (2) 2008: 499-507 - [c83]Jingde Cheng:
Deontic Relevant Logic as the Logical Basis for Representing and Reasoning about Legal Knowledge in Legal Information Systems. KES (2) 2008: 517-525 - [c82]Yuichi Goto, Takahiro Koh, Jingde Cheng:
A General Forward Reasoning Algorithm for Various Logic Systems with Different Formalizations. KES (2) 2008: 526-535 - [c81]Shoichi Morimoto, Shinjiro Shigematsu, Yuichi Goto, Jingde Cheng:
Classification, Formalization and Verification of Security Functional Requirements. SOFSEM 2008: 622-633 - [c80]Mohammad Reza Selim, Yuichi Goto
, Jingde Cheng:
Ensuring Reliability and Availability of Soft System Bus. SSIRI 2008: 52-59 - 2007
- [c79]Jingde Cheng, Yuichi Goto, Masato Koide, Keigo Nagahama, Masami Someya, Yusuke Utsumi, Ayaka Shionoiri:
ENQUETE-BAISE: A General-Purpose E-Questionnaire Server for Ubiquitous Questionnaire. APSCC 2007: 187-195 - [c78]Ying Gao, Jingde Cheng:
Operational Semantics for Positive Relevant Logics Without Distribution. CiE 2007: 325-335 - [c77]Isao Takahashi, Shinsuke Nara, Yuichi Goto, Jingde Cheng:
EPLAS: An Epistemic Programming Language for All Scientists. International Conference on Computational Science (1) 2007: 406-413 - [c76]Shoichi Morimoto, Jingde Cheng:
A Security Specification Library with a Schemaless Database. International Conference on Computational Science (3) 2007: 890-893 - [c75]Mohammad Reza Selim, Takumi Endo, Yuichi Goto, Jingde Cheng:
Distributed hash table based design of Soft System Buses. Infoscale 2007: 78 - [c74]Jingde Cheng, Shinsuke Nara, Yuichi Goto
:
FreeEnCal: A Forward Reasoning Engine with General-Purpose. KES (2) 2007: 444-452 - [c73]Jingde Cheng, Yuichi Goto
, Shinsuke Nara, Takahiro Koh:
A Cooperative Grid Computing Approach to Automated Theorem Finding and Automated Problem Proposing. KES (2) 2007: 840-851 - [c72]Mohammad Reza Selim, Yuichi Goto
, Jingde Cheng:
A replication oriented approach to event based middleware over structured peer to peer networks. MPAC 2007: 61-66 - [c71]K. H. S. Sabaragamu Koralalage, Mohammad Reza Selim, Junichi Miura, Yuichi Goto
, Jingde Cheng:
POP method: an approach to enhance the security and privacy of RFID systems used in product lifecycle with an anonymous ownership transferring mechanism. SAC 2007: 270-275 - [c70]Shoichi Morimoto, Shinjiro Shigematsu, Yuichi Goto
, Jingde Cheng:
Formal verification of security specifications with common criteria. SAC 2007: 1506-1512 - [c69]Jingde Cheng:
A Semilattice Model for the Theory Grid. SKG 2007: 152-157 - [c68]Takumi Endo, Yuichi Goto, Jingde Cheng:
Measuring Reactability of Persistent Computing Systems. SC@ETAPS 2007: 144-151 - 2006
- [c67]Jingde Cheng, Junichi Miura:
Deontic Relevant Logic as the Logical Basis for Specifying, Verifying, and Reasoning about Information Security and Information Assurance. ARES 2006: 601-608 - [c66]Jingde Cheng:
Persistent Computing Systems as Continuously Available, Reliable, and Secure Systems. ARES 2006: 631-638 - [c65]Jingde Cheng:
Run-Time Detection of Tasking Deadlocks in Real-Time Systems with the Ada 95 Annex of Real-Time Systems. Ada-Europe 2006: 167-178 - [c64]Jianhua Ma, Qiangfu Zhao, Vipin Chaudhary, Jingde Cheng, Laurence Tianruo Yang, Runhe Huang, Qun Jin:
Ubisafe Computing: Vision and Challenges (I). ATC 2006: 386-397 - [c63]Daisuke Horie, Shoichi Morimoto, Jingde Cheng:
A Web User Interface of the Security Requirement Management Database Based on ISO/IEC 15408. International Conference on Computational Science (4) 2006: 797-804 - [c62]Shoichi Morimoto, Daisuke Horie, Jingde Cheng:
A Security Requirement Management Database Based on ISO/IEC 15408. ICCSA (3) 2006: 1-10 - [c61]Mohammad Reza Selim, Takumi Endo, Yuichi Goto, Jingde Cheng:
A Comparative Study Between Soft System Bus and Traditional Middlewares. OTM Workshops (2) 2006: 1264-1273 - [c60]Yuichi Goto, Jingde Cheng:
A quantitative analysis of implicational paradoxes in classical mathematical logic. SAC 2006: 42-43 - [c59]Jingde Cheng:
Deontic relevant logic as the logical basis for legal information systems. SAC 2006: 319-320 - [c58]Shoichi Morimoto, Shinjiro Shigematsu, Yuichi Goto, Jingde Cheng:
A security specification verification technique based on the international standard ISO/IEC 15408. SAC 2006: 1802-1803 - [c57]Jingde Cheng, Shinsuke Nara, Takahiro Koh, Yuichi Goto
:
The Theory Grid and Grid Theorists. SKG 2006: 32 - [c56]Jingde Cheng:
Temporal Deontic Relevant Logic as the Logical Basis for Decision Making Based on Anticipatory Reasoning. SMC 2006: 1036-1041 - [c55]Ying Gao, Jingde Cheng:
Semantics for a Basic Relevant Logic with Intensional Conjunction and Disjunction. LMCS 2006: 61-71 - [c54]Yuichi Goto
, Jingde Cheng:
A Quantitative Analysis of Implicational Paradoxes in Classical Mathematical Logic. LMCS 2006: 87-97 - 2005
- [c53]Jingde Cheng:
Connecting Components with Soft System Buses: A New Methodology for Design, Development, and Maintenance of Reconfigurable, Ubiquitous, and Persistent Reactive Systems. AINA 2005: 667-672 - [c52]Shoichi Morimoto, Jingde Cheng:
Patterning Protection Profiles by UML for Security Specifications. CIMCA/IAWTIC 2005: 946-951 - [c51]Jingde Cheng:
Strong Relevant Logic as the Universal Basis of Various Applied Logics for Knowledge Representation and Reasoning. EJC 2005: 310-320 - [c50]Takumi Endo, Junichi Miura, Koichi Nanashima, Shoichi Morimoto, Yuichi Goto
, Jingde Cheng:
Security in Persistently Reactive Systems. EUC Workshops 2005: 874-883 - [c49]Jingde Cheng:
Comparing Persistent Computing with Autonomic Computing. ICPADS (2) 2005: 428-432 - [c48]Jingde Cheng:
Spatio-Temporal Relevant Logic as the Logical Basis for Spatio-Temporal Information Systems. ICTAI 2005: 270-274 - [c47]Feng Shang, Jingde Cheng:
Anticipatory Agents Based on Anticipatory Reasoning. ISMIS 2005: 445-455 - [c46]Jingde Cheng:
Reciprocal Logic: Logics for Specifying, Verifying, and Reasoning About Reciprocal Relationships. KES (2) 2005: 437-445 - [c45]Shinsuke Nara, Takashi Omi, Yuichi Goto, Jingde Cheng:
A General-Purpose Forward Deduction Engine for Modal Logics. KES (2) 2005: 739-745 - [c44]Jingde Cheng:
Autonomous and Continuous Evolution of Information Systems. KES (1) 2005: 758-767 - 2004
- [c43]Jingde Cheng, Yuichi Goto:
Representing and Reasoning About Spatial Knowledge Based on Spatial Relevant Logic. ER (Workshops) 2004: 114-126 - [c42]Jingde Cheng:
Spatio-temporal Relevant Logic as the Logical Basis for Specifying, Verifying, and Reasoning About Mobile Multi-agent Systems. ER (Workshops) 2004: 470 - 2003
- [c41]Jingde Cheng:
Automated Knowledge Acquisition by Relevant Reasoning Based on Strong Relevant Logic. KES 2003: 68-80 - 2002
- [c40]Romi Satria Wahono
, Jingde Cheng:
Extensible Requirements Patterns of Web Application for Efficient Web Application Development. CW 2002: 412-418 - [c39]Masato Koide, Jingde Cheng:
A toolkit for developing programs of card game played on the internet. IWEC 2002: 57-64 - [c38]Takahiro Tagawa, Jingde Cheng:
Deontic Relevant Logic: A Strong Relevant Logic Approach to Removing Paradoxes from Deontic Logic. PRICAI 2002: 39-48 - 2001
- [c37]Jianjun Zhao, Jingde Cheng, Kazuo Ushijima:
Computing Executable Slices for Concurrent Logic Programs. APAQS 2001: 13-22 - [c36]Yusuke Nonaka, Kazuo Ushijima, Hibiki Serizawa, Shigeru Murata, Jingde Cheng:
A Run-Time Deadlock Detector for Concurrent Java Programs. APSEC 2001: 45-52 - [c35]Jianjun Zhao, Jingde Cheng, Kazuo Ushijima:
CLPKIDS: A Program Analysis System for Concurrent Logic Programs. COMPSAC 2001: 531-537 - [c34]Jianjun Zhao, Jingde Cheng, Kazuo Ushijima:
A Program Dependence Model for Concurrent Logic Programs and its Applications. ICSM 2001: 672-681 - 2000
- [c33]Yusuke Nonaka, Jingde Cheng, Kazuo Ushijima:
A Supporting Tool for Development of Self-Measurement Ada Programs. Ada-Europe 2000: 69-81 - [c32]Yusuke Nonaka, Kazuo Ushijima, Jingde Cheng:
Monitoring facilities in languages supporting development of concurrent self-measurement programs. APSEC 2000: 92-99 - [c31]Jingde Cheng:
Designing, developing, and maintaining concurrent systems based on self-measurement principle. IRMA Conference 2000: 944-945 - [c30]Jingde Cheng:
Temporal relevant logic as the logical basis of autonomous evolutionary information systems. IRMA Conference 2000: 950-951
1990 – 1999
- 1999
- [c29]Yusuke Nonaka, Katsuhiko Hatano, Yoshinari Nomura, Jingde Cheng, Kazuo Ushijima:
A System Dependence Net Generator for Ada Programs. APSEC 1999: 441-448 - [c28]Jingde Cheng:
A Strong Relevant Logic Model of Epistemic Processes in Scientific Discovery. EJC 1999: 136-159 - [c27]Jingde Cheng:
A Strong Relevant Logic Model of Epistemic Processes in Scientific Discovery (Extended Abstract). PAKDD 1999: 489-493 - 1998
- [c26]Jianjun Zhao, Jingde Cheng, Kazuo Ushijima:
A Dependence-Based Representation for Concurrent Object-Oriented Software Maintenance. CSMR 1998: 60-66 - [c25]Jianjun Zhao, Jingde Cheng, Kazuo Ushijima:
A Metrics Suite for Concurrent Logic Programs. CSMR 1998: 172-178 - [c24]Jingde Cheng:
A Strong Relevant Logic Model of Epistemic Processes in Schientific Discovery. Discovery Science 1998: 403-404 - [c23]Jingde Cheng:
Temporal relevant logic as the logic basis for reasoning about dynamics of concurrent systems. SMC 1998: 794-799 - [c22]Jingde Cheng:
The self-measurement principle: a design principle for large-scale, long-lived, and highly reliable concurrent systems. SMC 1998: 4010-4015 - 1997
- [c21]Jingde Cheng:
Dependence Analysis of Parallel and Distributed Programs and Its Applications. APDC 1997: 370-377 - [c20]Kazunori Nishi, Jingde Cheng, Kazuo Ushijima:
Improving the Performance of Automated Forward Deduction System EnCal. ISHPC 1997: 371-380 - [c19]Jingde Cheng:
Task Dependence Nets for Concurrent Systems with Ada 95 and Its Applications. TRI-Ada 1997: 67-78 - 1996
- [c18]Jingde Cheng, Kazuo Ushijima:
Tasking Deadlocks in Ada 95 Programs and Their Detection. Ada-Europe 1996: 135-146 - [c17]Kazuaki Goshi, Jingde Cheng, Kazuo Ushijima:
ALPS-JI: An Annotated Logic Programming System with Hypothetical Implications (Abstract). ASIAN 1996: 343-344 - [c16]Jianjun Zhao, Jingde Cheng, Kazuo Ushijima:
Static Slicing of Concurrent Object-Oriented Programs. COMPSAC 1996: 312-320 - [c15]Jianjun Zhao, Jingde Cheng, Kazuo Ushijima:
Program dependence analysis of concurrent logic programs and its applications. ICPADS 1996: 282-291 - [c14]Jingde Cheng:
EnCal: an automated forward deduction system for general-purpose entailment calculus. IFIP World Conference on IT Tools 1996 - 1995
- [c13]Yoshiaki Kasahara
, Yoshinari Nomura, Masayuki Kamachi, Jingde Cheng, Kazuo Ushijima:
An Integrated Support Environment for Distributed Software Development based on Unified Program Representations. APSEC 1995: 254-263 - [c12]Jianjun Zhao, Jingde Cheng, Kazuo Ushijima:
Program Dependence Analysis of Concurrent Logic Programs and Its Applications. ICLP 1995: 825 - 1993
- [c11]Jingde Cheng:
Slicing Concurrent Programs - A Graph-Theoretical Approach. AADEBUG 1993: 223-240 - [c10]Jingde Cheng:
Process dependence net of distributed programs and its applications in development of distributed systems. COMPSAC 1993: 231-240 - [c9]Jingde Cheng:
Dependence-Based Complexity Metrics for Distributed Programs. ICPP (2) 1993: 265-268 - [c8]Jingde Cheng:
Complexity metrics for distributed programs. ISSRE 1993: 132-141 - [c7]Jingde Cheng:
Nondeterministic Parallel Control-Flow / Definition-Use Nets and their Applications. PARCO 1993: 589-592 - 1992
- [c6]Jingde Cheng:
Task Dependence Net as a Representation for Concurrent Ada Programs. Ada-Europe 1992: 150-164 - 1991
- [j2]Keijiro Araki, Zengo Furukawa, Jingde Cheng:
A General Framework for Debugging. IEEE Softw. 8(3): 14-20 (1991) - [c5]Jingde Cheng:
Logical tool of knowledge engineering: using entailment logic rather than mathematical logic. ACM Conference on Computer Science 1991: 228-238 - [c4]Jingde Cheng, Kazuo Ushijima:
Analyzing Ada Tasking Deadlocks and Livelocks Using Extended Petri Nets. Ada-Europe 1991: 125-146 - [c3]Jingde Cheng, Yoshiaki Kasahara
, Kazuo Ushijima:
A tasking deadlock detector for Ada programs. COMPSAC 1991: 56-63 - [p1]Jingde Cheng:
Relevance Logic and Entailment Logic. Software Science and Engineering 1991: 189-211 - 1990
- [j1]Jingde Cheng:
An Algebraic Semantics of Notional Entailment Logic Cn. Inf. Process. Lett. 36(3): 117-121 (1990) - [c2]Jingde Cheng:
Task-wait-for graphs and their application to handling tasking deadlocks. TRI-Ada 1990: 376-390
1980 – 1989
- 1989
- [c1]Jingde Cheng, Kazuo Ushijima:
Entailment as a logical basis for incremental generation of causal relations. COMPSAC 1989: 719-726
Coauthor Index
![](https://dblp.org/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-04-25 05:39 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint