The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Jingde Cheng: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Jingde Cheng
    Persistent Computing Systems as Continuously Available, Reliable, and Secure Systems. [Citation Graph (0, 0)][DBLP]
    ARES, 2006, pp:631-638 [Conf]
  2. Jingde Cheng, Junichi Miura
    Deontic Relevant Logic as the Logical Basis for Specifying, Verifying, and Reasoning about Information Security and Information Assurance. [Citation Graph (0, 0)][DBLP]
    ARES, 2006, pp:601-608 [Conf]
  3. Jingde Cheng
    Slicing Concurrent Programs - A Graph-Theoretical Approach. [Citation Graph (0, 0)][DBLP]
    AADEBUG, 1993, pp:223-240 [Conf]
  4. Jingde Cheng
    Task Dependence Net as a Representation for Concurrent Ada Programs. [Citation Graph (0, 0)][DBLP]
    Ada-Europe, 1992, pp:150-164 [Conf]
  5. Jingde Cheng, Kazuo Ushijima
    Analyzing Ada Tasking Deadlocks and Livelocks Using Extended Petri Nets. [Citation Graph (0, 0)][DBLP]
    Ada-Europe, 1991, pp:125-146 [Conf]
  6. Jingde Cheng, Kazuo Ushijima
    Tasking Deadlocks in Ada 95 Programs and Their Detection. [Citation Graph (0, 0)][DBLP]
    Ada-Europe, 1996, pp:135-146 [Conf]
  7. Jingde Cheng
    Run-Time Detection of Tasking Deadlocks in Real-Time Systems with the Ada 95 Annex of Real-Time Systems. [Citation Graph (0, 0)][DBLP]
    Ada-Europe, 2006, pp:167-178 [Conf]
  8. Yusuke Nonaka, Jingde Cheng, Kazuo Ushijima
    A Supporting Tool for Development of Self-Measurement Ada Programs. [Citation Graph (0, 0)][DBLP]
    Ada-Europe, 2000, pp:69-81 [Conf]
  9. Jingde Cheng
    Connecting Components with Soft System Buses: A New Methodology for Design, Development, and Maintenance of Reconfigurable, Ubiquitous, and Persistent Reactive Systems. [Citation Graph (0, 0)][DBLP]
    AINA, 2005, pp:667-672 [Conf]
  10. Jianjun Zhao, Jingde Cheng, Kazuo Ushijima
    Computing Executable Slices for Concurrent Logic Programs. [Citation Graph (0, 0)][DBLP]
    APAQS, 2001, pp:13-22 [Conf]
  11. Jingde Cheng
    Dependence Analysis of Parallel and Distributed Programs and Its Applications. [Citation Graph (0, 0)][DBLP]
    APDC, 1997, pp:370-377 [Conf]
  12. Yoshiaki Kasahara, Yoshinari Nomura, Masayuki Kamachi, Jingde Cheng, Kazuo Ushijima
    An Integrated Support Environment for Distributed Software Development based on Unified Program Representations. [Citation Graph (0, 0)][DBLP]
    APSEC, 1995, pp:254-263 [Conf]
  13. Yusuke Nonaka, Katsuhiko Hatano, Yoshinari Nomura, Jingde Cheng, Kazuo Ushijima
    A System Dependence Net Generator for Ada Programs. [Citation Graph (0, 0)][DBLP]
    APSEC, 1999, pp:441-448 [Conf]
  14. Yusuke Nonaka, Kazuo Ushijima, Jingde Cheng
    Monitoring facilities in languages supporting development of concurrent self-measurement programs. [Citation Graph (0, 0)][DBLP]
    APSEC, 2000, pp:92-99 [Conf]
  15. Yusuka Nonaka, Kazuo Ushijima, Hibiki Serizawa, Shigeru Murata, Jingde Cheng
    A Run-Time Deadlock Detector for Concurrent Java Programs. [Citation Graph (0, 0)][DBLP]
    APSEC, 2001, pp:45-52 [Conf]
  16. Kazuaki Goshi, Jingde Cheng, Kazuo Ushijima
    ALPS-JI: An Annotated Logic Programming System with Hypothetical Implications (Abstract). [Citation Graph (0, 0)][DBLP]
    ASIAN, 1996, pp:343-344 [Conf]
  17. Jianhua Ma, Qiangfu Zhao, Vipin Chaudhary, Jingde Cheng, Laurence Tianruo Yang, Runhe Huang, Qun Jin
    Ubisafe Computing: Vision and Challenges (I). [Citation Graph (0, 0)][DBLP]
    ATC, 2006, pp:386-397 [Conf]
  18. Jianjun Zhao, Jingde Cheng, Kazuo Ushijima
    CLPKIDS: A Program Analysis System for Concurrent Logic Programs. [Citation Graph (0, 0)][DBLP]
    COMPSAC, 2001, pp:531-537 [Conf]
  19. Jianjun Zhao, Jingde Cheng, Kazuo Ushijima
    Static Slicing of Concurrent Object-Oriented Programs. [Citation Graph (0, 0)][DBLP]
    COMPSAC, 1996, pp:312-320 [Conf]
  20. Jianjun Zhao, Jingde Cheng, Kazuo Ushijima
    A Dependence-Based Representation for Concurrent Object-Oriented Software Maintenance. [Citation Graph (0, 0)][DBLP]
    CSMR, 1998, pp:60-66 [Conf]
  21. Jianjun Zhao, Jingde Cheng, Kazuo Ushijima
    A Metrics Suite for Concurrent Logic Programs. [Citation Graph (0, 0)][DBLP]
    CSMR, 1998, pp:172-178 [Conf]
  22. Romi S. Wahono, Jingde Cheng
    Extensible Requirements Patterns of Web Application for Efficient Web Application Development. [Citation Graph (0, 0)][DBLP]
    CW, 2002, pp:412-418 [Conf]
  23. Jingde Cheng
    A Strong Relevant Logic Model of Epistemic Processes in Schientific Discovery. [Citation Graph (0, 0)][DBLP]
    Discovery Science, 1998, pp:403-404 [Conf]
  24. Jingde Cheng
    A Strong Relevant Logic Model of Epistemic Processes in Scientific Discovery. [Citation Graph (0, 0)][DBLP]
    EJC, 1999, pp:136-159 [Conf]
  25. Jingde Cheng
    Spatio-temporal Relevant Logic as the Logical Basis for Specifying, Verifying, and Reasoning About Mobile Multi-agent Systems. [Citation Graph (0, 0)][DBLP]
    ER (Workshops), 2004, pp:470- [Conf]
  26. Jingde Cheng, Yuichi Goto
    Representing and Reasoning About Spatial Knowledge Based on Spatial Relevant Logic. [Citation Graph (0, 0)][DBLP]
    ER (Workshops), 2004, pp:114-126 [Conf]
  27. Takumi Endo, Junichi Miura, Koichi Nanashima, Shoichi Morimoto, Yuichi Goto, Jingde Cheng
    Security in Persistently Reactive Systems. [Citation Graph (0, 0)][DBLP]
    EUC Workshops, 2005, pp:874-883 [Conf]
  28. Daisuke Horie, Shoichi Morimoto, Jingde Cheng
    A Web User Interface of the Security Requirement Management Database Based on ISO/IEC 15408. [Citation Graph (0, 0)][DBLP]
    International Conference on Computational Science (4), 2006, pp:797-804 [Conf]
  29. Shoichi Morimoto, Daisuke Horie, Jingde Cheng
    A Security Requirement Management Database Based on ISO/IEC 15408. [Citation Graph (0, 0)][DBLP]
    ICCSA (3), 2006, pp:1-10 [Conf]
  30. Jianjun Zhao, Jingde Cheng, Kazuo Ushijima
    Program Dependence Analysis of Concurrent Logic Programs and Its Applications. [Citation Graph (0, 0)][DBLP]
    ICLP, 1995, pp:825- [Conf]
  31. Jingde Cheng
    Comparing Persistent Computing with Autonomic Computing. [Citation Graph (0, 0)][DBLP]
    ICPADS (2), 2005, pp:428-432 [Conf]
  32. Jianjun Zhao, Jingde Cheng, Kazuo Ushijima
    Program dependence analysis of concurrent logic programs and its applications. [Citation Graph (0, 0)][DBLP]
    ICPADS, 1996, pp:282-291 [Conf]
  33. Jingde Cheng
    Dependence-Based Complexity Metrics for Distributed Programs. [Citation Graph (0, 0)][DBLP]
    ICPP, 1993, pp:265-268 [Conf]
  34. Jianjun Zhao, Jingde Cheng, Kazuo Ushijima
    A Program Dependence Model for Concurrent Logic Programs and its Applications. [Citation Graph (0, 0)][DBLP]
    ICSM, 2001, pp:672-681 [Conf]
  35. Jingde Cheng
    Spatio-Temporal Relevant Logic as the Logical Basis for Spatio-Temporal Information Systems. [Citation Graph (0, 0)][DBLP]
    ICTAI, 2005, pp:270-274 [Conf]
  36. Jingde Cheng
    EnCal: an automated forward deduction system for general-purpose entailment calculus. [Citation Graph (0, 0)][DBLP]
    IFIP World Conference on IT Tools, 1996, pp:- [Conf]
  37. Jingde Cheng
    Designing, developing, and maintaining concurrent systems based on self-measurement principle. [Citation Graph (0, 0)][DBLP]
    IRMA Conference, 2000, pp:944-945 [Conf]
  38. Jingde Cheng
    Temporal relevant logic as the logical basis of autonomous evolutionary information systems. [Citation Graph (0, 0)][DBLP]
    IRMA Conference, 2000, pp:950-951 [Conf]
  39. Kazunori Nishi, Jingde Cheng, Kazuo Ushijima
    Improving the Performance of Automated Forward Deduction System EnCal. [Citation Graph (0, 0)][DBLP]
    ISHPC, 1997, pp:371-380 [Conf]
  40. Feng Shang, Jingde Cheng
    Anticipatory Agents Based on Anticipatory Reasoning. [Citation Graph (0, 0)][DBLP]
    ISMIS, 2005, pp:445-455 [Conf]
  41. Masato Koide, Jingde Cheng
    A toolkit for developing programs of card game played on the internet. [Citation Graph (0, 0)][DBLP]
    IWEC, 2002, pp:57-64 [Conf]
  42. Jingde Cheng
    Automated Knowledge Acquisition by Relevant Reasoning Based on Strong Relevant Logic. [Citation Graph (0, 0)][DBLP]
    KES, 2003, pp:68-80 [Conf]
  43. Jingde Cheng
    Reciprocal Logic: Logics for Specifying, Verifying, and Reasoning About Reciprocal Relationships. [Citation Graph (0, 0)][DBLP]
    KES (2), 2005, pp:437-445 [Conf]
  44. Jingde Cheng
    Autonomous and Continuous Evolution of Information Systems. [Citation Graph (0, 0)][DBLP]
    KES (1), 2005, pp:758-767 [Conf]
  45. Shinsuke Nara, Takashi Omi, Yuichi Goto, Jingde Cheng
    A General-Purpose Forward Deduction Engine for Modal Logics. [Citation Graph (0, 0)][DBLP]
    KES (2), 2005, pp:739-745 [Conf]
  46. Mohammad Reza Selim, Takumi Endo, Yuichi Goto, Jingde Cheng
    A Comparative Study Between Soft System Bus and Traditional Middlewares. [Citation Graph (0, 0)][DBLP]
    OTM Workshops (2), 2006, pp:1264-1273 [Conf]
  47. Jingde Cheng
    A Strong Relevant Logic Model of Epistemic Processes in Scientific Discovery (Extended Abstract). [Citation Graph (0, 0)][DBLP]
    PAKDD, 1999, pp:489-493 [Conf]
  48. Jingde Cheng
    Nondeterministic Parallel Control-Flow / Definition-Use Nets and their Applications. [Citation Graph (0, 0)][DBLP]
    PARCO, 1993, pp:589-592 [Conf]
  49. Takahiro Tagawa, Jingde Cheng
    Deontic Relevant Logic: A Strong Relevant Logic Approach to Removing Paradoxes from Deontic Logic. [Citation Graph (0, 0)][DBLP]
    PRICAI, 2002, pp:39-48 [Conf]
  50. Jingde Cheng
    Deontic relevant logic as the logical basis for legal information systems. [Citation Graph (0, 0)][DBLP]
    SAC, 2006, pp:319-320 [Conf]
  51. Yuichi Goto, Jingde Cheng
    A quantitative analysis of implicational paradoxes in classical mathematical logic. [Citation Graph (0, 0)][DBLP]
    SAC, 2006, pp:42-43 [Conf]
  52. Shoichi Morimoto, Shinjiro Shigematsu, Yuichi Goto, Jingde Cheng
    A security specification verification technique based on the international standard ISO/IEC 15408. [Citation Graph (0, 0)][DBLP]
    SAC, 2006, pp:1802-1803 [Conf]
  53. 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. [Citation Graph (0, 0)][DBLP]
    SAC, 2007, pp:270-275 [Conf]
  54. Shoichi Morimoto, Shinjiro Shigematsu, Yuichi Goto, Jingde Cheng
    Formal verification of security specifications with common criteria. [Citation Graph (0, 0)][DBLP]
    SAC, 2007, pp:1506-1512 [Conf]
  55. Jingde Cheng
    Task Dependence Nets for Concurrent Systems with Ada 95 and Its Applications. [Citation Graph (0, 0)][DBLP]
    TRI-Ada, 1997, pp:67-78 [Conf]
  56. Shoichi Morimoto, Jingde Cheng
    Patterning Protection Profiles by UML for Security Specifications. [Citation Graph (0, 0)][DBLP]
    CIMCA/IAWTIC, 2005, pp:946-951 [Conf]
  57. Jingde Cheng, Shinsuke Nara, Takahiro Koh, Yuichi Goto
    The Theory Grid and Grid Theorists. [Citation Graph (0, 0)][DBLP]
    SKG, 2006, pp:32- [Conf]
  58. Ying Gao, Jingde Cheng
    Semantics for a Basic Relevant Logic with Intensional Conjunction and Disjunction. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2007, v:169, n:, pp:61-71 [Journal]
  59. Yuichi Goto, Jingde Cheng
    A Quantitative Analysis of Implicational Paradoxes in Classical Mathematical Logic. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2007, v:169, n:, pp:87-97 [Journal]
  60. Jingde Cheng
    An Algebraic Semantics of Notional Entailment Logic Cn. [Citation Graph (0, 0)][DBLP]
    Inf. Process. Lett., 1990, v:36, n:3, pp:117-121 [Journal]
  61. Keijiro Araki, Zengo Furukawa, Jingde Cheng
    A General Framework for Debugging. [Citation Graph (0, 0)][DBLP]
    IEEE Software, 1991, v:8, n:3, pp:14-20 [Journal]
  62. Ying Gao, Jingde Cheng
    Operational Semantics for Positive Relevant Logics Without Distribution. [Citation Graph (0, 0)][DBLP]
    CiE, 2007, pp:325-335 [Conf]
  63. Shoichi Morimoto, Jingde Cheng
    A Security Specification Library with a Schemaless Database. [Citation Graph (0, 0)][DBLP]
    International Conference on Computational Science (3), 2007, pp:890-893 [Conf]
  64. Isao Takahashi, Shinsuke Nara, Yuichi Goto, Jingde Cheng
    EPLAS: An Epistemic Programming Language for All Scientists. [Citation Graph (0, 0)][DBLP]
    International Conference on Computational Science (1), 2007, pp:406-413 [Conf]
  65. Jingde Cheng, Yuichi Goto, Shinsuke Nara, Takahiro Koh
    A Cooperative Grid Computing Approach to Automated Theorem Finding and Automated Problem Proposing. [Citation Graph (0, 0)][DBLP]
    KES (2), 2007, pp:840-851 [Conf]
  66. Jingde Cheng, Shinsuke Nara, Yuichi Goto
    FreeEnCal: A Forward Reasoning Engine with General-Purpose. [Citation Graph (0, 0)][DBLP]
    KES (2), 2007, pp:444-452 [Conf]

  67. A New Model of Software Life Cycle Processes for Consistent Design, Development, Management, and Maintenance of Secure Information Systems. [Citation Graph (, )][DBLP]


  68. ISEDS: An Information Security Engineering Database System Based on ISO Standards. [Citation Graph (, )][DBLP]


  69. Fast Qualitative Reasoning about Actions for Computing Anticipatory Systems. [Citation Graph (, )][DBLP]


  70. An Improvement of REM: A Replication Oriented Event-Based Middleware. [Citation Graph (, )][DBLP]


  71. FORVEST: A Support Tool for Formal Verification of Security Specifications with ISO/IEC 15408. [Citation Graph (, )][DBLP]


  72. Evolutionary Personal Information Partners. [Citation Graph (, )][DBLP]


  73. Strong Relevant Logic as the Universal Basis of Various Applied Logics for Knowledge Representation and Reasoning. [Citation Graph (, )][DBLP]


  74. Testing and Debugging Persistent Computing Systems: A New Challenge in Ubiquitous Computing. [Citation Graph (, )][DBLP]


  75. Adaptive Prediction by Anticipatory Reasoning Based on Temporal Relevant Logic. [Citation Graph (, )][DBLP]


  76. A Fast Duplication Checking Algorithm for Forward Reasoning Engines. [Citation Graph (, )][DBLP]


  77. A General Forward Reasoning Algorithm for Various Logic Systems with Different Formalizations. [Citation Graph (, )][DBLP]


  78. Deontic Relevant Logic as the Logical Basis for Representing and Reasoning about Legal Knowledge in Legal Information Systems. [Citation Graph (, )][DBLP]


  79. A replication oriented approach to event based middleware over structured peer to peer networks. [Citation Graph (, )][DBLP]


  80. ISEE: An Information Security Engineering Environment. [Citation Graph (, )][DBLP]


  81. Measuring Reactability of Persistent Computing Systems. [Citation Graph (, )][DBLP]


  82. Classification, Formalization and Verification of Security Functional Requirements. [Citation Graph (, )][DBLP]


  83. Qualitative Spatio-temporal Reasoning about Moving Objects in Three-Dimensional Space. [Citation Graph (, )][DBLP]


  84. Distributed hash table based design of Soft System Buses. [Citation Graph (, )][DBLP]


  85. Development of a Decision-Maker in an Anticipatory Reasoning-Reacting System for Terminal Radar Control. [Citation Graph (, )][DBLP]


  86. Autonomous Evolutionary Information Systems and Active Database Systems: A Comparative Study. [Citation Graph (, )][DBLP]


  87. Deontic Relevant Logic in Knowledge-based Requirements Engineering. [Citation Graph (, )][DBLP]


  88. ENQUETE-BAISE: A General-Purpose E-Questionnaire Server for Ubiquitous Questionnaire. [Citation Graph (, )][DBLP]


  89. Ensuring Reliability and Availability of Soft System Bus. [Citation Graph (, )][DBLP]


Search in 0.084secs, Finished in 0.086secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002