default search action

combined dblp search
author search
venue search
publication search

ask others

Jingde Cheng

> Home > Persons

Person information

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

2020 – today

see FAQ

What is the meaning of the colors in the publication lists?

2024
[i1]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2412-12408
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2412-12408
Jingde Cheng:
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 abs/2412.12408 (2024)
2020
[c148]
- view
  authority control:
- export record
  dblp key:
  - conf/aciids/GaoLLC20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aciids/GaoLLC20
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

see FAQ

What is the meaning of the colors in the publication lists?

2019
[j11]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/access/LiuWGYC19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/access/LiuWGYC19
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]
- view
  authority control:
- export record
  dblp key:
  - journals/ieicet/ZhouGC19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ieicet/ZhouGC19
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]
- view
  authority control:
- export record
  dblp key:
  - conf/c2si/YanWGC19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/c2si/YanWGC19
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]
- view
  authority control:
- export record
  dblp key:
  - conf/dasc/GaoLC19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dasc/GaoLC19
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]
- view
  authority control:
- export record
  dblp key:
  - conf/pakdd/BaoGC19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/pakdd/BaoGC19
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]
- view
  authority control:
- export record
  dblp key:
  - conf/skg/HuangLC19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/skg/HuangLC19
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]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/ppna/CaoCMR18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ppna/CaoCMR18
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]
- view
  authority control:
- export record
  dblp key:
  - conf/aciids/HiidomeGC18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aciids/HiidomeGC18
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]
- view
  authority control:
- export record
  dblp key:
  - conf/uic/GaoLC18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/uic/GaoLC18
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]
- view
  authority control:
- export record
  dblp key:
  - conf/uic/OtsukaFGC18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/uic/OtsukaFGC18
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]
- view
  authority control:
- export record
  dblp key:
  - conf/uic/IshibashiYGC18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/uic/IshibashiYGC18
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]
- view
  authority control:
- export record
  dblp key:
  - conf/uic/ZhouMGC18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/uic/ZhouMGC18
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]
- view
  authority control:
- export record
  dblp key:
  - conf/uic/BaoSGC18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/uic/BaoSGC18
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]
- view
  authority control:
- export record
  dblp key:
  - conf/uic/YanIGC18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/uic/YanIGC18
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]
- view
  authority control:
- export record
  dblp key:
  - conf/uic/ChengHJMP18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/uic/ChengHJMP18
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]
- view
  authority control:
- export record
  dblp key:
  - journals/sj/LiWLC17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sj/LiWLC17
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]
- view
  authority control:
- export record
  dblp key:
  - conf/aciids/ShiYZC17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aciids/ShiYZC17
Kai Shi, Hai Yu, Zhiliang Zhu, Jingde Cheng:
Anticipatory Runway Incursion Prevention Based on Inaccurate Position Surveillance Information. ACIIDS (2) 2017: 93-104
[c134]
- view
  authority control:
- export record
  dblp key:
  - conf/aciids/GaoC17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aciids/GaoC17
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]
- view
  authority control:
- export record
  dblp key:
  - conf/aciids/GotoGC17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aciids/GotoGC17
Yuichi Goto, Hongbiao Gao, Jingde Cheng:
A Predicate Suggestion Algorithm for Automated Theorem Finding with Forward Reasoning. ACIIDS (2) 2017: 125-134
[c132]
- view
  authority control:
- export record
  dblp key:
  - conf/csa2/HanGC17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/csa2/HanGC17
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]
- view
  authority control:
- export record
  dblp key:
  - conf/mue/YanWGC17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mue/YanWGC17
Jingchen Yan, Kazunori Wagatsuma, Hongbiao Gao, Jingde Cheng:
A Supporting Environment for Formal Analysis of Cryptographic Protocols. MUE/FutureTech 2017: 545-550
2016
[c130]
- view
  authority control:
- export record
  dblp key:
  - conf/cbd/WangGC16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cbd/WangGC16
Bo Wang, Hongbiao Gao, Jingde Cheng:
Contract-Based Programming for Future Computing with Ada 2012. CBD 2016: 322-327
[c129]
- view
  authority control:
- export record
  dblp key:
  - conf/cis/ChenBGC16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cis/ChenBGC16
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]
- view
  authority control:
- export record
  dblp key:
  - conf/cis/HanGC16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cis/HanGC16
Yifeng Han, Hongbiao Gao, Jingde Cheng:
Autonomous Evolution in Evolutionary Personal Information Partners: Mechanism and a Case Study. CIS 2016: 461-465
[c127]
- view
  authority control:
- export record
  dblp key:
  - conf/cis/YanWGC16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cis/YanWGC16
Jingchen Yan, Kazunori Wagatsuma, Hongbiao Gao, Jingde Cheng:
A Formal Analysis Method with Reasoning for Cryptographic Protocols. CIS 2016: 566-570
[c126]
- view
  authority control:
