Ji Wang
Ji Wang publishes mostly in Software, Artificial Intelligence and Computational Theory and Mathematics, on topics such as Formal Methods in Verification, Software Testing and Debugging Techniques and Logic, programming, and type systems.
- World rank
- #1,055,791 of 1,633,909 ranked researchers
- Rank in China
- #97,584 of 187,979
- Works
- 78
- Citations
- 64
- Citations per work
- 0.8
What does Ji Wang research?
Shares of their own output, by the field each of their topics belongs to. The grey slice is everything not listed.
- 1Software19% of their works
- 2Artificial Intelligence17% of their works
- 3Computational Theory and Mathematics16% of their works
- 4Information Systems8% of their works
- 5Management Information Systems5% of their works
- 6Hardware and Architecture4% of their works
Research topics
Which keywords describe Ji Wang's research?
The keywords of their largest research topics: Model Checking, Temporal Logic, Automated Testing, Satisfiability Modulo Theories, Software Fault Localization, Symbolic Model Checker, Architecture-Based Approach and Formal Verification.
- Test Data Compression
- Neural Machine Translation
- Refactoring
- Code Clone Detection
- Static Analysis
- Formal Verification
- Symbolic Model Checker
- Satisfiability Modulo Theories
- Temporal Logic
- Model Checking
- Automated Testing
- Software Fault Localization
- Architecture-Based Approach
- Software Reliability Modeling
- Answer Set Programming
- Modal Logic
- Embedded Cores
- Statistical Machine Translation
Size is their works in the topics tagged with each word, from their 8 largest topics. Each links to the topic it comes from most.
All 18 words, with their numbers
- Model Checking223 topics
- Temporal Logic172 topics
- Automated Testing141 topic
- Satisfiability Modulo Theories141 topic
- Software Fault Localization141 topic
- Symbolic Model Checker141 topic
- Architecture-Based Approach51 topic
- Formal Verification51 topic
- Software Reliability Modeling51 topic
- Static Analysis51 topic
- Answer Set Programming31 topic
- Code Clone Detection31 topic
- Modal Logic31 topic
- Refactoring31 topic
- Embedded Cores21 topic
- Neural Machine Translation21 topic
- Statistical Machine Translation21 topic
- Test Data Compression21 topic
Where does Ji Wang work?
Ji Wang's main affiliation in the publication record is National University of Defense Technology, China.
How many publications and citations does Ji Wang have?
Science Explorer counts 78 works and 64 citations for Ji Wang, ranking #1,055,791 of 1,633,909 researchers worldwide on the composite score.
Ranked on field-normalised excellence (50%), output (30%) and citations (20%). Counts come from OpenAlex author records, which occasionally merge different people who share a name or split one person into several.
Other researchers named Ji Wang
- ji-wang-ningbo-university
- ji-wang-the-ohio-state-university
- ji-wang-national-university-of-defense-technology
- ji-wang-east-china-university-of-science-and-technology
- ji-wang-huazhong-university-of-science-and-technology
- ji-wang-beijing-university-of-chinese-medicine
- ji-wang-hunan-agricultural-university
- ji-wang-chongqing-university
- ji-wang-tsinghua-university
- ji-wang-central-china-normal-university
- ji-wang-air-force-medical-university
Papers, co-authors, who cited this work and researchers on the nearest topics are in the interactive view on the map. Is this your page? Request a correction or removal.