13
Publications
468
Citations
11
H-Index
2006
Active since
Shuling Wang is an author at Institute of Software specializing in engineering, formal verification, and formal methods.
Top concepts
EngineeringFormal VerificationFormal MethodsComputer ScienceSystems EngineeringVerificationProgram AnalysisAutomated ReasoningSoftware AnalysisComputer Engineering
Publications per year
2006–2022
13
13
Locality preserving discriminant projections for face and palmprint recognition
Jie Gui, Wei Jia, Ling Zhu et al. · Neurocomputing · 2010 · 100 citations
Face Detection, Facial Recognition System, Machine Vision +6
Towards the Semantics and Verification of BPEL4WS
Geguang Pu, Xiangpeng Zhao, Shuling Wang et al. · Electronic Notes in Theoretical Computer Science · 2006 · 78 citations · Full text
A Formal Model forWeb Service Choreography Description Language (WS-CDL)
Hongli Yang, Xiangpeng Zhao, Zongyan Qiu et al. · 2006 · 69 citations · Full text
Verifying Simulink diagrams via a Hybrid Hoare Logic Prover
Liang Zou, Naijun Zhany, Shuling Wang et al. · 2013 · 47 citations
Rows per page
1–5 of 13