- export record
  dblp key:
  - conf/cis/GaoWZC16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cis/GaoWZC16
Hongbiao Gao, Zhe Wang, Yuan Zhou, Jingde Cheng:
Development of a General-Purpose Offline E-Testing Environment. CIS 2016: 603-607
[c125]
- view
  authority control:
- export record
  dblp key:
  - conf/csa2/ZhouGC16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/csa2/ZhouGC16
Yuan Zhou, Hongbiao Gao, Jingde Cheng:
An Extension of QSL for E-voting Systems. CSA/CUTE 2016: 87-96
[c124]
- view
  - electronic edition @ acm.org
  - details & citations
- export record
  dblp key:
  - conf/simutools/WangZJLLC16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/simutools/WangZJLLC16
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]
- view
  - electronic edition @ rintonpress.com (open access)
  - details & citations
- export record
  dblp key:
  - journals/jwe/LiuMZLZC15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jwe/LiuMZLZC15
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]
- view
  authority control:
- export record
  dblp key:
  - conf/IEEEicci/GaoC15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/IEEEicci/GaoC15
Hongbiao Gao, Jingde Cheng:
An epistemic programming approach for automated theorem finding. ICCI*CC 2015: 49-58
[c122]
- view
  authority control:
- export record
  dblp key:
  - conf/IEEEicci/Cheng15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/IEEEicci/Cheng15
Jingde Cheng:
Automated Knowledge Appreciation: A relevant reasoning approach to expand our knowledge and increase its value automatically. ICCI*CC 2015: 175-183
[c121]
- view
  authority control:
- export record
  dblp key:
  - conf/aciids/GaoGC15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aciids/GaoGC15
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]
- view
  authority control:
- export record
  dblp key:
  - conf/aciids/NanaumiWGGC15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aciids/NanaumiWGGC15
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]
- view
  authority control:
- export record
  dblp key:
  - conf/iscide/GaoGC15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iscide/GaoGC15
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]
- view
  authority control:
- export record
  dblp key:
  - journals/ieicet/SuhaimiGC14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ieicet/SuhaimiGC14
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]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/tcs/GaoGC14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/GaoGC14
Hongbiao Gao, Yuichi Goto, Jingde Cheng:
A systematic methodology for automated theorem finding. Theor. Comput. Sci. 554: 2-21 (2014)
[c118]
- view
  authority control:
- export record
  dblp key:
  - conf/aciids/Cheng14a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aciids/Cheng14a
Jingde Cheng:
Computing Intentions Dynamically in a Changing World by Anticipatory Relevant Reasoning. ACIIDS (2) 2014: 361-371
[c117]
- view
  authority control:
- export record
  dblp key:
  - conf/paisi/GotoXZC14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/paisi/GotoXZC14
Yuichi Goto, Liqing Xu, Ning Zhang, Jingde Cheng:
User Management in Information Security Engineering Environment ISEE. PAISI 2014: 18-34
[c116]
- view
  authority control:
- export record
  dblp key:
  - conf/paisi/XuGSZC14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/paisi/XuGSZC14
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]
- view
  authority control:
- export record
  dblp key:
  - journals/ieicet/ShiGZC13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ieicet/ShiGZC13
Kai Shi, Yuichi Goto, Zhiliang Zhu, Jingde Cheng:
Anticipatory Runway Incursion Prevention Systems. IEICE Trans. Inf. Syst. 96-D(11): 2385-2396 (2013)
[c115]
- view
  authority control:
- export record
  dblp key:
  - conf/aciids/ZhaoLC13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aciids/ZhaoLC13
Jianzhe Zhao, Ying Liu, Jingde Cheng:
Extending and Formalizing Bayesian Networks by Strong Relevant Logic. ACIIDS (1) 2013: 41-50
[c114]
- view
  authority control:
- export record
  dblp key:
  - conf/aciids/ShiGZC13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aciids/ShiGZC13
Kai Shi, Yuichi Goto, Zhiliang Zhu, Jingde Cheng:
Anticipatory Emergency Elevator Evacuation Systems. ACIIDS (1) 2013: 117-126
[c113]
- view
  authority control:
- export record
  dblp key:
  - conf/cis/ZhangSGC13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cis/ZhangSGC13
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]
- view
  authority control:
- export record
  dblp key:
  - conf/cocoon/GaoSGC13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cocoon/GaoSGC13
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]
- view
  authority control:
- export record
  dblp key:
  - conf/icmlc/NanaumiWGC13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icmlc/NanaumiWGC13
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]
- view
  authority control:
- export record
  dblp key:
  - conf/skg/GaoGC13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/skg/GaoGC13
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]
- view
  authority control:
