Hai-Feng Guo
Hai-Feng Guo publishes mostly in Artificial Intelligence, Computational Theory and Mathematics and Computer Networks and Communications, on topics such as Logic, Reasoning, and Knowledge, Formal Methods in Verification and Logic, programming, and type systems.
- World rank
- #290,202 of 1,633,909 ranked researchers
- Rank in United States
- #110,214 of 358,040
- Works
- 32
- Citations
- 146
- Citations per work
- 4.6
What does Hai-Feng Guo research?
Shares of their own output, by the field each of their topics belongs to. The grey slice is everything not listed.
- 1Artificial Intelligence25% of their works
- 2Computational Theory and Mathematics17% of their works
- 3Computer Networks and Communications11% of their works
- 4Software8% of their works
- 5Biomedical Engineering6% of their works
- 6Materials Chemistry6% of their works
Research topics
Which keywords describe Hai-Feng Guo's research?
The keywords of their largest research topics: Model Checking, Temporal Logic, Answer Set Programming, Modal Logic, Satisfiability Modulo Theories, Symbolic Model Checker, Formal Verification and Static Analysis.
- Surfactants
- Micelles
- Software Fault Localization
- Distributed Algorithms
- Biomaterials
- Static Analysis
- Symbolic Model Checker
- Modal Logic
- Temporal Logic
- Model Checking
- Answer Set Programming
- Satisfiability Modulo Theories
- Formal Verification
- Automated Testing
- Constraint Optimization
- Scaffolds
- Electrostatics
- Polyelectrolytes
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 Checking123 topics
- Temporal Logic92 topics
- Answer Set Programming51 topic
- Modal Logic51 topic
- Satisfiability Modulo Theories41 topic
- Symbolic Model Checker41 topic
- Formal Verification31 topic
- Static Analysis31 topic
- Automated Testing21 topic
- Biomaterials21 topic
- Constraint Optimization21 topic
- Distributed Algorithms21 topic
- Scaffolds21 topic
- Software Fault Localization21 topic
- Electrostatics11 topic
- Micelles11 topic
- Polyelectrolytes11 topic
- Surfactants11 topic
Where does Hai-Feng Guo work?
Hai-Feng Guo's main affiliation in the publication record is University of Nebraska at Omaha, United States.
How many publications and citations does Hai-Feng Guo have?
Science Explorer counts 32 works and 146 citations for Hai-Feng Guo, ranking #290,202 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.
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.