Zheng Cheng
Zheng Cheng publishes mostly in Artificial Intelligence, Control and Systems Engineering and Information Systems, on topics such as Service-Oriented Architecture and Web Services, Logic, programming, and type systems and Model-Driven Software Engineering Techniques.
- World rank
- #1,313,891 of 1,633,909 ranked researchers
- Rank in China
- #134,459 of 187,979
- Works
- 17
- Citations
- 8
- Citations per work
- 0.5
What does Zheng Cheng research?
Shares of their own output, by the field each of their topics belongs to. The grey slice is everything not listed.
- 1Artificial Intelligence24% of their works
- 2Control and Systems Engineering16% of their works
- 3Information Systems16% of their works
- 4Software8% of their works
- 5Electrical and Electronic Engineering8% of their works
- 6Computational Mechanics4% of their works
Research topics
- Service-Oriented Architecture and Web Services
- Logic, programming, and type systems
- Model-Driven Software Engineering Techniques
- Advanced Computational Techniques and Applications
- Semantic Web and Ontologies
- Advanced Software Engineering Methodologies
- Security and Verification in Computing
- Formal Methods in Verification
Which keywords describe Zheng Cheng's research?
The keywords of their largest research topics: QoS-Aware Middleware, Semantic Web Services, Model Checking, Data Integration, Domain-Specific Languages, Formal Verification, Model-Driven Engineering and Ontology.
- Symbolic Model Checker
- Semantic Web
- Security Policies
- Linked Data
- Autonomic Computing
- Ontology
- Formal Verification
- Data Integration
- Semantic Web Services
- QoS-Aware Middleware
- Model Checking
- Domain-Specific Languages
- Model-Driven Engineering
- Static Analysis
- Expert Systems
- Satisfiability Modulo Theories
- Self-Adaptive Systems
- Side-Channel Attacks
- Wavelet 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 19 words, with their numbers
- QoS-Aware Middleware41 topic
- Semantic Web Services41 topic
- Model Checking32 topics
- Data Integration22 topics
- Domain-Specific Languages21 topic
- Formal Verification21 topic
- Model-Driven Engineering21 topic
- Ontology22 topics
- Static Analysis21 topic
- Autonomic Computing11 topic
- Expert Systems11 topic
- Linked Data11 topic
- Satisfiability Modulo Theories11 topic
- Security Policies11 topic
- Self-Adaptive Systems11 topic
- Semantic Web11 topic
- Side-Channel Attacks11 topic
- Symbolic Model Checker11 topic
- Wavelet Analysis11 topic
Where does Zheng Cheng work?
Zheng Cheng's main affiliation in the publication record is China Academy of Engineering Physics, China.
How many publications and citations does Zheng Cheng have?
Science Explorer counts 17 works and 8 citations for Zheng Cheng, ranking #1,313,891 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 Zheng Cheng
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.