- export record
  dblp key:
  - conf/icmlc/GaoSGC12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icmlc/GaoSGC12
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]
- view
  authority control:
- export record
  dblp key:
  - conf/icmlc/WagatsumaGC12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icmlc/WagatsumaGC12
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]
- view
  authority control:
- export record
  dblp key:
  - conf/icmlc/GotoGTC12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icmlc/GotoGTC12
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]
- view
  authority control:
- export record
  dblp key:
  - conf/skg/GotoC12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/skg/GotoC12
Yuichi Goto, Jingde Cheng:
A Truth Maintenance System for Epistemic Programming Environment. SKG 2012: 1-8
2011
[c105]
- no documents available
  - details & citations
- export record
  dblp key:
  - conf/enase/XiaoSLLLC11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/enase/XiaoSLLLC11
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]
- view
  authority control:
- export record
  dblp key:
  - conf/icmlc/FangTGC11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icmlc/FangTGC11
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]
- view
  authority control:
- export record
  dblp key:
  - conf/icmlc/HanLLLLZC10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icmlc/HanLLLLZC10
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

see FAQ

What is the meaning of the colors in the publication lists?

2009
[c102]
- view
  authority control:
- export record
  dblp key:
  - conf/ACISicis/HorieKGC09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ACISicis/HorieKGC09
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]
- view
  authority control:
- export record
  dblp key:
  - conf/IEEEares/YajimaMHAGC09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/IEEEares/YajimaMHAGC09
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]
- view
  authority control:
- export record
  dblp key:
  - conf/IEEEares/ChenSGC09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/IEEEares/ChenSGC09
Youcheng Chen, Mohammad Reza Selim, Yuichi Goto, Jingde Cheng:
An Improvement of REM: A Replication Oriented Event-Based Middleware. ARES 2009: 641-646
[c99]
- view
  authority control:
- export record
  dblp key:
  - conf/fcst/IqbalHGC09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fcst/IqbalHGC09
Ahmad Iqbal, Daisuke Horie, Yuichi Goto, Jingde Cheng:
A Database System for Effective Utilization of ISO/IEC 27002. FCST 2009: 607-612
[c98]
- view
  authority control:
- export record
  dblp key:
  - conf/fcst/GotoC09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fcst/GotoC09
Yuichi Goto, Jingde Cheng:
Information Assurance, Privacy, and Security in Ubiquitous Questionnaire. FCST 2009: 619-624
[c97]
- view
  authority control:
- export record
  dblp key:
  - conf/hais/KitajimaGC09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/hais/KitajimaGC09
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]
- view
  authority control:
- export record
  dblp key:
  - conf/icess/Cheng09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icess/Cheng09
Jingde Cheng:
Uncertainty Problem in Dynamic Slicing of Concurrent Programs. ICESS 2009: 241-248
[c95]
- view
  authority control:
- export record
  dblp key:
  - conf/ispa/ChengGHMKI09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ispa/ChengGHMKI09
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]
- no documents available
  - details & citations
- export record
  dblp key:
  - conf/secrypt/ChengGH09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/secrypt/ChengGH09
Jingde Cheng, Yuichi Goto, Daisuke Horie:
ISEE: An Information Security Engineering Environment. SECRYPT 2009: 395-400
[c93]
- view
  authority control:
- export record
  dblp key:
  - conf/skg/Cheng09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/skg/Cheng09
Jingde Cheng:
A Temporal Relevant Logic Approach to Modeling and Reasoning about Epistemic Processes. SKG 2009: 18-25
[p2]
- view
  authority control:
- export record
  dblp key:
  - series/sci/HorieYAGC09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/series/sci/HorieYAGC09
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]
- view
  authority control:
- export record
  dblp key:
  - journals/mscs/GaoC08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/mscs/GaoC08
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]
- view
  authority control:
- export record
  dblp key:
  - conf/IEEEares/KitajimaGC08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/IEEEares/KitajimaGC08
Natsumi Kitajima, Yuichi Goto, Jingde Cheng:
Fast Qualitative Reasoning about Actions for Computing Anticipatory Systems. ARES 2008: 171-178
[c91]
- view
  authority control:
- export record
  dblp key:
  - conf/IEEEares/HorieMAGC08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/IEEEares/HorieMAGC08
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]
- view
  authority control:
- export record
  dblp key:
  - conf/cis/Cheng08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cis/Cheng08
Jingde Cheng:
Evolutionary Personal Information Partners. CIS (1) 2008: 108-113
[c89]
- view
  authority control:
- export record
  dblp key:
  - conf/euc/Cheng08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/euc/Cheng08
Jingde Cheng:
Testing and Debugging Persistent Computing Systems: A New Challenge in Ubiquitous Computing. EUC (1) 2008: 408-414
[c88]
- view
  authority control:
