Ji Wang

1.3k total citations
104 papers, 550 citations indexed

About

Ji Wang is a scholar working on Software, Computational Theory and Mathematics and Artificial Intelligence. According to data from OpenAlex, Ji Wang has authored 104 papers receiving a total of 550 indexed citations (citations by other indexed papers that have themselves been cited), including 49 papers in Software, 41 papers in Computational Theory and Mathematics and 30 papers in Artificial Intelligence. Recurrent topics in Ji Wang's work include Software Testing and Debugging Techniques (39 papers), Formal Methods in Verification (37 papers) and Software Reliability and Analysis Research (16 papers). Ji Wang is often cited by papers focused on Software Testing and Debugging Techniques (39 papers), Formal Methods in Verification (37 papers) and Software Reliability and Analysis Research (16 papers). Ji Wang collaborates with scholars based in China, United States and Singapore. Ji Wang's co-authors include Wei Dong, Zhenbang Chen, Wanwei Liu, Xiaomin Zhu, Rui Wang, Xiaoguang Mao, Zhichang Qi, Liqian Chen, Huowang Chen and Hui Guo and has published in prestigious journals such as Nature Communications, IEEE Transactions on Automatic Control and Electrochimica Acta.

In The Last Decade

Ji Wang

88 papers receiving 532 citations

Peers — A (Enhanced Table)

Peers by citation overlap · career bar shows stage (early→late) cites · hero ref

Name	h						Papers	Cites
Ji Wang China	13	192	145	143	120	108	104	550
René Rydhof Hansen Denmark	13	170 0.9×	224 1.5×	235 1.6×	255 2.1×	105 1.0×	66	641
Wei Dong China	14	249 1.3×	245 1.7×	278 1.9×	114 0.9×	105 1.0×	126	659
Bent Thomsen Denmark	12	154 0.8×	389 2.7×	86 0.6×	161 1.3×	369 3.4×	46	697
Man‐Tak Shing United States	13	188 1.0×	164 1.1×	155 1.1×	162 1.4×	155 1.4×	79	504
Erika Ábrahám Germany	13	159 0.8×	231 1.6×	105 0.7×	229 1.9×	351 3.3×	86	748
Rajeev Kumar India	13	174 0.9×	116 0.8×	132 0.9×	76 0.6×	30 0.3×	72	448
Marijn J. H. Heule United States	13	119 0.6×	346 2.4×	53 0.4×	159 1.3×	325 3.0×	61	617
Andreas Bauer Germany	11	205 1.1×	296 2.0×	81 0.6×	149 1.2×	308 2.9×	33	603
Sang-Ho Lee South Korea	9	145 0.8×	153 1.1×	222 1.6×	145 1.2×	12 0.1×	40	522
Stefan Leue Germany	15	397 2.1×	263 1.8×	149 1.0×	141 1.2×	415 3.8×	70	727

Countries citing papers authored by Ji Wang

Since Specialization

Citations

This map shows the geographic impact of Ji Wang'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 Ji Wang with the expected number of citations based on a country's size and research output (numbers larger than one mean the country cites Ji Wang more than expected).

Fields of papers citing papers by Ji Wang

Since Specialization

Physical SciencesHealth SciencesLife SciencesSocial Sciences

This network shows the impact of papers produced by Ji Wang. 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 Ji Wang. The network helps show where Ji Wang may publish in the future.

Co-authorship network of co-authors of Ji Wang

This figure shows the co-authorship network connecting the top 25 collaborators of Ji Wang. A scholar is included among the top collaborators of Ji Wang 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 Ji Wang. Ji Wang is excluded from the visualization to improve readability, since they are connected to all nodes in the network.

All Works

Sort: Min cites: Since: Top N: Style:

20 of 20 papers shown

Wang, Ji, et al.. (2025). Secondary acceleration of slip fronts driven by slow slip event coalescence in subduction zones. Nature Communications. 16(1). 9561–9561.

Zhan, Naijun, Jim Woodcock, Ji Wang, & Mingshuai Chen. (2025). A Brief History of Formal Methods in China. Formal Aspects of Computing.

Yang, Xu, et al.. (2024). Symbolic execution of floating-point programs: How far are we?. Journal of Systems and Software. 220. 112242–112242. 1 indexed citations

Liang, Zhen, Wanwei Liu, Fu Song, et al.. (2024). Qualitative and Quantitative Model Checking Against Recurrent Neural Networks. Journal of Computer Science and Technology. 39(6). 1292–1311. 1 indexed citations

Wang, Ji, et al.. (2024). Auction-Based Behavior Tree Evolution for Heterogeneous Multi-Agent Systems. Applied Sciences. 14(17). 7896–7896.

Chen, Zhenbang, et al.. (2024). Partial Solution Based Constraint Solving Cache in Symbolic Execution. Proceedings of the ACM on software engineering.. 1(FSE). 2493–2514. 1 indexed citations

Chen, Zhenbang, et al.. (2024). Hybrid Regression Test Selection by Integrating File and Method Dependences. 1557–1569. 1 indexed citations

Tan, D. T. H., Huixia Li, Muhua Zhu, et al.. (2024). RTC_TongueNet: An improved tongue image segmentation model based on DeepLabV3. Digital Health. 10. 599886485–599886485. 6 indexed citations

Bai, Xue, Naijun Zhan, Martin Fränzle, Ji Wang, & Wanwei Liu. (2023). Reach-Avoid Verification Based on Convex Optimization. IEEE Transactions on Automatic Control. 69(1). 598–605. 7 indexed citations

10.

Jiang, Wenzheng, et al.. (2023). Trajectory Planning for Spacecraft Far-field Rendezvous via Convex Optimization. 536–542.

11.

Guo, Fei, et al.. (2022). All-atom molecular dynamics simulations of the combined effects of different phospholipids and cholesterol content on electroporation. RSC Advances. 12(38). 24491–24500. 4 indexed citations

12.

Guo, Fei, et al.. (2021). Anisotropic conductivity for single-cell electroporation simulation with tangentially dispersive membrane. Electrochimica Acta. 385. 138426–138426. 12 indexed citations

13.

Pan, Zongxu, et al.. (2020). Learning Capsules for SAR Target Recognition. IEEE Journal of Selected Topics in Applied Earth Observations and Remote Sensing. 13. 4663–4673. 25 indexed citations

14.

Dong, Wei, et al.. (2019). Parallel Refinement for Multi-Threaded Program Verification. 643–653. 4 indexed citations

15.

Wu, Xueguang, Liqian Chen, Antoine Miné, Wei Dong, & Ji Wang. (2015). Numerical static analysis of interrupt-driven programs via sequentialization. 55–64. 3 indexed citations

16.

Liu, Wanwei, et al.. (2015). A simple probabilistic extension of modal µ-calculus. International Conference on Artificial Intelligence. 882–888. 3 indexed citations

17.

Chen, Zhenbang, et al.. (2015). Symbolic execution of MPI programs. International Conference on Software Engineering. 809–810. 3 indexed citations

18.

Wang, Ji. (2012). The level and influencing factors of subjective well-being of nurses. Zhonghua huli zazhi. 2 indexed citations

19.

Wang, Ji. (2011). Migrant Housing during Rapid Urbanization in China: Typology and Assessment. Urban Studies. 5 indexed citations

20.

Yeung, W.L., et al.. (2006). Modelling and model checking suspendible business processes via statechart diagrams and CSP. Science of Computer Programming. 65(1). 14–29. 6 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