Jingde Cheng

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo
Home Page

80EEDaisuke Horie, Shoichi Morimoto, Noor Azimah, Yuichi Goto, Jingde Cheng: ISEDS: An Information Security Engineering Database System Based on ISO Standards. ARES 2008: 1219-1225
79EENatsumi Kitajima, Yuichi Goto, Jingde Cheng: Fast Qualitative Reasoning about Actions for Computing Anticipatory Systems. ARES 2008: 171-178
78EEJingde Cheng: Qualitative Spatio-temporal Reasoning about Moving Objects in Three-Dimensional Space. ISICA 2008: 637-648
77EEJingde Cheng: Autonomous Evolutionary Information Systems and Active Database Systems: A Comparative Study. JCKBSE 2008: 163-172
76EEJingde Cheng: Deontic Relevant Logic in Knowledge-based Requirements Engineering. JCKBSE 2008: 97-102
75EETakahiro Koh, Yuichi Goto, Jingde Cheng: A Fast Duplication Checking Algorithm for Forward Reasoning Engines. KES (2) 2008: 499-507
74EEJingde Cheng: Deontic Relevant Logic as the Logical Basis for Representing and Reasoning about Legal Knowledge in Legal Information Systems. KES (2) 2008: 517-525
73EEYuichi Goto, Takahiro Koh, Jingde Cheng: A General Forward Reasoning Algorithm for Various Logic Systems with Different Formalizations. KES (2) 2008: 526-535
72EEShoichi Morimoto, Shinjiro Shigematsu, Yuichi Goto, Jingde Cheng: Classification, Formalization and Verification of Security Functional Requirements. SOFSEM 2008: 622-633
71EEYing Gao, Jingde Cheng: Semantics for a basic relevant logic with intensional conjunction and disjunction (and some of its extensions). Mathematical Structures in Computer Science 18(1): 145-164 (2008)
70EEYing Gao, Jingde Cheng: Operational Semantics for Positive Relevant Logics Without Distribution. CiE 2007: 325-335
69EEMohammad Reza Selim, Takumi Endo, Yuichi Goto, Jingde Cheng: Distributed hash table based design of Soft System Buses. Infoscale 2007: 78
68EEIsao Takahashi, Shinsuke Nara, Yuichi Goto, Jingde Cheng: EPLAS: An Epistemic Programming Language for All Scientists. International Conference on Computational Science (1) 2007: 406-413
67EEShoichi Morimoto, Jingde Cheng: A Security Specification Library with a Schemaless Database. International Conference on Computational Science (3) 2007: 890-893
66EEJingde Cheng, Shinsuke Nara, Yuichi Goto: FreeEnCal: A Forward Reasoning Engine with General-Purpose. KES (2) 2007: 444-452
65EEJingde 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
64EEMohammad Reza Selim, Yuichi Goto, Jingde Cheng: A replication oriented approach to event based middleware over structured peer to peer networks. MPAC 2007: 61-66
63EEShoichi Morimoto, Shinjiro Shigematsu, Yuichi Goto, Jingde Cheng: Formal verification of security specifications with common criteria. SAC 2007: 1506-1512
62EEK. 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
61EETakumi Endo, Yuichi Goto, Jingde Cheng: Measuring Reactability of Persistent Computing Systems. Software Composition 2007: 144-151
60EEYing Gao, Jingde Cheng: Semantics for a Basic Relevant Logic with Intensional Conjunction and Disjunction. Electr. Notes Theor. Comput. Sci. 169: 61-71 (2007)
59EEYuichi Goto, Jingde Cheng: A Quantitative Analysis of Implicational Paradoxes in Classical Mathematical Logic. Electr. Notes Theor. Comput. Sci. 169: 87-97 (2007)
58EEJingde 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
57EEJingde Cheng: Persistent Computing Systems as Continuously Available, Reliable, and Secure Systems. ARES 2006: 631-638
56EEJianhua Ma, Qiangfu Zhao, Vipin Chaudhary, Jingde Cheng, Laurence Tianruo Yang, Runhe Huang, Qun Jin: Ubisafe Computing: Vision and Challenges (I). ATC 2006: 386-397
55EEJingde 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
54EEShoichi Morimoto, Daisuke Horie, Jingde Cheng: A Security Requirement Management Database Based on ISO/IEC 15408. ICCSA (3) 2006: 1-10
53EEDaisuke 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
52EEMohammad Reza Selim, Takumi Endo, Yuichi Goto, Jingde Cheng: A Comparative Study Between Soft System Bus and Traditional Middlewares. OTM Workshops (2) 2006: 1264-1273
51EEShoichi Morimoto, Shinjiro Shigematsu, Yuichi Goto, Jingde Cheng: A security specification verification technique based on the international standard ISO/IEC 15408. SAC 2006: 1802-1803
50EEJingde Cheng: Deontic relevant logic as the logical basis for legal information systems. SAC 2006: 319-320
49EEYuichi Goto, Jingde Cheng: A quantitative analysis of implicational paradoxes in classical mathematical logic. SAC 2006: 42-43
48EEJingde Cheng, Shinsuke Nara, Takahiro Koh, Yuichi Goto: The Theory Grid and Grid Theorists. SKG 2006: 32
47EEJingde 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
46 Shoichi Morimoto, Jingde Cheng: Patterning Protection Profiles by UML for Security Specifications. CIMCA/IAWTIC 2005: 946-951
45 Jingde Cheng: Strong Relevant Logic as the Universal Basis of Various Applied Logics for Knowledge Representation and Reasoning. EJC 2005: 310-320
44EETakumi Endo, Junichi Miura, Koichi Nanashima, Shoichi Morimoto, Yuichi Goto, Jingde Cheng: Security in Persistently Reactive Systems. EUC Workshops 2005: 874-883
43EEJingde Cheng: Comparing Persistent Computing with Autonomic Computing. ICPADS (2) 2005: 428-432
42EEJingde Cheng: Spatio-Temporal Relevant Logic as the Logical Basis for Spatio-Temporal Information Systems. ICTAI 2005: 270-274
41EEFeng Shang, Jingde Cheng: Anticipatory Agents Based on Anticipatory Reasoning. ISMIS 2005: 445-455
40EEJingde Cheng: Autonomous and Continuous Evolution of Information Systems. KES (1) 2005: 758-767
39EEJingde Cheng: Reciprocal Logic: Logics for Specifying, Verifying, and Reasoning About Reciprocal Relationships. KES (2) 2005: 437-445
38EEShinsuke Nara, Takashi Omi, Yuichi Goto, Jingde Cheng: A General-Purpose Forward Deduction Engine for Modal Logics. KES (2) 2005: 739-745
37EEJingde Cheng, Yuichi Goto: Representing and Reasoning About Spatial Knowledge Based on Spatial Relevant Logic. ER (Workshops) 2004: 114-126
36EEJingde Cheng: Spatio-temporal Relevant Logic as the Logical Basis for Specifying, Verifying, and Reasoning About Mobile Multi-agent Systems. ER (Workshops) 2004: 470
35EEJingde Cheng: Automated Knowledge Acquisition by Relevant Reasoning Based on Strong Relevant Logic. KES 2003: 68-80
34EERomi S. Wahono, Jingde Cheng: Extensible Requirements Patterns of Web Application for Efficient Web Application Development. CW 2002: 412-418
33 Masato Koide, Jingde Cheng: A toolkit for developing programs of card game played on the internet. IWEC 2002: 57-64
32EETakahiro Tagawa, Jingde Cheng: Deontic Relevant Logic: A Strong Relevant Logic Approach to Removing Paradoxes from Deontic Logic. PRICAI 2002: 39-48
31EEJianjun Zhao, Jingde Cheng, Kazuo Ushijima: Computing Executable Slices for Concurrent Logic Programs. APAQS 2001: 13-22
30EEYusuka Nonaka, Kazuo Ushijima, Hibiki Serizawa, Shigeru Murata, Jingde Cheng: A Run-Time Deadlock Detector for Concurrent Java Programs. APSEC 2001: 45-52
29EEJianjun Zhao, Jingde Cheng, Kazuo Ushijima: CLPKIDS: A Program Analysis System for Concurrent Logic Programs. COMPSAC 2001: 531-537
28EEJianjun Zhao, Jingde Cheng, Kazuo Ushijima: A Program Dependence Model for Concurrent Logic Programs and its Applications. ICSM 2001: 672-681
27EEYusuke Nonaka, Kazuo Ushijima, Jingde Cheng: Monitoring facilities in languages supporting development of concurrent self-measurement programs. APSEC 2000: 92-99
26 Yusuke Nonaka, Jingde Cheng, Kazuo Ushijima: A Supporting Tool for Development of Self-Measurement Ada Programs. Ada-Europe 2000: 69-81
25 Jingde Cheng: Designing, developing, and maintaining concurrent systems based on self-measurement principle. IRMA Conference 2000: 944-945
24 Jingde Cheng: Temporal relevant logic as the logical basis of autonomous evolutionary information systems. IRMA Conference 2000: 950-951
23EEYusuke Nonaka, Katsuhiko Hatano, Yoshinari Nomura, Jingde Cheng, Kazuo Ushijima: A System Dependence Net Generator for Ada Programs. APSEC 1999: 441-448
22 Jingde Cheng: A Strong Relevant Logic Model of Epistemic Processes in Scientific Discovery. EJC 1999: 136-159
21EEJingde Cheng: A Strong Relevant Logic Model of Epistemic Processes in Scientific Discovery (Extended Abstract). PAKDD 1999: 489-493
20EEJianjun Zhao, Jingde Cheng, Kazuo Ushijima: A Metrics Suite for Concurrent Logic Programs. CSMR 1998: 172-178
19EEJianjun Zhao, Jingde Cheng, Kazuo Ushijima: A Dependence-Based Representation for Concurrent Object-Oriented Software Maintenance. CSMR 1998: 60-66
18EEJingde Cheng: A Strong Relevant Logic Model of Epistemic Processes in Schientific Discovery. Discovery Science 1998: 403-404
17EEJingde Cheng: Dependence Analysis of Parallel and Distributed Programs and Its Applications. APDC 1997: 370-377
16 Kazunori Nishi, Jingde Cheng, Kazuo Ushijima: Improving the Performance of Automated Forward Deduction System EnCal. ISHPC 1997: 371-380
15EEJingde Cheng: Task Dependence Nets for Concurrent Systems with Ada 95 and Its Applications. TRI-Ada 1997: 67-78
14 Kazuaki Goshi, Jingde Cheng, Kazuo Ushijima: ALPS-JI: An Annotated Logic Programming System with Hypothetical Implications (Abstract). ASIAN 1996: 343-344
13 Jingde Cheng, Kazuo Ushijima: Tasking Deadlocks in Ada 95 Programs and Their Detection. Ada-Europe 1996: 135-146
12EEJianjun Zhao, Jingde Cheng, Kazuo Ushijima: Static Slicing of Concurrent Object-Oriented Programs. COMPSAC 1996: 312-320
11EEJianjun Zhao, Jingde Cheng, Kazuo Ushijima: Program dependence analysis of concurrent logic programs and its applications. ICPADS 1996: 282-291
10 Jingde Cheng: EnCal: an automated forward deduction system for general-purpose entailment calculus. IFIP World Conference on IT Tools 1996
9EEYoshiaki 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
8 Jianjun Zhao, Jingde Cheng, Kazuo Ushijima: Program Dependence Analysis of Concurrent Logic Programs and Its Applications. ICLP 1995: 825
7 Jingde Cheng: Slicing Concurrent Programs - A Graph-Theoretical Approach. AADEBUG 1993: 223-240
6 Jingde Cheng: Dependence-Based Complexity Metrics for Distributed Programs. ICPP 1993: 265-268
5 Jingde Cheng: Nondeterministic Parallel Control-Flow / Definition-Use Nets and their Applications. PARCO 1993: 589-592
4 Jingde Cheng: Task Dependence Net as a Representation for Concurrent Ada Programs. Ada-Europe 1992: 150-164
3 Jingde Cheng, Kazuo Ushijima: Analyzing Ada Tasking Deadlocks and Livelocks Using Extended Petri Nets. Ada-Europe 1991: 125-146
2 Keijiro Araki, Zengo Furukawa, Jingde Cheng: A General Framework for Debugging. IEEE Software 8(3): 14-20 (1991)
1 Jingde Cheng: An Algebraic Semantics of Notional Entailment Logic Cn. Inf. Process. Lett. 36(3): 117-121 (1990)