- export record
  dblp key:
  - conf/his/Cheng08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/his/Cheng08
Jingde Cheng:
Adaptive Prediction by Anticipatory Reasoning Based on Temporal Relevant Logic. HIS 2008: 410-416
[c87]
- view
  authority control:
- export record
  dblp key:
  - conf/isica/Cheng08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/isica/Cheng08
Jingde Cheng:
Qualitative Spatio-temporal Reasoning about Moving Objects in Three-Dimensional Space. ISICA 2008: 637-648
[c86]
- view
  authority control:
- export record
  dblp key:
  - conf/jckbse/Cheng08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/jckbse/Cheng08
Jingde Cheng:
Deontic Relevant Logic in Knowledge-based Requirements Engineering. JCKBSE 2008: 97-102
[c85]
- view
  authority control:
- export record
  dblp key:
  - conf/jckbse/Cheng08a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/jckbse/Cheng08a
Jingde Cheng:
Autonomous Evolutionary Information Systems and Active Database Systems: A Comparative Study. JCKBSE 2008: 163-172
[c84]
- view
  authority control:
- export record
  dblp key:
  - conf/kes/KohGC08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/kes/KohGC08
Takahiro Koh, Yuichi Goto, Jingde Cheng:
A Fast Duplication Checking Algorithm for Forward Reasoning Engines. KES (2) 2008: 499-507
[c83]
- view
  authority control:
- export record
  dblp key:
  - conf/kes/Cheng08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/kes/Cheng08
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]
- view
  authority control:
- export record
  dblp key:
  - conf/kes/GotoKC08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/kes/GotoKC08
Yuichi Goto, Takahiro Koh, Jingde Cheng:
A General Forward Reasoning Algorithm for Various Logic Systems with Different Formalizations. KES (2) 2008: 526-535
[c81]
- view
  authority control:
- export record
  dblp key:
  - conf/sofsem/MorimotoSGC08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sofsem/MorimotoSGC08
Shoichi Morimoto, Shinjiro Shigematsu, Yuichi Goto, Jingde Cheng:
Classification, Formalization and Verification of Security Functional Requirements. SOFSEM 2008: 622-633
[c80]
- view
  authority control:
- export record
  dblp key:
  - conf/ssiri/SelimGC08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ssiri/SelimGC08
Mohammad Reza Selim, Yuichi Goto, Jingde Cheng:
Ensuring Reliability and Availability of Soft System Bus. SSIRI 2008: 52-59
2007
[c79]
- view
  authority control:
- export record
  dblp key:
  - conf/apscc/ChengGKNSUS07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/apscc/ChengGKNSUS07
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]
- view
  authority control:
- export record
  dblp key:
  - conf/cie/GaoC07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cie/GaoC07
Ying Gao, Jingde Cheng:
Operational Semantics for Positive Relevant Logics Without Distribution. CiE 2007: 325-335
[c77]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/iccS/TakahashiNGC07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iccS/TakahashiNGC07
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]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/iccS/MorimotoC07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iccS/MorimotoC07
Shoichi Morimoto, Jingde Cheng:
A Security Specification Library with a Schemaless Database. International Conference on Computational Science (3) 2007: 890-893
[c75]
- view
  authority control:
- export record
  dblp key:
  - conf/infoscale/SelimEGC07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/infoscale/SelimEGC07
Mohammad Reza Selim, Takumi Endo, Yuichi Goto, Jingde Cheng:
Distributed hash table based design of Soft System Buses. Infoscale 2007: 78
[c74]
- view
  authority control:
- export record
  dblp key:
  - conf/kes/ChengNG07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/kes/ChengNG07
Jingde Cheng, Shinsuke Nara, Yuichi Goto:
FreeEnCal: A Forward Reasoning Engine with General-Purpose. KES (2) 2007: 444-452
[c73]
- view
  authority control:
- export record
  dblp key:
  - conf/kes/ChengGNK07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/kes/ChengGNK07
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]
- view
  authority control:
- export record
  dblp key:
  - conf/middleware/SelimGC07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/middleware/SelimGC07
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]
- view
  authority control:
- export record
  dblp key:
  - conf/sac/KoralalageRMGC07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sac/KoralalageRMGC07
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]
- view
  authority control:
- export record
  dblp key:
  - conf/sac/MorimotoSGC07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sac/MorimotoSGC07
Shoichi Morimoto, Shinjiro Shigematsu, Yuichi Goto, Jingde Cheng:
Formal verification of security specifications with common criteria. SAC 2007: 1506-1512
[c69]
- view
  authority control:
- export record
  dblp key:
  - conf/skg/Cheng07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/skg/Cheng07
Jingde Cheng:
A Semilattice Model for the Theory Grid. SKG 2007: 152-157
[c68]
- view
  authority control:
