- CSB - MetaPress - Google - Bing - Yahoo
 | 2013 | |
|---|---|---|
| c97 |      | Jianzhe Zhao, Ying Liu, Jingde Cheng: Extending and Formalizing Bayesian Networks by Strong Relevant Logic. ACIIDS (1) 2013: 41-50 |
| c96 | | Kai Shi, Yuichi Goto, Zhiliang Zhu, Jingde Cheng: Anticipatory Emergency Elevator Evacuation Systems. ACIIDS (1) 2013: 117-126 |
| c95 | | 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 |
| 2012 | ||
| c94 | | 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 |
| c93 | | 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 |
| c92 | | Yuichi Goto, Hongbiao Gao, Takahiro Tsuji, Jingde Cheng: Practical usage of freeencal: An automated forward reasoning engine for general-purpose. ICMLC 2012: 1878-1883 |
| c91 | | Yuichi Goto, Jingde Cheng: A Truth Maintenance System for Epistemic Programming Environment. SKG 2012: 1-8 |
| 2011 | ||
| c90 |  | 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 |
| c89 | | Wencheng Fang, Isao Takahashi, Yuichi Goto, Jingde Cheng: Practical implementation of EPLAS: An Epistemic Programming Language for all scientists. ICMLC 2011: 608-616 |
| 2009 | ||
| c88 | | 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 |
| c87 | | 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 |
| c86 | | Youcheng Chen, Mohammad Reza Selim, Yuichi Goto, Jingde Cheng: An Improvement of REM: A Replication Oriented Event-Based Middleware. ARES 2009: 641-646 |
| c85 | | 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 |
| c84 | | |
| c83 | | Jingde Cheng, Yuichi Goto, Daisuke Horie, Junichi Miura, Toshio Kasahara, Ahmad Iqbal: Development of ISEE: An Information Security Engineering Environment. ISPA 2009: 505-510 |
| c82 | | Jingde Cheng, Yuichi Goto, Daisuke Horie: ISEE: An Information Security Engineering Environment. SECRYPT 2009: 395-400 |
| p1 | | 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 | ||
| j5 | | Ying 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) |
| c81 | | Natsumi Kitajima, Yuichi Goto, Jingde Cheng: Fast Qualitative Reasoning about Actions for Computing Anticipatory Systems. ARES 2008: 171-178 |
| c80 | | 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 |
| c79 | | |
| c78 | | Jingde Cheng: Testing and Debugging Persistent Computing Systems: A New Challenge in Ubiquitous Computing. EUC (1) 2008: 408-414 |
| c77 | | Jingde Cheng: Adaptive Prediction by Anticipatory Reasoning Based on Temporal Relevant Logic. HIS 2008: 410-416 |
| c76 | | Jingde Cheng: Qualitative Spatio-temporal Reasoning about Moving Objects in Three-Dimensional Space. ISICA 2008: 637-648 |
| c75 | | Jingde Cheng: Deontic Relevant Logic in Knowledge-based Requirements Engineering. JCKBSE 2008: 97-102 |
| c74 | | Jingde Cheng: Autonomous Evolutionary Information Systems and Active Database Systems: A Comparative Study. JCKBSE 2008: 163-172 |
| c73 | | Takahiro Koh, Yuichi Goto, Jingde Cheng: A Fast Duplication Checking Algorithm for Forward Reasoning Engines. KES (2) 2008: 499-507 |
| c72 | | 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 |
| c71 | | Yuichi Goto, Takahiro Koh, Jingde Cheng: A General Forward Reasoning Algorithm for Various Logic Systems with Different Formalizations. KES (2) 2008: 526-535 |
| c70 | | Shoichi Morimoto, Shinjiro Shigematsu, Yuichi Goto, Jingde Cheng: Classification, Formalization and Verification of Security Functional Requirements. SOFSEM 2008: 622-633 |
| c69 | | Mohammad Reza Selim, Yuichi Goto, Jingde Cheng: Ensuring Reliability and Availability of Soft System Bus. SSIRI 2008: 52-59 |
| 2007 | ||
| j4 | | Ying Gao, Jingde Cheng: Semantics for a Basic Relevant Logic with Intensional Conjunction and Disjunction. Electr. Notes Theor. Comput. Sci. 169: 61-71 (2007) |
| j3 | | Yuichi Goto, Jingde Cheng: A Quantitative Analysis of Implicational Paradoxes in Classical Mathematical Logic. Electr. Notes Theor. Comput. Sci. 169: 87-97 (2007) |
| c68 | | 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 |
| c67 | | |
| c66 | | 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 |
| c65 | | Shoichi Morimoto, Jingde Cheng: A Security Specification Library with a Schemaless Database. International Conference on Computational Science (3) 2007: 890-893 |
| c64 | | Mohammad Reza Selim, Takumi Endo, Yuichi Goto, Jingde Cheng: Distributed hash table based design of Soft System Buses. Infoscale 2007: 78 |
| c63 | | Jingde Cheng, Shinsuke Nara, Yuichi Goto: FreeEnCal: A Forward Reasoning Engine with General-Purpose. KES (2) 2007: 444-452 |
| c62 | | 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 |
| c61 | | 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 |
| c60 | | 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 |
| c59 | | Shoichi Morimoto, Shinjiro Shigematsu, Yuichi Goto, Jingde Cheng: Formal verification of security specifications with common criteria. SAC 2007: 1506-1512 |
| c58 | | Takumi Endo, Yuichi Goto, Jingde Cheng: Measuring Reactability of Persistent Computing Systems. Software Composition 2007: 144-151 |
| 2006 | ||
| c57 | | 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 |
| c56 | | Jingde Cheng: Persistent Computing Systems as Continuously Available, Reliable, and Secure Systems. ARES 2006: 631-638 |
| c55 | | 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 |
| c54 | | 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 |
| c53 | | 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 |
| c52 | | Shoichi Morimoto, Daisuke Horie, Jingde Cheng: A Security Requirement Management Database Based on ISO/IEC 15408. ICCSA (3) 2006: 1-10 |
| c51 | | 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 |
| c50 | | Yuichi Goto, Jingde Cheng: A quantitative analysis of implicational paradoxes in classical mathematical logic. SAC 2006: 42-43 |
| c49 | | Jingde Cheng: Deontic relevant logic as the logical basis for legal information systems. SAC 2006: 319-320 |
| c48 | | 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 |
| c47 | | Jingde Cheng, Shinsuke Nara, Takahiro Koh, Yuichi Goto: The Theory Grid and Grid Theorists. SKG 2006: 32 |
| c46 | | Jingde Cheng: Temporal Deontic Relevant Logic as the Logical Basis for Decision Making Based on Anticipatory Reasoning. SMC 2006: 1036-1041 |
| 2005 | ||
| c45 | | 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 |
| c44 | | Shoichi Morimoto, Jingde Cheng: Patterning Protection Profiles by UML for Security Specifications. CIMCA/IAWTIC 2005: 946-951 |
| c43 | | Jingde Cheng: Strong Relevant Logic as the Universal Basis of Various Applied Logics for Knowledge Representation and Reasoning. EJC 2005: 310-320 |
| c42 | | Takumi Endo, Junichi Miura, Koichi Nanashima, Shoichi Morimoto, Yuichi Goto, Jingde Cheng: Security in Persistently Reactive Systems. EUC Workshops 2005: 874-883 |
| c41 | | |
| c40 | | Jingde Cheng: Spatio-Temporal Relevant Logic as the Logical Basis for Spatio-Temporal Information Systems. ICTAI 2005: 270-274 |
| c39 | | |
| c38 | | Jingde Cheng: Reciprocal Logic: Logics for Specifying, Verifying, and Reasoning About Reciprocal Relationships. KES (2) 2005: 437-445 |
| c37 | | Shinsuke Nara, Takashi Omi, Yuichi Goto, Jingde Cheng: A General-Purpose Forward Deduction Engine for Modal Logics. KES (2) 2005: 739-745 |
| c36 | | |
| 2004 | ||
| c35 | | Jingde Cheng, Yuichi Goto: Representing and Reasoning About Spatial Knowledge Based on Spatial Relevant Logic. ER (Workshops) 2004: 114-126 |
| c34 | | 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 | ||
| c33 | | Jingde Cheng: Automated Knowledge Acquisition by Relevant Reasoning Based on Strong Relevant Logic. KES 2003: 68-80 |
| 2002 | ||
| c32 | | Romi S. Wahono, Jingde Cheng: Extensible Requirements Patterns of Web Application for Efficient Web Application Development. CW 2002: 412-418 |
| c31 | | Masato Koide, Jingde Cheng: A toolkit for developing programs of card game played on the internet. IWEC 2002: 57-64 |
| c30 | | Takahiro Tagawa, Jingde Cheng: Deontic Relevant Logic: A Strong Relevant Logic Approach to Removing Paradoxes from Deontic Logic. PRICAI 2002: 39-48 |
| 2001 | ||
| c29 | | Jianjun Zhao, Jingde Cheng, Kazuo Ushijima: Computing Executable Slices for Concurrent Logic Programs. APAQS 2001: 13-22 |
| c28 | | Yusuka Nonaka, Kazuo Ushijima, Hibiki Serizawa, Shigeru Murata, Jingde Cheng: A Run-Time Deadlock Detector for Concurrent Java Programs. APSEC 2001: 45-52 |
| c27 | | Jianjun Zhao, Jingde Cheng, Kazuo Ushijima: CLPKIDS: A Program Analysis System for Concurrent Logic Programs. COMPSAC 2001: 531-537 |
| c26 | | Jianjun Zhao, Jingde Cheng, Kazuo Ushijima: A Program Dependence Model for Concurrent Logic Programs and its Applications. ICSM 2001: 672-681 |
| 2000 | ||
| c25 | | Yusuke Nonaka, Jingde Cheng, Kazuo Ushijima: A Supporting Tool for Development of Self-Measurement Ada Programs. Ada-Europe 2000: 69-81 |
| c24 | | Yusuke Nonaka, Kazuo Ushijima, Jingde Cheng: Monitoring facilities in languages supporting development of concurrent self-measurement programs. APSEC 2000: 92-99 |
| c23 | | Jingde Cheng: Designing, developing, and maintaining concurrent systems based on self-measurement principle. IRMA Conference 2000: 944-945 |
| c22 | | Jingde Cheng: Temporal relevant logic as the logical basis of autonomous evolutionary information systems. IRMA Conference 2000: 950-951 |
| 1999 | ||
| c21 | | Yusuke Nonaka, Katsuhiko Hatano, Yoshinari Nomura, Jingde Cheng, Kazuo Ushijima: A System Dependence Net Generator for Ada Programs. APSEC 1999: 441-448 |
| c20 | | Jingde Cheng: A Strong Relevant Logic Model of Epistemic Processes in Scientific Discovery. EJC 1999: 136-159 |
| c19 | | Jingde Cheng: A Strong Relevant Logic Model of Epistemic Processes in Scientific Discovery (Extended Abstract). PAKDD 1999: 489-493 |
| 1998 | ||
| c18 | | Jianjun Zhao, Jingde Cheng, Kazuo Ushijima: A Dependence-Based Representation for Concurrent Object-Oriented Software Maintenance. CSMR 1998: 60-66 |
| c17 | | Jianjun Zhao, Jingde Cheng, Kazuo Ushijima: A Metrics Suite for Concurrent Logic Programs. CSMR 1998: 172-178 |
| c16 | | Jingde Cheng: A Strong Relevant Logic Model of Epistemic Processes in Schientific Discovery. Discovery Science 1998: 403-404 |
| 1997 | ||
| c15 | | Jingde Cheng: Dependence Analysis of Parallel and Distributed Programs and Its Applications. APDC 1997: 370-377 |
| c14 | | Kazunori Nishi, Jingde Cheng, Kazuo Ushijima: Improving the Performance of Automated Forward Deduction System EnCal. ISHPC 1997: 371-380 |
| c13 | | Jingde Cheng: Task Dependence Nets for Concurrent Systems with Ada 95 and Its Applications. TRI-Ada 1997: 67-78 |
| 1996 | ||
| c12 | | Jingde Cheng, Kazuo Ushijima: Tasking Deadlocks in Ada 95 Programs and Their Detection. Ada-Europe 1996: 135-146 |
| c11 | | Kazuaki Goshi, Jingde Cheng, Kazuo Ushijima: ALPS-JI: An Annotated Logic Programming System with Hypothetical Implications (Abstract). ASIAN 1996: 343-344 |
| c10 | | Jianjun Zhao, Jingde Cheng, Kazuo Ushijima: Static Slicing of Concurrent Object-Oriented Programs. COMPSAC 1996: 312-320 |
| c9 | | Jianjun Zhao, Jingde Cheng, Kazuo Ushijima: Program dependence analysis of concurrent logic programs and its applications. ICPADS 1996: 282-291 |
| c8 | | Jingde Cheng: EnCal: an automated forward deduction system for general-purpose entailment calculus. IFIP World Conference on IT Tools 1996 |
| 1995 | ||
| c7 | | 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 |
| c6 | | Jianjun Zhao, Jingde Cheng, Kazuo Ushijima: Program Dependence Analysis of Concurrent Logic Programs and Its Applications. ICLP 1995: 825 |
| 1993 | ||
| c5 | | |
| c4 | | |
| c3 | | Jingde Cheng: Nondeterministic Parallel Control-Flow / Definition-Use Nets and their Applications. PARCO 1993: 589-592 |
| 1992 | ||
| c2 | | 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 Software 8(3): 14-20 (1991) |
| c1 | | Jingde Cheng, Kazuo Ushijima: Analyzing Ada Tasking Deadlocks and Livelocks Using Extended Petri Nets. Ada-Europe 1991: 125-146 |
| 1990 | ||
| j1 | | Jingde Cheng: An Algebraic Semantics of Notional Entailment Logic Cn. Inf. Process. Lett. 36(3): 117-121 (1990) |
Colors in the list of coauthors
Last update Sat May 25 20:07:49 2013 CET by the DBLP Team —
Data released under the ODC-BY 1.0 license — See also our legal information page