Chiyan Chen

632 total citations
10 papers, 367 citations indexed

About

Chiyan Chen is a scholar working on Artificial Intelligence, Computational Theory and Mathematics and Information Systems. According to data from OpenAlex, Chiyan Chen has authored 10 papers receiving a total of 367 indexed citations (citations by other indexed papers that have themselves been cited), including 10 papers in Artificial Intelligence, 6 papers in Computational Theory and Mathematics and 3 papers in Information Systems. Recurrent topics in Chiyan Chen's work include Logic, programming, and type systems (10 papers), Formal Methods in Verification (6 papers) and Advanced Software Engineering Methodologies (5 papers). Chiyan Chen is often cited by papers focused on Logic, programming, and type systems (10 papers), Formal Methods in Verification (6 papers) and Advanced Software Engineering Methodologies (5 papers). Chiyan Chen collaborates with scholars based in United States. Chiyan Chen's co-authors include Hongwei Xi, Gang Chen and Gang Chen and has published in prestigious journals such as ACM SIGPLAN Notices and Journal of Functional Programming.

In The Last Decade

Chiyan Chen

10 papers receiving 318 citations

Peers — A (Enhanced Table)

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

Name	h						Papers	Cites
Chiyan Chen United States	7	335	188	93	90	55	10	367
Konstantin Läufer United States	8	252 0.8×	98 0.5×	127 1.4×	73 0.8×	71 1.3×	31	328
Jay McCarthy United States	9	199 0.6×	73 0.4×	100 1.1×	72 0.8×	61 1.1×	23	277
David Stoutamire United States	5	363 1.1×	100 0.5×	148 1.6×	105 1.2×	101 1.8×	8	413
Christos Dimoulas United States	10	299 0.9×	85 0.5×	166 1.8×	53 0.6×	45 0.8×	31	334
Dominic Duggan United States	11	341 1.0×	98 0.5×	159 1.7×	73 0.8×	108 2.0×	31	371
Amin Shali Iran	7	137 0.4×	98 0.5×	64 0.7×	111 1.2×	125 2.3×	10	265
Didier Rémy France	10	380 1.1×	140 0.7×	125 1.3×	99 1.1×	105 1.9×	23	398
Pierre-Malo Deniélou United Kingdom	9	215 0.6×	104 0.6×	50 0.5×	37 0.4×	132 2.4×	10	251
Germán Vidal Spain	12	307 0.9×	241 1.3×	73 0.8×	51 0.6×	42 0.8×	61	396
Burkhart Wolff France	9	161 0.5×	80 0.4×	89 1.0×	38 0.4×	60 1.1×	45	249

Countries citing papers authored by Chiyan Chen

Since Specialization

Citations

This map shows the geographic impact of Chiyan Chen'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 Chiyan Chen with the expected number of citations based on a country's size and research output (numbers larger than one mean the country cites Chiyan Chen more than expected).

Fields of papers citing papers by Chiyan Chen

Since Specialization

Physical SciencesHealth SciencesLife SciencesSocial Sciences

This network shows the impact of papers produced by Chiyan Chen. 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 Chiyan Chen. The network helps show where Chiyan Chen may publish in the future.

Co-authorship network of co-authors of Chiyan Chen

This figure shows the co-authorship network connecting the top 25 collaborators of Chiyan Chen. A scholar is included among the top collaborators of Chiyan Chen 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 Chiyan Chen. Chiyan Chen 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:

10 of 10 papers shown

1.

Chen, Chiyan, et al.. (2006). Type inference in applied type system. 1 indexed citations

2.

Chen, Chiyan, et al.. (2005). Combining programming with theorem proving. 66–77. 69 indexed citations

3.

Chen, Chiyan, et al.. (2005). Meta-programming through typeful code representation. Journal of Functional Programming. 15(6). 797–835. 16 indexed citations

4.

Chen, Chiyan, et al.. (2005). Combining programming with theorem proving. ACM SIGPLAN Notices. 40(9). 66–77. 4 indexed citations

5.

Xi, Hongwei, Chiyan Chen, & Gang Chen. (2003). Guarded recursive datatype constructors. ACM SIGPLAN Notices. 38(1). 224–235. 18 indexed citations

6.

Chen, Chiyan & Hongwei Xi. (2003). Implementing typeful program transformations. ACM SIGPLAN Notices. 38(10). 20–28. 8 indexed citations

7.

Chen, Chiyan & Hongwei Xi. (2003). Implementing typeful program transformations. 20–28. 17 indexed citations

8.

Chen, Chiyan, et al.. (2003). Meta-programming through typeful code representation. ACM SIGPLAN Notices. 38(9). 275–286. 4 indexed citations

9.

Chen, Chiyan, et al.. (2003). Meta-programming through typeful code representation. 275–286. 38 indexed citations

10.

Xi, Hongwei, Chiyan Chen, & Gang Chen. (2003). Guarded recursive datatype constructors. 224–235. 192 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