- export record
  dblp key:
  - conf/soco/EndoGC07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/soco/EndoGC07
Takumi Endo, Yuichi Goto, Jingde Cheng:
Measuring Reactability of Persistent Computing Systems. SC@ETAPS 2007: 144-151
2006
[c67]
- view
  authority control:
- export record
  dblp key:
  - conf/IEEEares/ChengM06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/IEEEares/ChengM06
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]
- view
  authority control:
- export record
  dblp key:
  - conf/IEEEares/Cheng06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/IEEEares/Cheng06
Jingde Cheng:
Persistent Computing Systems as Continuously Available, Reliable, and Secure Systems. ARES 2006: 631-638
[c65]
- view
  authority control:
- export record
  dblp key:
  - conf/adaEurope/Cheng06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/adaEurope/Cheng06
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]
- view
  authority control:
- export record
  dblp key:
  - conf/atc/MaZCCYHJ06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/atc/MaZCCYHJ06
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]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/iccS/HorieMC06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iccS/HorieMC06
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]
- view
  authority control:
- export record
  dblp key:
  - conf/iccsa/MorimotoHC06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iccsa/MorimotoHC06
Shoichi Morimoto, Daisuke Horie, Jingde Cheng:
A Security Requirement Management Database Based on ISO/IEC 15408. ICCSA (3) 2006: 1-10
[c61]
- view
  authority control:
- export record
  dblp key:
  - conf/otm/SelimEGC06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/otm/SelimEGC06
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]
- view
  authority control:
- export record
  dblp key:
  - conf/sac/GotoC06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sac/GotoC06
Yuichi Goto, Jingde Cheng:
A quantitative analysis of implicational paradoxes in classical mathematical logic. SAC 2006: 42-43
[c59]
- view
  authority control:
- export record
  dblp key:
  - conf/sac/Cheng06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sac/Cheng06
Jingde Cheng:
Deontic relevant logic as the logical basis for legal information systems. SAC 2006: 319-320
[c58]
- view
  authority control:
- export record
  dblp key:
  - conf/sac/MorimotoSGC06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sac/MorimotoSGC06
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]
- view
  authority control:
- export record
  dblp key:
  - conf/skg/ChengNKG06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/skg/ChengNKG06
Jingde Cheng, Shinsuke Nara, Takahiro Koh, Yuichi Goto:
The Theory Grid and Grid Theorists. SKG 2006: 32
[c56]
- view
  authority control:
- export record
  dblp key:
  - conf/smc/Cheng06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/smc/Cheng06
Jingde Cheng:
Temporal Deontic Relevant Logic as the Logical Basis for Decision Making Based on Anticipatory Reasoning. SMC 2006: 1036-1041
[c55]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/GaoC07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/GaoC07
Ying Gao, Jingde Cheng:
Semantics for a Basic Relevant Logic with Intensional Conjunction and Disjunction. LMCS 2006: 61-71
[c54]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/GotoC07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/GotoC07
Yuichi Goto, Jingde Cheng:
A Quantitative Analysis of Implicational Paradoxes in Classical Mathematical Logic. LMCS 2006: 87-97
2005
[c53]
- view
  authority control:
- export record
  dblp key:
  - conf/aina/Cheng05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aina/Cheng05
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]
- view
  authority control:
- export record
  dblp key:
  - conf/cimca/MorimotoC05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cimca/MorimotoC05
Shoichi Morimoto, Jingde Cheng:
Patterning Protection Profiles by UML for Security Specifications. CIMCA/IAWTIC 2005: 946-951
[c51]
- view
  - electronic edition @ iospress.nl
  - details & citations
- export record
  dblp key:
  - conf/ejc/Cheng05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ejc/Cheng05
Jingde Cheng:
Strong Relevant Logic as the Universal Basis of Various Applied Logics for Knowledge Representation and Reasoning. EJC 2005: 310-320
[c50]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/euc/EndoMNMGC05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/euc/EndoMNMGC05
Takumi Endo, Junichi Miura, Koichi Nanashima, Shoichi Morimoto, Yuichi Goto, Jingde Cheng:
Security in Persistently Reactive Systems. EUC Workshops 2005: 874-883
[c49]
- view
  authority control:
- export record
  dblp key:
  - conf/icpads/Cheng05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icpads/Cheng05
Jingde Cheng:
Comparing Persistent Computing with Autonomic Computing. ICPADS (2) 2005: 428-432
[c48]
- view
  authority control:
- export record
  dblp key:
  - conf/ictai/Cheng05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ictai/Cheng05
Jingde Cheng:
Spatio-Temporal Relevant Logic as the Logical Basis for Spatio-Temporal Information Systems. ICTAI 2005: 270-274
[c47]
- view
  authority control:
- export record
  dblp key:
  - conf/ismis/ShangC05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ismis/ShangC05
