Concepedia

Ji Wang

JW

Statistics

Publications

33

Citations

661

H-Index

15

Active since

2003

Affiliations

National University of Defense Technology(Current)

Hunan University

Hong Kong Institute of Vocational Education

University of Chinese Academy of Sciences

Chongqing University of Posts and Telecommunications

Ji Wang is an author at National University of Defense Technology specializing in computing, computer science, and formal methods.

Publications per year

2003–2025

33

Publications

33

Counterexample-Preserving Reduction for Symbolic Model Checking

Wanwei Liu, Xianjin Fu, Ji Wang et al. · Journal of Applied Mathematics · 2014 · 70 citations · Full text

Computing, Computer Science, Algorithms +6

SP-Partitioner: A novel partition method to handle intermediate data skew in spark streaming

Guipeng Liu, Xiaomin Zhu, Ji Wang et al. · Future Generation Computer Systems · 2017 · 39 citations

Computing, Computer Science, Computer Systems +14

Fault-Tolerant Scheduling for Real-Time Tasks on Multiple Earth-Observation Satellites

Xiaomin Zhu, Jianjiang Wang, Xiao Qin et al. · IEEE Transactions on Parallel and Distributed Systems · 2014 · 33 citations

Computing, Computer Engineering, Computer Systems +16

Regular Property Guided Dynamic Symbolic Execution

Yufeng Zhang, Zhenbang Chen, Ji Wang et al. · 2015 IEEE/ACM 37th IEEE International Conference on Software Engineering · 2015 · 33 citations

Computing, Computer Science, Algorithms +10

Model checking UML statecharts

Wei Dong, Ji Wang, Qi Xuan et al. · 2005 · 32 citations

Computing, Computer Science, Formal Methods +16

1–5 of 33