Wei-Ngan Chin

2.2k total citations
75 papers, 665 citations indexed

About

Wei-Ngan Chin is a scholar working on Artificial Intelligence, Computational Theory and Mathematics and Hardware and Architecture. According to data from OpenAlex, Wei-Ngan Chin has authored 75 papers receiving a total of 665 indexed citations (citations by other indexed papers that have themselves been cited), including 50 papers in Artificial Intelligence, 50 papers in Computational Theory and Mathematics and 23 papers in Hardware and Architecture. Recurrent topics in Wei-Ngan Chin's work include Logic, programming, and type systems (44 papers), Formal Methods in Verification (40 papers) and Software Testing and Debugging Techniques (19 papers). Wei-Ngan Chin is often cited by papers focused on Logic, programming, and type systems (44 papers), Formal Methods in Verification (40 papers) and Software Testing and Debugging Techniques (19 papers). Wei-Ngan Chin collaborates with scholars based in Singapore, United Kingdom and China. Wei-Ngan Chin's co-authors include Shengchao Qin, Siau‐Cheng Khoo, Huu Hai Nguyen, Cristina David, Corneliu Popeea, Zhenjiang Hu, Masato Takeichi, John Darlington, Masami Hagiya and Martin Rinard and has published in prestigious journals such as IEEE Transactions on Software Engineering, IEEE Transactions on Computers and Theoretical Computer Science.

In The Last Decade

Wei-Ngan Chin

70 papers receiving 628 citations

Peers — A (Enhanced Table)

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

Name	h						Papers	Cites
Wei-Ngan Chin Singapore	14	505	387	261	138	135	75	665
Elvira Albert Spain	15	431 0.9×	315 0.8×	184 0.7×	187 1.4×	164 1.2×	72	640
Martin Hofmann Germany	18	921 1.8×	633 1.6×	216 0.8×	134 1.0×	119 0.9×	67	1.0k
Bruce F. Duba United States	8	814 1.6×	450 1.2×	314 1.2×	160 1.2×	127 0.9×	10	896
Michael J. C. Gordon United Kingdom	10	831 1.6×	622 1.6×	166 0.6×	99 0.7×	124 0.9×	18	972
Christine Paulin-Mohring France	9	646 1.3×	478 1.2×	101 0.4×	84 0.6×	111 0.8×	13	770
Richard Kelsey United States	11	487 1.0×	233 0.6×	349 1.3×	96 0.7×	70 0.5×	17	593
Sam Lindley United Kingdom	17	620 1.2×	292 0.8×	277 1.1×	190 1.4×	71 0.5×	62	766
Todd B. Knoblock United States	7	588 1.2×	360 0.9×	156 0.6×	93 0.7×	93 0.7×	11	714
Aaron Stump United States	14	596 1.2×	512 1.3×	92 0.4×	124 0.9×	257 1.9×	53	802
Lenore D. Zuck United States	16	389 0.8×	366 0.9×	121 0.5×	94 0.7×	169 1.3×	53	641

Countries citing papers authored by Wei-Ngan Chin

Since Specialization

Citations

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

Fields of papers citing papers by Wei-Ngan Chin

Since Specialization

Physical SciencesHealth SciencesLife SciencesSocial Sciences

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

Co-authorship network of co-authors of Wei-Ngan Chin

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

20 of 20 papers shown

Gao, Xiang, et al.. (2024). ProveNFix: Temporal Property-Guided Program Repair. Proceedings of the ACM on software engineering.. 1(FSE). 226–248. 4 indexed citations

Ta, Quang-Trung, et al.. (2018). Automated mutual induction proof in separation logic. Formal Aspects of Computing. 31(2). 207–230. 2 indexed citations

Qin, Shengchao, et al.. (2017). Automated specification inference in a combined domain via user-defined predicates. Science of Computer Programming. 148. 189–212. 2 indexed citations

Chin, Wei-Ngan, et al.. (2014). Threads as Resource for Concurrency Verification. 73–84. 1 indexed citations

Qin, Shengchao, et al.. (2013). Automatically refining partial specifications for heap-manipulating programs. Science of Computer Programming. 82. 56–76. 6 indexed citations

Qin, Shengchao, et al.. (2012). Loop invariant synthesis in a combined abstract domain. Journal of Symbolic Computation. 50. 386–408. 7 indexed citations

Popeea, Corneliu & Wei-Ngan Chin. (2012). Dual analysis for proving safety and finding bugs. Science of Computer Programming. 78(4). 390–411. 3 indexed citations

Chin, Wei-Ngan, Cristina David, Huu Hai Nguyen, & Shengchao Qin. (2010). Automated verification of shape, size and bag properties via user-defined predicates in separation logic. Science of Computer Programming. 77(9). 1006–1036. 57 indexed citations

Qin, Shengchao, et al.. (2010). Verifying pointer safety for programs with unknown calls. Journal of Symbolic Computation. 45(11). 1163–1183. 3 indexed citations

10.

Chin, Wei-Ngan, Huu Hai Nguyen, Corneliu Popeea, & Shengchao Qin. (2008). Analysing memory resource bounds for low-level programs. Durham Research Online (Durham University). 151–160. 39 indexed citations

11.

Chin, Wei-Ngan, et al.. (2006). A flow-based approach for variant parametric types. National University of Singapore. 273–290. 6 indexed citations

12.

Chin, Wei-Ngan, Siau‐Cheng Khoo, & Neil D. Jones. (2006). Redundant Call Elimination via Tupling. Fundamenta Informaticae. 69(1). 1–37. 13 indexed citations

13.

Andrei, Ştefan, Albert M. K. Cheng, Wei-Ngan Chin, & Mihai Lupu. (2005). Systematic Debugging of Real-Time Systems based on Incremental Satisfiability Counting. 519–528. 13 indexed citations

14.

Chin, Wei-Ngan. (2004). Programming languages and systems : Second Asian Symposium, APLAS 2004, Taipei, Taiwan, November 4-6, 2004 : proceedings. Digital Access to Libraries (Université catholique de Louvain (UCL), l'Université de Namur (UNamur) and the Université Saint-Louis (USL-B)). 1 indexed citations

15.

Andrei, Ştefan & Wei-Ngan Chin. (2003). Solving a class of higher-order equations over a group structure. Journal of Symbolic Computation. 37(3). 329–341. 2 indexed citations

16.

Andrei, Ştefan, et al.. (2003). A new algorithm for regularizing one-letter context-free grammars. Theoretical Computer Science. 306(1-3). 113–122. 3 indexed citations

17.

Hu, Zhenjiang, Wei-Ngan Chin, & Masato Takeichi. (2000). Calculating a New Data Mining Algorithm for Market Basket Analysis. 2001. 169–184. 2 indexed citations

18.

Chin, Wei-Ngan, et al.. (1999). Effective Optimization of Multiple Traversals in Lazy Languages.. 119–130. 3 indexed citations

19.

Teo, Yong Meng, et al.. (1997). Deriving efficient parallel programs for complex recurrences. 101–110. 7 indexed citations

20.

Chin, Wei-Ngan, et al.. (1995). A reexamination of “Optimization of array subscript range checks”. ACM Transactions on Programming Languages and Systems. 17(2). 217–227. 6 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