Jingde Cheng
Jingde Cheng publishes mostly in Artificial Intelligence, Computer Networks and Communications and Information Systems, on topics such as Logic, Reasoning, and Knowledge, Semantic Web and Ontologies and Logic, programming, and type systems.
- World rank
- #892,482 of 1,633,909 ranked researchers
- Rank in Japan
- #45,667 of 114,622
- Works
- 58
- Citations
- 90
- Citations per work
- 1.6
What does Jingde Cheng research?
Shares of their own output, by the field each of their topics belongs to. The grey slice is everything not listed.
- 1Artificial Intelligence40% of their works
- 2Computer Networks and Communications18% of their works
- 3Information Systems14% of their works
- 4Computational Theory and Mathematics5% of their works
- 5Software5% of their works
- 6Hardware and Architecture4% of their works
Research topics
Which keywords describe Jingde Cheng's research?
The keywords of their largest research topics: Description Logics, Knowledge Representation, Model Checking, Temporal Logic, Answer Set Programming, Modal Logic, Ontology and Semantic Web.
- Task Scheduling
- Satisfiability Modulo Theories
- Information Security
- Data Stream Management
- Cloud Computing
- Static Analysis
- Resource Management
- Semantic Web
- Modal Logic
- Temporal Logic
- Knowledge Representation
- Description Logics
- Model Checking
- Answer Set Programming
- Ontology
- Distributed Systems
- Formal Verification
- Big Data
- Continuous Queries
- Grid Computing
- Policy Compliance
- Symbolic Model Checker
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 22 words, with their numbers
- Description Logics182 topics
- Knowledge Representation182 topics
- Model Checking183 topics
- Temporal Logic142 topics
- Answer Set Programming111 topic
- Modal Logic111 topic
- Ontology71 topic
- Semantic Web71 topic
- Distributed Systems62 topics
- Resource Management62 topics
- Formal Verification41 topic
- Static Analysis41 topic
- Big Data31 topic
- Cloud Computing31 topic
- Continuous Queries31 topic
- Data Stream Management31 topic
- Grid Computing31 topic
- Information Security31 topic
- Policy Compliance31 topic
- Satisfiability Modulo Theories31 topic
- Symbolic Model Checker31 topic
- Task Scheduling31 topic
Where does Jingde Cheng work?
Jingde Cheng's main affiliation in the publication record is Saitama University, Japan.
How many publications and citations does Jingde Cheng have?
Science Explorer counts 58 works and 90 citations for Jingde Cheng, ranking #892,482 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.