Feng Shang, Jingde Cheng:
Anticipatory Agents Based on Anticipatory Reasoning. ISMIS 2005: 445-455
[c46]
- view
  authority control:
- export record
  dblp key:
  - conf/kes/Cheng05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/kes/Cheng05
Jingde Cheng:
Reciprocal Logic: Logics for Specifying, Verifying, and Reasoning About Reciprocal Relationships. KES (2) 2005: 437-445
[c45]
- view
  authority control:
- export record
  dblp key:
  - conf/kes/NaraOGC05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/kes/NaraOGC05
Shinsuke Nara, Takashi Omi, Yuichi Goto, Jingde Cheng:
A General-Purpose Forward Deduction Engine for Modal Logics. KES (2) 2005: 739-745
[c44]
- view
  authority control:
- export record
  dblp key:
  - conf/kes/Cheng05a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/kes/Cheng05a
Jingde Cheng:
Autonomous and Continuous Evolution of Information Systems. KES (1) 2005: 758-767
2004
[c43]
- view
  authority control:
- export record
  dblp key:
  - conf/er/ChengG04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/er/ChengG04
Jingde Cheng, Yuichi Goto:
Representing and Reasoning About Spatial Knowledge Based on Spatial Relevant Logic. ER (Workshops) 2004: 114-126
[c42]
- view
  authority control:
- export record
  dblp key:
  - conf/er/Cheng04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/er/Cheng04
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]
- view
  authority control:
- export record
  dblp key:
  - conf/kes/Cheng03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/kes/Cheng03
Jingde Cheng:
Automated Knowledge Acquisition by Relevant Reasoning Based on Strong Relevant Logic. KES 2003: 68-80
2002
[c40]
- view
  authority control:
- export record
  dblp key:
  - conf/cw/WahonoC02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cw/WahonoC02
Romi Satria Wahono, Jingde Cheng:
Extensible Requirements Patterns of Web Application for Efficient Web Application Development. CW 2002: 412-418
[c39]
- no documents available
  - details & citations
- export record
  dblp key:
  - conf/iwec/KoideC02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iwec/KoideC02
Masato Koide, Jingde Cheng:
A toolkit for developing programs of card game played on the internet. IWEC 2002: 57-64
[c38]
- view
  authority control:
- export record
  dblp key:
  - conf/pricai/TagawaC02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/pricai/TagawaC02
Takahiro Tagawa, Jingde Cheng:
Deontic Relevant Logic: A Strong Relevant Logic Approach to Removing Paradoxes from Deontic Logic. PRICAI 2002: 39-48
2001
[c37]
- view
  authority control:
- export record
  dblp key:
  - conf/apaqs/ZhaoCU01
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/apaqs/ZhaoCU01
Jianjun Zhao, Jingde Cheng, Kazuo Ushijima:
Computing Executable Slices for Concurrent Logic Programs. APAQS 2001: 13-22
[c36]
- view
  authority control:
- export record
  dblp key:
  - conf/apsec/NonakaUSMC01
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/apsec/NonakaUSMC01
Yusuke Nonaka, Kazuo Ushijima, Hibiki Serizawa, Shigeru Murata, Jingde Cheng:
A Run-Time Deadlock Detector for Concurrent Java Programs. APSEC 2001: 45-52
[c35]
- view
  authority control:
- export record
  dblp key:
  - conf/compsac/ZhaoCU01
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/compsac/ZhaoCU01
Jianjun Zhao, Jingde Cheng, Kazuo Ushijima:
CLPKIDS: A Program Analysis System for Concurrent Logic Programs. COMPSAC 2001: 531-537
[c34]
- view
  authority control:
- export record
  dblp key:
  - conf/icsm/ZhaoCU01
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icsm/ZhaoCU01
Jianjun Zhao, Jingde Cheng, Kazuo Ushijima:
A Program Dependence Model for Concurrent Logic Programs and its Applications. ICSM 2001: 672-681
2000
[c33]
- view
  authority control:
- export record
  dblp key:
  - conf/adaEurope/NonakaCU00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/adaEurope/NonakaCU00
Yusuke Nonaka, Jingde Cheng, Kazuo Ushijima:
A Supporting Tool for Development of Self-Measurement Ada Programs. Ada-Europe 2000: 69-81
[c32]
- view
  authority control:
- export record
  dblp key:
  - conf/apsec/NonakaUC00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/apsec/NonakaUC00
Yusuke Nonaka, Kazuo Ushijima, Jingde Cheng:
Monitoring facilities in languages supporting development of concurrent self-measurement programs. APSEC 2000: 92-99
[c31]
- no documents available
  - details & citations
- export record
  dblp key:
  - conf/irma/Cheng00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/irma/Cheng00
