Science Explorer Interactive view Map
Researcher · University of South Florida · United States

Hao Zheng

Hao Zheng publishes mostly in Computational Theory and Mathematics, Software and Electrical and Electronic Engineering, on topics such as Formal Methods in Verification, Software Reliability and Analysis Research and Petri Nets in System Modeling.

ORCID 0000-0002-8627-0591 OpenAlex
World rank
#989,683
of 1,633,909 ranked researchers
Rank in United States
#262,240
of 358,040
Works
16
Citations
48
Citations per work
3.0

What does Hao Zheng research?

Computational Theory and Mathematics: 33.3%Software: 23.8%Electrical and Electronic Engineering: 23.8%Hardware and Architecture: 14.3%other fields: 4.8%33%top field
Computational Theory and Mathematics33.3%Software23.8%Electrical and Electronic Engineering23.8%Hardware and Architecture14.3%other fields4.8%

Shares of their own output, by the field each of their topics belongs to. The grey slice is everything not listed.

  1. 1Computational Theory and Mathematics33% of their works
  2. 2Software24% of their works
  3. 3Electrical and Electronic Engineering24% of their works
  4. 4Hardware and Architecture14% of their works
  5. 5Computer Vision and Pattern Recognition5% of their works

Research topics

Which keywords describe Hao Zheng's research?

The keywords of their largest research topics: Model Checking, Symbolic Model Checker, Architecture-Based Approach, Software Reliability Modeling, Deadlock Prevention, Domain-Specific Languages, Embedded Cores and Model-Driven Engineering.

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 16 words, with their numbers
  1. Model Checking51 topic
  2. Symbolic Model Checker51 topic
  3. Architecture-Based Approach31 topic
  4. Software Reliability Modeling31 topic
  5. Deadlock Prevention21 topic
  6. Domain-Specific Languages21 topic
  7. Embedded Cores21 topic
  8. Model-Driven Engineering21 topic
  9. Petri Nets21 topic
  10. Test Data Compression21 topic
  11. Atomic Layer Deposition11 topic
  12. Convolutional Neural Networks11 topic
  13. Deep Learning11 topic
  14. High-Level Synthesis11 topic
  15. High-k Dielectrics11 topic
  16. Reconfigurable Computing11 topic

Where does Hao Zheng work?

Hao Zheng's main affiliation in the publication record is University of South Florida, United States.

How many publications and citations does Hao Zheng have?

Science Explorer counts 16 works and 48 citations for Hao Zheng, ranking #989,683 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 Hao Zheng

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.