Science Explorer Back to mapMap
Discussion
Researcher · Technical University of Denmark · Denmark

Zhou Chaochen

Zhou Chaochen publishes mostly in Computational Theory and Mathematics, Hardware and Architecture and Artificial Intelligence, on topics such as Formal Methods in Verification, Logic, programming, and type systems and Embedded Systems Design Techniques.

OpenAlex
World rank
#962,013
of 7,710,434 ranked researchers
Rank in Denmark
#7,182
of 43,819
Works
41
Citations
2k
Citations per work
49.7
h-index
20
i10-index 22Top 14% in Computational Theory and Mathematics
Zhou Chaochen

What does Zhou Chaochen research?

Zhou Chaochen's work is mostly in Computer Science (90%), Engineering (2%).

Physical Sciences: 38 works · 92.0% of their workComputer Science: 37 works · 90.2% of their workComputational Theory and Mathematics: 14 works · 34.8% of their workHardware and Architecture: 9 works · 21.4% of their workArtificial Intelligence: 8 works · 18.8% of their workComputer Networks and Communications: 4 works · 8.9% of their workSoftware: 3 works · 6.3% of their workEngineering: 1 works · 1.8% of their workControl and Systems Engineering: 1 works · 1.8% of their workEverything else: 3 works · 8.0% of their workTHEIR WORKZhou Chaochen41works
Physical Sciences92%

Their six largest subfields, inside their fields and domains; the grey slice is everything else they publish. The interactive view splits every one of their works down to single topics.

The fields and subfields, with their numbers
    1. Computer Science3790.2%
    2. Engineering11.8%
  2. Everything else38.0%
  1. 1Computational Theory and Mathematics35% of their works
  2. 2Hardware and Architecture21% of their works
  3. 3Artificial Intelligence19% of their works
  4. 4Computer Networks and Communications9% of their works
  5. 5Software6% of their works
  6. 6Control and Systems Engineering2% of their works

Research topics

Which keywords describe Zhou Chaochen's research?

The keywords of their largest research topics: Model Checking, Temporal Logic, Satisfiability Modulo Theories, Symbolic Model Checker, Embedded Systems, Formal Verification, Static Analysis and Hard Real-Time Systems.

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
  1. Model Checking483 topics
  2. Temporal Logic362 topics
  3. Satisfiability Modulo Theories291 topic
  4. Symbolic Model Checker291 topic
  5. Embedded Systems222 topics
  6. Formal Verification121 topic
  7. Static Analysis121 topic
  8. Hard Real-Time Systems111 topic
  9. High-Level Synthesis111 topic
  10. Reconfigurable Computing111 topic
  11. Scheduling Algorithms111 topic
  12. Answer Set Programming71 topic
  13. Modal Logic71 topic
  14. Fuzzy Logic51 topic
  15. Residuated Lattices51 topic
  16. Deadlock Prevention41 topic
  17. Distributed Systems41 topic
  18. Fault Tolerance41 topic
  19. Petri Nets41 topic

Where does Zhou Chaochen work?

Zhou Chaochen's main affiliation in the publication record is Technical University of Denmark, Denmark.

How many publications and citations does Zhou Chaochen have?

OpenAlex counts 41 works and 2,039 citations for Zhou Chaochen, an h-index of 20, ranking #962,013 of 7,710,434 researchers worldwide on the quality 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 have tabs of their own, above. Is this your page? Claim it with your ORCID iD, or request a correction or removal.

Discussion

Ask a question or share a note about Zhou Chaochen. Posts are plain text and can be reported.