Shuling Wang

977 total citations
28 papers, 359 citations indexed

About

Shuling Wang is a scholar working on Computational Theory and Mathematics, Artificial Intelligence and Software. According to data from OpenAlex, Shuling Wang has authored 28 papers receiving a total of 359 indexed citations (citations by other indexed papers that have themselves been cited), including 20 papers in Computational Theory and Mathematics, 12 papers in Artificial Intelligence and 10 papers in Software. Recurrent topics in Shuling Wang's work include Formal Methods in Verification (20 papers), Model-Driven Software Engineering Techniques (9 papers) and Embedded Systems Design Techniques (7 papers). Shuling Wang is often cited by papers focused on Formal Methods in Verification (20 papers), Model-Driven Software Engineering Techniques (9 papers) and Embedded Systems Design Techniques (7 papers). Shuling Wang collaborates with scholars based in China, France and United Kingdom. Shuling Wang's co-authors include Geguang Pu, Zongyan Qiu, Xiangpeng Zhao, Naijun Zhan, Jie Gui, De-Shuang Huang, Ling Zhu, Wei Jia, Hengjun Zhao and Bohua Zhan and has published in prestigious journals such as Neurocomputing, Theoretical Computer Science and Ore Geology Reviews.

In The Last Decade

Shuling Wang

26 papers receiving 349 citations

Peers — A (Enhanced Table)

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

Name h Career Trend Papers Cites
Shuling Wang China 10 144 115 101 74 70 28 359
Feng Tan China 10 170 1.2× 62 0.5× 32 0.3× 65 0.9× 7 0.1× 22 364
Xiaokang Qiu United States 15 241 1.7× 167 1.5× 187 1.9× 11 0.1× 5 0.1× 34 548
Nicoletta De Francesco Italy 11 147 1.0× 114 1.0× 63 0.6× 21 0.3× 20 0.3× 41 348
Eva Kühn Austria 11 120 0.8× 13 0.1× 151 1.5× 31 0.4× 20 0.3× 63 354
Giorgio Delzanno Italy 11 200 1.4× 239 2.1× 43 0.4× 19 0.3× 16 0.2× 85 456
Catherine Houstis Greece 10 54 0.4× 39 0.3× 53 0.5× 24 0.3× 16 0.2× 26 261
Ben Smith United States 13 310 2.2× 65 0.6× 79 0.8× 66 0.9× 6 0.1× 31 583
Alberto José Proença Portugal 8 51 0.4× 61 0.5× 22 0.2× 46 0.6× 9 0.1× 33 225
Robert van Engelen United States 12 91 0.6× 45 0.4× 184 1.8× 13 0.2× 10 0.1× 32 485
Changyou Zhang China 11 153 1.1× 10 0.1× 95 0.9× 53 0.7× 7 0.1× 49 451

Countries citing papers authored by Shuling Wang

Since Specialization
Citations

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

Fields of papers citing papers by Shuling Wang

Since Specialization
Physical SciencesHealth SciencesLife SciencesSocial Sciences

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

Co-authorship network of co-authors of Shuling Wang

