Huaikou Miao
Huaikou Miao publishes mostly in Information Systems, Computer Networks and Communications and Artificial Intelligence, on topics such as Advanced Software Engineering Methodologies, Formal Methods in Verification and Service-Oriented Architecture and Web Services.
- World rank
- #1,444,018 of 1,633,909 ranked researchers
- Rank in China
- #154,723 of 187,979
- Works
- 24
- Citations
- 3
- Citations per work
- 0.1
What does Huaikou Miao research?
Shares of their own output, by the field each of their topics belongs to. The grey slice is everything not listed.
- 1Information Systems19% of their works
- 2Computer Networks and Communications15% of their works
- 3Artificial Intelligence15% of their works
- 4Software12% of their works
- 5Hardware and Architecture8% of their works
- 6Computational Theory and Mathematics8% of their works
Research topics
- Advanced Software Engineering Methodologies
- Formal Methods in Verification
- Service-Oriented Architecture and Web Services
- Software Testing and Debugging Techniques
- Advanced Computational Techniques and Applications
- Logic, programming, and type systems
- Distributed and Parallel Computing Systems
- Software System Performance and Reliability
Which keywords describe Huaikou Miao's research?
The keywords of their largest research topics: Model Checking, Automated Testing, Autonomic Computing, Distributed Systems, QoS-Aware Middleware, Satisfiability Modulo Theories, Self-Adaptive Systems and Semantic Web Services.
- Wavelet Analysis
- Resource Management
- Log Analysis
- Formal Verification
- Symbolic Model Checker
- Semantic Web Services
- Satisfiability Modulo Theories
- Distributed Systems
- Automated Testing
- Model Checking
- Autonomic Computing
- QoS-Aware Middleware
- Self-Adaptive Systems
- Software Fault Localization
- Expert Systems
- Grid Computing
- Performance Prediction
- Static Analysis
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 Checking32 topics
- Automated Testing21 topic
- Autonomic Computing21 topic
- Distributed Systems22 topics
- QoS-Aware Middleware21 topic
- Satisfiability Modulo Theories21 topic
- Self-Adaptive Systems21 topic
- Semantic Web Services21 topic
- Software Fault Localization21 topic
- Symbolic Model Checker21 topic
- Expert Systems11 topic
- Formal Verification11 topic
- Grid Computing11 topic
- Log Analysis11 topic
- Performance Prediction11 topic
- Resource Management11 topic
- Static Analysis11 topic
- Wavelet Analysis11 topic
Where does Huaikou Miao work?
Huaikou Miao's main affiliation in the publication record is Shanghai University of Engineering Science, China.
How many publications and citations does Huaikou Miao have?
Science Explorer counts 24 works and 3 citations for Huaikou Miao, ranking #1,444,018 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 Huaikou Miao
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.