Wanwei Liu

428 total citations
37 papers, 190 citations indexed

About

Wanwei Liu is a scholar working on Computational Theory and Mathematics, Artificial Intelligence and Software. According to data from OpenAlex, Wanwei Liu has authored 37 papers receiving a total of 190 indexed citations (citations by other indexed papers that have themselves been cited), including 25 papers in Computational Theory and Mathematics, 18 papers in Artificial Intelligence and 15 papers in Software. Recurrent topics in Wanwei Liu's work include Formal Methods in Verification (24 papers), Software Testing and Debugging Techniques (10 papers) and Logic, programming, and type systems (6 papers). Wanwei Liu is often cited by papers focused on Formal Methods in Verification (24 papers), Software Testing and Debugging Techniques (10 papers) and Logic, programming, and type systems (6 papers). Wanwei Liu collaborates with scholars based in China, Netherlands and Australia. Wanwei Liu's co-authors include Ji Wang, Wei Dong, Xiaoguang Mao, Rui Wang, Tun Li, Ji Wang, Mingsheng Tang, Fu Song, Yang Guo and Chiyuan Ma and has published in prestigious journals such as IEEE Transactions on Automatic Control, Information Sciences and IEEE Transactions on Software Engineering.

In The Last Decade

Wanwei Liu

34 papers receiving 185 citations

Peers — A (Enhanced Table)

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

Name h Career Trend Papers Cites
Wanwei Liu China 8 71 65 48 45 29 37 190
Yoav Katz Israel 10 74 1.0× 145 2.2× 83 1.7× 108 2.4× 46 1.6× 21 319
Anne Parrain France 2 79 1.1× 155 2.4× 76 1.6× 29 0.6× 13 0.4× 4 237
V. S. Alagar Canada 8 54 0.8× 89 1.4× 74 1.5× 20 0.4× 11 0.4× 46 212
Ruggero Lanotte Italy 9 154 2.2× 144 2.2× 49 1.0× 31 0.7× 12 0.4× 49 278
Lucia Cloth Netherlands 12 160 2.3× 41 0.6× 92 1.9× 32 0.7× 50 1.7× 20 299
Bernd Steinbach Germany 11 212 3.0× 135 2.1× 31 0.6× 87 1.9× 130 4.5× 55 351
Léonardo Brenner France 9 86 1.2× 47 0.7× 27 0.6× 37 0.8× 4 0.1× 27 216
Jiřı́ Srba Denmark 9 231 3.3× 186 2.9× 67 1.4× 31 0.7× 28 1.0× 68 353
Suzana Andova Netherlands 8 110 1.5× 126 1.9× 45 0.9× 13 0.3× 19 0.7× 23 199
Judi Romijn Netherlands 10 213 3.0× 92 1.4× 104 2.2× 78 1.7× 9 0.3× 22 283

Countries citing papers authored by Wanwei Liu

Since Specialization
Citations

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

Fields of papers citing papers by Wanwei Liu

Since Specialization
Physical SciencesHealth SciencesLife SciencesSocial Sciences

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

Co-authorship network of co-authors of Wanwei Liu

This figure shows the co-authorship network connecting the top 25 collaborators of Wanwei Liu. A scholar is included among the top collaborators of Wanwei Liu 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 Wanwei Liu. Wanwei Liu 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.
Liang, Zhen, Wanwei Liu, Fu Song, et al.. (2024). Qualitative and Quantitative Model Checking Against Recurrent Neural Networks. Journal of Computer Science and Technology. 39(6). 1292–1311. 1 indexed citations
2.
Liu, Wanwei, et al.. (2024). AutoRIC: Automated Neural Network Repairing Based on Constrained Optimization. ACM Transactions on Software Engineering and Methodology. 34(2). 1–29. 2 indexed citations
3.
Zhang, Miaomiao, et al.. (2023). Towards a model of human-cyber–physical automata and a synthesis framework for control policies. Journal of Systems Architecture. 144. 102989–102989. 2 indexed citations
4.
Bai, Xue, Naijun Zhan, Martin Fränzle, Ji Wang, & Wanwei Liu. (2023). Reach-Avoid Verification Based on Convex Optimization. IEEE Transactions on Automatic Control. 69(1). 598–605. 7 indexed citations
5.
Xiong, Huaping, Wanwei Liu, Tao Liu, et al.. (2023). Research on an Ultra-Short-Term Working Condition Prediction Method Based on a CNN-LSTM Network. Electronics. 12(6). 1391–1391. 3 indexed citations
6.
7.
Li, Rui, et al.. (2021). Probabilistic synthesis against GR(1) winning condition. Frontiers of Computer Science. 16(2).
8.
Yang, Shuo, Xinjun Mao, & Wanwei Liu. (2020). Towards an Extended POMDP Planning Approach with Adjoint Action Model for Robotic Task. 1412–1419. 3 indexed citations
9.
Liu, Wanwei, et al.. (2020). Verifying ReLU Neural Networks from a Model Checking Perspective. Journal of Computer Science and Technology. 35(6). 1365–1381. 10 indexed citations
10.
Schlobach, Stefan, et al.. (2020). On Sufficient and Necessary Conditions in Bounded CTL: A Forgetting Approach. VU Research Portal. 361–370. 5 indexed citations
11.
Dong, Wei, et al.. (2019). Parallel Refinement for Multi-Threaded Program Verification. 643–653. 4 indexed citations
12.
Dong, Wei, et al.. (2018). On Scheduling Constraint Abstraction for Multi-Threaded Program Verification. IEEE Transactions on Software Engineering. 46(5). 549–565. 15 indexed citations
13.
Liu, Wanwei, et al.. (2015). A simple probabilistic extension of modal µ-calculus. International Conference on Artificial Intelligence. 882–888. 3 indexed citations
14.
Li, Tun, Yang Guo, Wanwei Liu, & Chiyuan Ma. (2013). Efficient translation validation of high-level synthesis. 9. 516–523. 10 indexed citations
15.
Li, Tun, et al.. (2013). Introduction to programming. 324–324. 3 indexed citations
16.
Liu, Wanwei. (2011). A Survey on Theoretical Combination Techniques of SMT Solvers. Computer Engineering and Science. 1 indexed citations
17.
Xu, Jianjun, Qingping Tan, & Wanwei Liu. (2010). Estimating the Soft Error Vulnerability of Register Files via Interprocedural Data Flow Analysis. 201–208. 5 indexed citations
18.
Wang, Ji, et al.. (2009). Demand-Driven Memory Leak Detection Based on Flow- and Context-Sensitive Pointer Analysis. Journal of Computer Science and Technology. 24(2). 347–356. 10 indexed citations
19.
Liu, Wanwei & Ji Wang. (2009). A tighter analysis of Piterman's Büchi determinization. Information Processing Letters. 109(16). 941–945. 3 indexed citations
20.
Liu, Wanwei, Ji Wang, & Zhaofei Wang. (2009). Symbolic Model Checking of ETL. Journal of Software. 20(8). 2015–2025. 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 Yoav Katz Breakdown of academic impact, for papers by Anne Parrain Breakdown of academic impact, for papers by V. S. Alagar Breakdown of academic impact, for papers by Ruggero Lanotte Breakdown of academic impact, for papers by Lucia Cloth Breakdown of academic impact, for papers by Bernd Steinbach Breakdown of academic impact, for papers by Léonardo Brenner Breakdown of academic impact, for papers by Jiřı́ Srba Breakdown of academic impact, for papers by Suzana Andova Breakdown of academic impact, for papers by Judi Romijn
Rankless by CCL
2026