Wanwei Liu - Concepedia

Author

Wanwei Liu

National University of Defense Technology ORCID

Also Known As

Liu, Wanwei, Pan, Jialu, Wan-Wei LIU, Wan-Wei Liu, Wan-wei LIU, Wan-wei Liu, Wanwei Liu

Publications

424

Citations

H-Index

Concepts

All Affiliations

National University of Defense Technology

About

Wanwei Liu is an author at National University of Defense Technology specializing in engineering, computer science, and computer engineering.

Top Concepts

#	Concept	H-Index	Publications	Citations
1	Engineering	7	7	191
2	Computer Science	7	7	191
3	Computer Engineering	6	6	167
4	Natural Sciences	1	1	24
5	Physics	1	1	24

Wanwei Liu

Publications

245

Citations

H-Index

Page 1

	Year	Citations
Counterexample-Preserving Reduction for Symbolic Model Checking Wanwei Liu, Rui Wang, Xianjin Fu, Journal of Applied Mathematics EngineeringAutomated ReasoningVerificationFormal MethodsSoftware Analysis	2014	70
On Scheduling Constraint Abstraction for Multi-Threaded Program Verification Liangze Yin, Wei Dong, Wanwei Liu, IEEE Transactions on Software Engineering Program CheckingEngineeringVerificationComputer-aided VerificationComputer Architecture	2018	32
Verifying ReLU Neural Networks from a Model Checking Perspective Wanwei Liu, Fu Song, Tang-Hao-Ran Zhang, Journal of Computer Science and Technology EngineeringAutomated ReasoningVerificationComputer-aided VerificationModel Verification	2020	24
Quingo: A Programming Framework for Heterogeneous Quantum-Classical Computing with NISQ Features Xiang Fu, Jintao Yu, Xing Su, ACM Transactions on Quantum Computing Quantum SoftwareQuantum System SoftwareEngineeringComputer ArchitectureHeterogeneous Quantum-classical Computing	2021	24
On the Properties of Kullback-Leibler Divergence Between Multivariate Gaussian Distributions Yufeng Zhang, Wanwei Liu, Zhenbang Chen, arXiv (Cornell University)	2021	19
Translation validation of scheduling in high level synthesis Tun Li, Yang Guo, Wanwei Liu, EngineeringHardware Verification LanguageTranslation ProcessVerificationComputer Architecture	2013	15
Demand-Driven Memory Leak Detection Based on Flow- and Context-Sensitive Pointer Analysis Ji Wang, Xiaodong Ma, Wei Dong, Journal of Computer Science and Technology Hardware SecurityEngineeringProgram AnalysisMemory AnalysisSoftware Testing	2009	15
Reach-Avoid Verification Based on Convex Optimization Xue Bai, Naijun Zhan, Martin Fränzle, IEEE Transactions on Automatic Control	2023	13
A tighter analysis of Piterman's Büchi determinization Wanwei Liu, Ji Wang Information Processing Letters Tighter AnalysisDeterministic SystemPoisson Boundary	2009	12
Efficient translation validation of high-level synthesis Tun Li, Yang Guo, Wanwei Liu, EngineeringTranslation ProcessVerificationComputer ArchitectureComputer-aided Verification	2013	11

Page 1