Zhou Chaochen

2.0k total citations
13 papers, 586 citations indexed

About

Zhou Chaochen is a scholar working on Computational Theory and Mathematics, Hardware and Architecture and Artificial Intelligence. According to data from OpenAlex, Zhou Chaochen has authored 13 papers receiving a total of 586 indexed citations (citations by other indexed papers that have themselves been cited), including 10 papers in Computational Theory and Mathematics, 5 papers in Hardware and Architecture and 5 papers in Artificial Intelligence. Recurrent topics in Zhou Chaochen's work include Formal Methods in Verification (10 papers), Real-Time Systems Scheduling (3 papers) and Embedded Systems Design Techniques (3 papers). Zhou Chaochen is often cited by papers focused on Formal Methods in Verification (10 papers), Real-Time Systems Scheduling (3 papers) and Embedded Systems Design Techniques (3 papers). Zhou Chaochen collaborates with scholars based in Denmark, Spain and United States. Zhou Chaochen's co-authors include Anders P. Ravn, C. A. R. Hoare, Michael R. Hansen, Xiaoshan Li, Dang Van Hung, Hans Rischel, Paritosh K. Pandya, Hongguang Fu, Willem-Paul de Roever and Hans Langmaack and has published in prestigious journals such as Theoretical Computer Science, Information Processing Letters and Formal Aspects of Computing.

In The Last Decade

Zhou Chaochen

13 papers receiving 504 citations

Peers — A (Enhanced Table)

Peers by citation overlap · career bar shows stage (early→late) cites · hero ref

Name	h						Papers	Cites
Zhou Chaochen Denmark	9	443	343	183	168	101	13	586
Hubert Garavel France	12	385 0.9×	230 0.7×	230 1.3×	133 0.8×	142 1.4×	31	551
Henny B. Sipma United States	13	402 0.9×	289 0.8×	194 1.1×	104 0.6×	77 0.8×	25	513
Friedrich von Henke Germany	8	247 0.6×	190 0.6×	165 0.9×	118 0.7×	149 1.5×	13	427
Salvatore La Torre Italy	12	367 0.8×	224 0.7×	172 0.9×	102 0.6×	83 0.8×	53	462
Gerald Lüttgen Germany	10	292 0.7×	201 0.6×	290 1.6×	90 0.5×	95 0.9×	39	512
Natasha Sharygina Switzerland	12	362 0.8×	224 0.7×	306 1.7×	143 0.9×	88 0.9×	57	539
Patricia Bouyer France	17	621 1.4×	345 1.0×	258 1.4×	88 0.5×	74 0.7×	75	779
Anne E. Haxthausen Denmark	11	205 0.5×	163 0.5×	167 0.9×	128 0.8×	94 0.9×	35	422
Gerhard Goos Germany	4	314 0.7×	149 0.4×	216 1.2×	163 1.0×	115 1.1×	5	473

Countries citing papers authored by Zhou Chaochen

Since Specialization

Citations

This map shows the geographic impact of Zhou Chaochen's research. It shows the number of citations coming from papers published by authors working in each country. You can also color the map by specialization and compare the number of citations received by Zhou Chaochen with the expected number of citations based on a country's size and research output (numbers larger than one mean the country cites Zhou Chaochen more than expected).

Fields of papers citing papers by Zhou Chaochen

Since Specialization

Physical SciencesHealth SciencesLife SciencesSocial Sciences

This network shows the impact of papers produced by Zhou Chaochen. Nodes represent research fields, and links connect fields that are likely to share authors. Colored nodes show fields that tend to cite the papers produced by Zhou Chaochen. The network helps show where Zhou Chaochen may publish in the future.

Co-authorship network of co-authors of Zhou Chaochen

This figure shows the co-authorship network connecting the top 25 collaborators of Zhou Chaochen. A scholar is included among the top collaborators of Zhou Chaochen based on the total number of citations received by their joint publications. Widths of edges represent the number of papers authors have co-authored together. Node borders signify the number of papers an author published with Zhou Chaochen. Zhou Chaochen is excluded from the visualization to improve readability, since they are connected to all nodes in the network.

All Works

Sort: Min cites: Since: Top N: Style:

13 of 13 papers shown

1.

Chaochen, Zhou & Michael R. Hansen. (2004). Duration Calculus. 12 indexed citations

2.

Chaochen, Zhou. (2004). Duration Calculus: A Formal Approach to Real-Time Systems. Medical Entomology and Zoology. 100 indexed citations

3.

Hung, Dang Van & Zhou Chaochen. (1999). Probabilistic Duration Calculus for Continuous Time. Formal Aspects of Computing. 11(1). 21–44. 12 indexed citations

4.

Chaochen, Zhou, Michael R. Hansen, Willem-Paul de Roever, Hans Langmaack, & Amir Pnueli. (1998). An Adequate First Order Logic of Intervals. 584–608. 2 indexed citations

5.

Fu, Hongguang, et al.. (1998). A computer-aided geometric approach to inverse kinematics. Journal of Robotic Systems. 15(3). 131–143. 7 indexed citations

6.

Hansen, Michael R. & Zhou Chaochen. (1997). Duration calculus: Logical foundations. Formal Aspects of Computing. 9(3). 283–330. 75 indexed citations

7.

Chaochen, Zhou & Michael R. Hansen. (1996). Chopping a Point. Electronic workshops in computing. 13 indexed citations

8.

Hansen, Michael R., Paritosh K. Pandya, & Zhou Chaochen. (1995). Finite divergence. Theoretical Computer Science. 138(1). 113–139. 10 indexed citations

9.

Chaochen, Zhou & Xiaoshan Li. (1994). A mean value calculus of durations. 431–451. 16 indexed citations

10.

Ravn, Anders P., et al.. (1992). Specification Of Embedded, Real-time Systems. Technical University of Denmark, DTU Orbit (Technical University of Denmark, DTU). 116–121. 15 indexed citations

11.

Chaochen, Zhou, et al.. (1991). Duration Specifications for Shared Processors. Technical University of Denmark, DTU Orbit (Technical University of Denmark, DTU). 4 indexed citations

12.

Chaochen, Zhou, C. A. R. Hoare, & Anders P. Ravn. (1991). A calculus of durations. Information Processing Letters. 40(5). 269–276. 315 indexed citations

13.

Chaochen, Zhou. (1982). Weakest environment of communicating processes. 679–679. 5 indexed citations

Rankless uses publication and citation data sourced from OpenAlex, an open and comprehensive bibliographic database. While OpenAlex provides broad and valuable coverage of the global research landscape, it—like all bibliographic datasets—has inherent limitations. These include incomplete records, variations in author disambiguation, differences in journal indexing, and delays in data updates. As a result, some metrics and network relationships displayed in Rankless may not fully capture the entirety of a scholar's output or impact.

Explore authors with similar magnitude of impact