Fei He

1.1k total citations
79 papers, 593 citations indexed

About

Fei He is a scholar working on Artificial Intelligence, Software and Computational Theory and Mathematics. According to data from OpenAlex, Fei He has authored 79 papers receiving a total of 593 indexed citations (citations by other indexed papers that have themselves been cited), including 35 papers in Artificial Intelligence, 34 papers in Software and 33 papers in Computational Theory and Mathematics. Recurrent topics in Fei He's work include Formal Methods in Verification (32 papers), Software Testing and Debugging Techniques (30 papers) and Logic, programming, and type systems (14 papers). Fei He is often cited by papers focused on Formal Methods in Verification (32 papers), Software Testing and Debugging Techniques (30 papers) and Logic, programming, and type systems (14 papers). Fei He collaborates with scholars based in China, United States and Taiwan. Fei He's co-authors include Shengjin Wang, Liang Zheng, Lu Tian, Qi Tian, Ziqiong Liu, Ming Gu, Xiaoyu Song, Jianhui Chen, Jiaguang Sun and Jianming Yu and has published in prestigious journals such as IEEE Access, IEEE Transactions on Wireless Communications and IEEE Transactions on Software Engineering.

In The Last Decade

Fei He

70 papers receiving 578 citations

Peers — A (Enhanced Table)

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

Name h Career Trend Papers Cites
Fei He China 11 235 183 138 107 97 79 593
Pedro Merino Spain 14 68 0.3× 118 0.6× 404 2.9× 128 1.2× 125 1.3× 98 726
Hauke Petersen Germany 10 115 0.5× 233 1.3× 335 2.4× 23 0.2× 58 0.6× 26 624
Asim Kadav United States 16 173 0.7× 262 1.4× 472 3.4× 72 0.7× 30 0.3× 24 813
Houssam Abbas United States 14 88 0.4× 193 1.1× 66 0.5× 176 1.6× 345 3.6× 54 634
S. Ghose India 12 112 0.5× 236 1.3× 183 1.3× 34 0.3× 49 0.5× 36 467
P.P. Chakrabarti India 9 91 0.4× 279 1.5× 181 1.3× 27 0.3× 95 1.0× 50 505
Ben L. Titzer United States 12 98 0.4× 320 1.7× 440 3.2× 110 1.0× 55 0.6× 30 856
Graeme Gange Australia 11 204 0.9× 139 0.8× 123 0.9× 39 0.4× 51 0.5× 36 394
Youcheng Sun United Kingdom 14 124 0.5× 481 2.6× 111 0.8× 155 1.4× 91 0.9× 47 776
Thomas Stifter Luxembourg 10 58 0.2× 163 0.9× 51 0.4× 283 2.6× 44 0.5× 17 604

Countries citing papers authored by Fei He

Since Specialization
Citations

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

Fields of papers citing papers by Fei He

Since Specialization
Physical SciencesHealth SciencesLife SciencesSocial Sciences

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

Co-authorship network of co-authors of Fei He

This figure shows the co-authorship network connecting the top 25 collaborators of Fei He. A scholar is included among the top collaborators of Fei He 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 Fei He. Fei He is excluded from the visualization to improve readability, since they are connected to all nodes in the network.

All Works

20 of 20 papers shown
1.
2.
3.
He, Fei, et al.. (2023). Satisfiability Modulo Ordering Consistency Theory for SC, TSO, and PSO Memory Models. ACM Transactions on Programming Languages and Systems. 45(1). 1–37. 2 indexed citations
4.
Liu, Jiangyi, et al.. (2023). Automated Ambiguity Detection in Layout-Sensitive Grammars. Proceedings of the ACM on Programming Languages. 7(OOPSLA2). 1150–1175. 1 indexed citations
5.
He, Fei, et al.. (2023). P4b: A Translator from P4 Programs to Boogie. 2172–2176. 1 indexed citations
6.
Meng, Na, et al.. (2023). On the methodology of three-way structured merge in version control systems: Top-down, bottom-up, or both. Journal of Systems Architecture. 145. 103011–103011.
7.
Gulzar, Muhammad Ali, et al.. (2022). A Characterization Study of Merge Conflicts in Java Projects. ACM Transactions on Software Engineering and Methodology. 32(2). 1–28. 3 indexed citations
8.
He, Fei, et al.. (2022). Consistency-preserving propagation for SMT solving of concurrent program verification. Proceedings of the ACM on Programming Languages. 6(OOPSLA2). 929–956. 2 indexed citations
9.
Chen, Jianhui & Fei He. (2021). Leveraging Control Flow Knowledge in SMT Solving of Program Verification. ACM Transactions on Software Engineering and Methodology. 30(4). 1–26. 13 indexed citations
10.
He, Fei, et al.. (2021). Satisfiability modulo ordering consistency theory for multi-threaded program verification. 1264–1279. 10 indexed citations
11.
He, Fei, et al.. (2020). Termination analysis for evolving programs: an incremental approach by reusing certified modules. Proceedings of the ACM on Programming Languages. 4(OOPSLA). 1–27. 3 indexed citations
12.
He, Fei, et al.. (2020). Efficient Summary Reuse for Software Regression Verification. IEEE Transactions on Software Engineering. 48(4). 1417–1431. 2 indexed citations
13.
He, Fei, et al.. (2020). Incremental predicate analysis for regression verification. Proceedings of the ACM on Programming Languages. 4(OOPSLA). 1–25. 1 indexed citations
14.
He, Fei, et al.. (2020). Interval counterexamples for loop invariant learning. 111–122. 7 indexed citations
15.
Luo, Chen, et al.. (2019). PSpec-SQL: Enabling Fine-Grained Control for Distributed Data Analytics. IEEE Transactions on Dependable and Secure Computing. 18(2). 810–824. 2 indexed citations
16.
Luo, Chen, Fei He, & Carlo Ghezzi. (2017). Inferring software behavioral models with MapReduce. Science of Computer Programming. 145. 13–36. 8 indexed citations
17.
He, Fei, et al.. (2016). Learning Weighted Assumptions for Compositional Verification of Markov Decision Processes. ACM Transactions on Software Engineering and Methodology. 25(3). 1–39. 6 indexed citations
18.
Zheng, Liang, Shengjin Wang, Lu Tian, et al.. (2015). Query-adaptive late fusion for image search and person re-identification. 1741–1750. 223 indexed citations
19.
He, Fei, et al.. (2008). On Theoretical Upper Bounds for Routing Estimation. 1 indexed citations
20.
Gu, Ming, Fei He, Xiaoyu Song, & Jiaguang Sun. (2005). Multiterminal net assignments by scatter search. Mathematical and Computer Modelling. 41(8-9). 997–1004. 2 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

Breakdown of academic impact, for papers by Pedro Merino Breakdown of academic impact, for papers by Hauke Petersen Breakdown of academic impact, for papers by Asim Kadav Breakdown of academic impact, for papers by Houssam Abbas Breakdown of academic impact, for papers by S. Ghose Breakdown of academic impact, for papers by P.P. Chakrabarti Breakdown of academic impact, for papers by Ben L. Titzer Breakdown of academic impact, for papers by Graeme Gange Breakdown of academic impact, for papers by Youcheng Sun Breakdown of academic impact, for papers by Thomas Stifter
Rankless by CCL
2026