Coauthor Index

1Keijiro Araki [2]
2Noor Azimah [80]
3Vipin Chaudhary [56]
4Takumi Endo [44] [52] [61] [69]
5Zengo Furukawa [2]
6Ying Gao [60] [70] [71]
7Kazuaki Goshi [14]
8Yuichi Goto [37] [38] [44] [48] [49] [51] [52] [59] [61] [62] [63] [64] [65] [66] [68] [69] [72] [73] [75] [79] [80]
9Katsuhiko Hatano [23]
10Daisuke Horie [53] [54] [80]
11Runhe Huang [56]
12Qun Jin [56]
13Masayuki Kamachi [9]
14Yoshiaki Kasahara [9]
15Natsumi Kitajima [79]
16Takahiro Koh [48] [65] [73] [75]
17Masato Koide [33]
18K. H. S. Sabaragamu Koralalage [62]
19Jianhua Ma [56]
20Junichi Miura [44] [58] [62]
21Shoichi Morimoto [44] [46] [51] [53] [54] [63] [67] [72] [80]
22Shigeru Murata [30]
23Koichi Nanashima [44]
24Shinsuke Nara [38] [48] [65] [66] [68]
25Kazunori Nishi [16]
26Yoshinari Nomura [9] [23]
27Yusuka Nonaka [30]
28Yusuke Nonaka [23] [26] [27]
29Takashi Omi [38]
30Mohammad Reza Selim [52] [62] [64] [69]
31Hibiki Serizawa [30]
32Feng Shang [41]
33Shinjiro Shigematsu [51] [63] [72]
34Takahiro Tagawa [32]
35Isao Takahashi [68]
36Kazuo Ushijima [3] [8] [9] [11] [12] [13] [14] [16] [19] [20] [23] [26] [27] [28] [29] [30] [31]
37Romi S. Wahono [34]
38Laurence Tianruo Yang [56]
39Jianjun Zhao [8] [11] [12] [19] [20] [28] [29] [31]
40Qiangfu Zhao [56]

Colors in the list of coauthors

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)