Jingde Cheng:
Designing, developing, and maintaining concurrent systems based on self-measurement principle. IRMA Conference 2000: 944-945
[c30]
- no documents available
  - details & citations
- export record
  dblp key:
  - conf/irma/Cheng00a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/irma/Cheng00a
Jingde Cheng:
Temporal relevant logic as the logical basis of autonomous evolutionary information systems. IRMA Conference 2000: 950-951

1990 – 1999

see FAQ

What is the meaning of the colors in the publication lists?

1999
[c29]
- view
  authority control:
- export record
  dblp key:
  - conf/apsec/NonakaHNCU99
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/apsec/NonakaHNCU99
Yusuke Nonaka, Katsuhiko Hatano, Yoshinari Nomura, Jingde Cheng, Kazuo Ushijima:
A System Dependence Net Generator for Ada Programs. APSEC 1999: 441-448
[c28]
- no documents available
  - details & citations
- export record
  dblp key:
  - conf/ejc/Cheng99
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ejc/Cheng99
Jingde Cheng:
A Strong Relevant Logic Model of Epistemic Processes in Scientific Discovery. EJC 1999: 136-159
[c27]
- view
  authority control:
- export record
  dblp key:
  - conf/pakdd/Cheng99
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/pakdd/Cheng99
Jingde Cheng:
A Strong Relevant Logic Model of Epistemic Processes in Scientific Discovery (Extended Abstract). PAKDD 1999: 489-493
1998
[c26]
- view
  authority control:
- export record
  dblp key:
  - conf/csmr/ZhaoCU98
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/csmr/ZhaoCU98
Jianjun Zhao, Jingde Cheng, Kazuo Ushijima:
A Dependence-Based Representation for Concurrent Object-Oriented Software Maintenance. CSMR 1998: 60-66
[c25]
- view
  authority control:
- export record
  dblp key:
  - conf/csmr/ZhaoCU98a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/csmr/ZhaoCU98a
Jianjun Zhao, Jingde Cheng, Kazuo Ushijima:
A Metrics Suite for Concurrent Logic Programs. CSMR 1998: 172-178
[c24]
- view
  authority control:
- export record
  dblp key:
  - conf/dis/Cheng98
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dis/Cheng98
Jingde Cheng:
A Strong Relevant Logic Model of Epistemic Processes in Schientific Discovery. Discovery Science 1998: 403-404
[c23]
- view
  authority control:
- export record
  dblp key:
  - conf/smc/Cheng98
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/smc/Cheng98
Jingde Cheng:
Temporal relevant logic as the logic basis for reasoning about dynamics of concurrent systems. SMC 1998: 794-799
[c22]
- view
  authority control:
- export record
  dblp key:
  - conf/smc/Cheng98a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/smc/Cheng98a
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]
- view
  authority control:
- export record
  dblp key:
  - conf/apdc/Cheng97
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/apdc/Cheng97
Jingde Cheng:
Dependence Analysis of Parallel and Distributed Programs and Its Applications. APDC 1997: 370-377
[c20]
- view
  authority control:
- export record
  dblp key:
  - conf/ishpc/NishiCU97
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ishpc/NishiCU97
Kazunori Nishi, Jingde Cheng, Kazuo Ushijima:
Improving the Performance of Automated Forward Deduction System EnCal. ISHPC 1997: 371-380
[c19]
- view
  authority control:
- export record
  dblp key:
  - conf/sigada/Cheng97
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sigada/Cheng97
Jingde Cheng:
Task Dependence Nets for Concurrent Systems with Ada 95 and Its Applications. TRI-Ada 1997: 67-78
1996
[c18]
- view
  authority control:
- export record
  dblp key:
  - conf/adaEurope/ChengU96
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/adaEurope/ChengU96
Jingde Cheng, Kazuo Ushijima:
Tasking Deadlocks in Ada 95 Programs and Their Detection. Ada-Europe 1996: 135-146
[c17]
- view
  authority control:
- export record
  dblp key:
  - conf/asian/GoshiCU96
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/asian/GoshiCU96
Kazuaki Goshi, Jingde Cheng, Kazuo Ushijima:
ALPS-JI: An Annotated Logic Programming System with Hypothetical Implications (Abstract). ASIAN 1996: 343-344
[c16]
- view
  authority control:
- export record
  dblp key:
  - conf/compsac/ZhaoCU96
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/compsac/ZhaoCU96
Jianjun Zhao, Jingde Cheng, Kazuo Ushijima:
Static Slicing of Concurrent Object-Oriented Programs. COMPSAC 1996: 312-320
[c15]
- view
  authority control:
- export record
  dblp key:
  - conf/icpads/ZhaoCU96
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icpads/ZhaoCU96
Jianjun Zhao, Jingde Cheng, Kazuo Ushijima:
Program dependence analysis of concurrent logic programs and its applications. ICPADS 1996: 282-291
[c14]
- no documents available
  - details & citations
