Jingde Cheng

1.4k total citations
113 papers, 447 citations indexed

About

Jingde Cheng is a scholar working on Artificial Intelligence, Computer Networks and Communications and Information Systems. According to data from OpenAlex, Jingde Cheng has authored 113 papers receiving a total of 447 indexed citations (citations by other indexed papers that have themselves been cited), including 52 papers in Artificial Intelligence, 45 papers in Computer Networks and Communications and 40 papers in Information Systems. Recurrent topics in Jingde Cheng's work include Logic, Reasoning, and Knowledge (24 papers), Software Testing and Debugging Techniques (16 papers) and Software Reliability and Analysis Research (14 papers). Jingde Cheng is often cited by papers focused on Logic, Reasoning, and Knowledge (24 papers), Software Testing and Debugging Techniques (16 papers) and Software Reliability and Analysis Research (14 papers). Jingde Cheng collaborates with scholars based in Japan, China and United States. Jingde Cheng's co-authors include Yuichi Goto, Kentaro Ushijima, Jianjun Zhao, Jianbin Li, Romi Satria Wahono, Kazuo Ushijima, Ke Wang, Liu Ying, Lei Ye and Zhiliang Zhu and has published in prestigious journals such as IEEE Access, Theoretical Computer Science and IEEE Systems Journal.

In The Last Decade

Jingde Cheng

99 papers receiving 430 citations

Peers

Jingde Cheng
Phillip J. Brooke United Kingdom
Martha Branstad United States
Guy-Vincent Jourdan Canada
Mikhail Auguston United States
Gábor Bergmann Hungary
RJ Stroud United Kingdom
Bernd Grobauer Denmark
Lalita Jategaonkar Jagadeesan United States
Marc Frappier Canada
Dianxiang Xu United States
Phillip J. Brooke United Kingdom
Jingde Cheng
Citations per year, relative to Jingde Cheng Jingde Cheng (= 1×) peers Phillip J. Brooke

Countries citing papers authored by Jingde Cheng

Since Specialization
Citations

This map shows the geographic impact of Jingde Cheng's research. It shows the number of citations coming from papers published by authors working in each country. You can also color the map by specialization and compare the number of citations received by Jingde Cheng with the expected number of citations based on a country's size and research output (numbers larger than one mean the country cites Jingde Cheng more than expected).

Fields of papers citing papers by Jingde Cheng

Since Specialization
Physical SciencesHealth SciencesLife SciencesSocial Sciences

This network shows the impact of papers produced by Jingde Cheng. Nodes represent research fields, and links connect fields that are likely to share authors. Colored nodes show fields that tend to cite the papers produced by Jingde Cheng. The network helps show where Jingde Cheng may publish in the future.

Co-authorship network of co-authors of Jingde Cheng

This figure shows the co-authorship network connecting the top 25 collaborators of Jingde Cheng. A scholar is included among the top collaborators of Jingde Cheng based on the total number of citations received by their joint publications. Widths of edges represent the number of papers authors have co-authored together. Node borders signify the number of papers an author published with Jingde Cheng. Jingde Cheng is excluded from the visualization to improve readability, since they are connected to all nodes in the network.

All Works

20 of 20 papers shown
1.
Wang, Zhi, et al.. (2016). CloudEval: A Simulation Environment for Evaluating the Dynamic Cloud VM consolidation. 37–45. 1 indexed citations
2.
Wang, Zhe, et al.. (2016). Development of a General-Purpose Offline E-Testing Environment. 352. 603–607. 3 indexed citations
3.
Liu, Ying, et al.. (2015). Prevention of fault propagation in web service: a complex network approach. Journal of Web Engineering. 14(1). 136–150. 2 indexed citations
4.
Goto, Yuichi, et al.. (2014). A systematic methodology for automated theorem finding. Theoretical Computer Science. 554. 2–21. 6 indexed citations
5.
Zhang, Ning, et al.. (2013). Supporting verification and validation of security targets with ISO/IEC 15408. 2621–2628. 3 indexed citations
6.
7.
8.
Cheng, Jingde. (2009). Uncertainty Problem in Dynamic Slicing of Concurrent Programs. 241–248. 1 indexed citations
9.
Cheng, Jingde, et al.. (2009). Development of ISEE: An Information Security Engineering Environment. 1. 505–510. 8 indexed citations
10.
Goto, Yuichi, et al.. (2007). Formal verification of security specifications with common criteria. 1506–1512. 16 indexed citations
11.
Goto, Yuichi, et al.. (2005). Improving the Performance of Forward Deduction Engines by Parallel Processing. 46(10). 19–29. 1 indexed citations
12.
Cheng, Jingde. (2005). Strong Relevant Logic as the Universal Basis of Various Applied Logics for Knowledge Representation and Reasoning. European Journal of Combinatorics. 310–320. 11 indexed citations
13.
14.
15.
Zhao, Jianjun, Jingde Cheng, & Kentaro Ushijima. (2002). Static slicing of concurrent object-oriented programs. 3. 312–320. 39 indexed citations
16.
Cheng, Jingde, et al.. (2001). Detection of Network Faults and Performance Problems. 7 indexed citations
17.
Cheng, Jingde. (2001). Programming with conditionals: Epistemic Programming for scientific discovery. Wuhan University Journal of Natural Sciences. 6(1-2). 326–332. 1 indexed citations
18.
Cheng, Jingde. (1999). A Strong Relevant Logic Model of Epistemic Processes in Scientific Discovery (Extended Abstract). 489–493.
19.
Cheng, Jingde, et al.. (1992). Decomposition Slicing Based on Program Dependence Graph. 45. 251–252.
20.
Cheng, Jingde. (1989). Entailment as a Logical Basis for Deductive Reasoning. Kyoto University Research Information Repository (Kyoto University). 709. 199–220. 1 indexed citations

Rankless uses publication and citation data sourced from OpenAlex, an open and comprehensive bibliographic database. While OpenAlex provides broad and valuable coverage of the global research landscape, it—like all bibliographic datasets—has inherent limitations. These include incomplete records, variations in author disambiguation, differences in journal indexing, and delays in data updates. As a result, some metrics and network relationships displayed in Rankless may not fully capture the entirety of a scholar's output or impact.

Explore authors with similar magnitude of impact

Breakdown of academic impact, for papers by Phillip J. Brooke Breakdown of academic impact, for papers by Martha Branstad Breakdown of academic impact, for papers by Guy-Vincent Jourdan Breakdown of academic impact, for papers by Mikhail Auguston Breakdown of academic impact, for papers by Gábor Bergmann Breakdown of academic impact, for papers by RJ Stroud Breakdown of academic impact, for papers by Bernd Grobauer Breakdown of academic impact, for papers by Lalita Jategaonkar Jagadeesan Breakdown of academic impact, for papers by Marc Frappier Breakdown of academic impact, for papers by Dianxiang Xu
Rankless by CCL
2026