This figure shows the co-authorship network connecting the top 25 collaborators of Shuling Wang. A scholar is included among the top collaborators of Shuling Wang 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 Shuling Wang. Shuling Wang 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.
Xu, Xiong, et al.. (2025). Modeling and Verification of Hybrid Systems by Extending AADL. ACM Transactions on Software Engineering and Methodology. 35(3). 1–51. 1 indexed citations
2.
Wang, Shuling, et al.. (2024). Formally Verified C Code Generation from Hybrid Communicating Sequential Processes. 123–134. 1 indexed citations
3.
Wang, Shuling, et al.. (2022). Formal Analysis of 5G Authentication and Key Management for Applications (AKMA). Journal of Systems Architecture. 126. 102478–102478. 8 indexed citations
4.
Xu, Xiong, Jean-Pierre Talpin, Shuling Wang, Bohua Zhan, & Naijun Zhan. (2022). Semantics Foundation for Cyber-physical Systems Using Higher-order UTP. ACM Transactions on Software Engineering and Methodology. 32(1). 1–48. 5 indexed citations
5.
Zhan, Bohua, et al.. (2022). Translating a large subset of stateflow to hybrid CSP with code optimization. Journal of Systems Architecture. 130. 102665–102665. 2 indexed citations
6.
Zhan, Bohua, Bin Gu, Xiong Xu, et al.. (2021). Brief Industry Paper: Modeling and Verification of Descent Guidance Control of Mars Lander. 457–460. 1 indexed citations
7.
Xu, Xiong, et al.. (2021). Unified graphical co-modeling, analysis and verification of cyber-physical systems by combining AADL and Simulink/Stateflow. Theoretical Computer Science. 903. 1–25. 10 indexed citations
8.
Lin, Qianqian, Shuling Wang, Bohua Zhan, & Bin Gu. (2020). Modelling and Verification of Real-Time Publish and Subscribe Protocol Using Uppaal and Simulink/Stateflow. Journal of Computer Science and Technology. 35(6). 1324–1342. 8 indexed citations
9.
Liu, Jun, Lejun Zhang, Shuling Wang, et al.. (2019). Formation of the Wulong gold deposit, Liaodong gold Province, NE China: Constraints from zircon U–Pb age, sericite Ar–Ar age, and H–O–S–He isotopes. Ore Geology Reviews. 109. 130–143. 36 indexed citations
10.
Sun, Yu, et al.. (2017). Three-dimensional integral imaging display system based on negative lens array. Optoelectronics Letters. 13(4). 279–281. 2 indexed citations
11.
Wang, Shuling, Naijun Zhan, & Lijun Zhang. (2017). A Compositional Modelling and Verification Framework for Stochastic Hybrid Systems. Formal Aspects of Computing. 29(4). 751–775. 5 indexed citations
12.
Zhan, Naijun, Shuling Wang, & Hengjun Zhao. (2016). Formal Verification of Simulink/Stateflow Diagrams. 20 indexed citations
13.
Zou, Liang, et al.. (2013). Verifying simulink diagrams via a hybrid hoare logic prover. 9. 13 indexed citations
14.
Zou, Liang, et al.. (2013). Verifying Simulink diagrams via a Hybrid Hoare Logic Prover. TeesRep (Teesside University). 1–10. 18 indexed citations
15.
Ke, Wei, et al.. (2013). A graph-based generic type system for object-oriented programs. Frontiers of Computer Science. 7(1). 109–134. 2 indexed citations
16.
Griesmayer, Andreas, Zhiming Liu, C. Morisset, & Shuling Wang. (2012). A framework for automated and certified refinement steps. Innovations in Systems and Software Engineering. 9(1). 3–16.
17.
Gui, Jie, Wei Jia, Ling Zhu, Shuling Wang, & De-Shuang Huang. (2010). Locality preserving discriminant projections for face and palmprint recognition. Neurocomputing. 73(13-15). 2696–2707. 81 indexed citations
18.
Barbosa, Lu­ís Soares, et al.. (2008). An Exercise on Transition Systems. Electronic Notes in Theoretical Computer Science. 207. 89–106. 3 indexed citations
19.
Wang, Shuling, Lu­ís Soares Barbosa, & José N. Oliveira. (2008). A Relational Model for Confined Separation Logic. RepositóriUM (Universidade do Minho). 263–270. 3 indexed citations
20.
Pu, Geguang, Xiangpeng Zhao, Shuling Wang, & Zongyan Qiu. (2006). Towards the Semantics and Verification of BPEL4WS. Electronic Notes in Theoretical Computer Science. 151(2). 33–52. 54 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 Feng Tan Breakdown of academic impact, for papers by Xiaokang Qiu Breakdown of academic impact, for papers by Nicoletta De Francesco Breakdown of academic impact, for papers by Eva Kühn Breakdown of academic impact, for papers by Giorgio Delzanno Breakdown of academic impact, for papers by Catherine Houstis Breakdown of academic impact, for papers by Ben Smith Breakdown of academic impact, for papers by Alberto José Proença Breakdown of academic impact, for papers by Robert van Engelen Breakdown of academic impact, for papers by Changyou Zhang
Rankless by CCL
2026