- export record
  dblp key:
  - conf/ifip/Cheng96
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ifip/Cheng96
Jingde Cheng:
EnCal: an automated forward deduction system for general-purpose entailment calculus. IFIP World Conference on IT Tools 1996
1995
[c13]
- view
  authority control:
- export record
  dblp key:
  - conf/apsec/KasaharaNKCU95
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/apsec/KasaharaNKCU95
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]
- no documents available
  - details & citations
- export record
  dblp key:
  - conf/iclp/ZhaoCU95
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iclp/ZhaoCU95
Jianjun Zhao, Jingde Cheng, Kazuo Ushijima:
Program Dependence Analysis of Concurrent Logic Programs and Its Applications. ICLP 1995: 825
1993
[c11]
- view
  authority control:
- export record
  dblp key:
  - conf/aadebug/Cheng93
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aadebug/Cheng93
Jingde Cheng:
Slicing Concurrent Programs - A Graph-Theoretical Approach. AADEBUG 1993: 223-240
[c10]
- view
  authority control:
- export record
  dblp key:
  - conf/compsac/Cheng93
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/compsac/Cheng93
Jingde Cheng:
Process dependence net of distributed programs and its applications in development of distributed systems. COMPSAC 1993: 231-240
[c9]
- view
  authority control:
- export record
  dblp key:
  - conf/icpp/Cheng93
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icpp/Cheng93
Jingde Cheng:
Dependence-Based Complexity Metrics for Distributed Programs. ICPP (2) 1993: 265-268
[c8]
- view
  authority control:
- export record
  dblp key:
  - conf/issre/Cheng93
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/issre/Cheng93
Jingde Cheng:
Complexity metrics for distributed programs. ISSRE 1993: 132-141
[c7]
- no documents available
  - details & citations
- export record
  dblp key:
  - conf/parco/Cheng93
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/parco/Cheng93
Jingde Cheng:
Nondeterministic Parallel Control-Flow / Definition-Use Nets and their Applications. PARCO 1993: 589-592
1992
[c6]
- view
  authority control:
- export record
  dblp key:
  - conf/adaEurope/Cheng92
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/adaEurope/Cheng92
Jingde Cheng:
Task Dependence Net as a Representation for Concurrent Ada Programs. Ada-Europe 1992: 150-164
1991
[j2]
- view
  authority control:
- export record
  dblp key:
  - journals/software/ArakiFC91
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/software/ArakiFC91
Keijiro Araki, Zengo Furukawa, Jingde Cheng:
A General Framework for Debugging. IEEE Softw. 8(3): 14-20 (1991)
[c5]
- view
  authority control:
- export record
  dblp key:
  - conf/acm/Cheng91
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/acm/Cheng91
Jingde Cheng:
Logical tool of knowledge engineering: using entailment logic rather than mathematical logic. ACM Conference on Computer Science 1991: 228-238
[c4]
- view
  authority control:
- export record
  dblp key:
  - conf/adaEurope/ChengU91
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/adaEurope/ChengU91
Jingde Cheng, Kazuo Ushijima:
Analyzing Ada Tasking Deadlocks and Livelocks Using Extended Petri Nets. Ada-Europe 1991: 125-146
[c3]
- view
  authority control:
- export record
  dblp key:
  - conf/compsac/ChengKU91
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/compsac/ChengKU91
Jingde Cheng, Yoshiaki Kasahara, Kazuo Ushijima:
A tasking deadlock detector for Ada programs. COMPSAC 1991: 56-63
[p1]
- view
  authority control:
- export record
  dblp key:
  - series/wsscs/Cheng91
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/series/wsscs/Cheng91
Jingde Cheng:
Relevance Logic and Entailment Logic. Software Science and Engineering 1991: 189-211
1990
[j1]
- view
  authority control:
- export record
  dblp key:
  - journals/ipl/Cheng90
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ipl/Cheng90
Jingde Cheng:
An Algebraic Semantics of Notional Entailment Logic Cn. Inf. Process. Lett. 36(3): 117-121 (1990)
[c2]
- view
  authority control:
- export record
  dblp key:
  - conf/sigada/Cheng90
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sigada/Cheng90
Jingde Cheng:
Task-wait-for graphs and their application to handling tasking deadlocks. TRI-Ada 1990: 376-390

1980 – 1989

see FAQ

What is the meaning of the colors in the publication lists?

1989
[c1]
- view
  authority control:
- export record
  dblp key:
  - conf/compsac/ChengU89
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/compsac/ChengU89
Jingde Cheng, Kazuo Ushijima:
Entailment as a logical basis for incremental generation of causal relations. COMPSAC 1989: 719-726

Coauthor Index

see FAQ

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.