Concepedia

Wanwei Liu

WL

11

Publications

245

Citations

10

H-Index

2009

Active since

Affiliations

National University of Defense Technology(Current)

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

Top concepts

EngineeringComputer ScienceComputer EngineeringVerificationFormal VerificationComputer ArchitectureFormal MethodsProgram AnalysisSoftware AnalysisSystems Engineering

Publications per year

2009–2023

11

Publications

11

Counterexample-Preserving Reduction for Symbolic Model Checking

Wanwei Liu, Rui Wang, Xianjin Fu et al. · Journal of Applied Mathematics · 2014 · 70 citations · Full text

Engineering, Automated Reasoning, Verification +15

On Scheduling Constraint Abstraction for Multi-Threaded Program Verification

Liangze Yin, Wei Dong, Wanwei Liu et al. · IEEE Transactions on Software Engineering · 2018 · 32 citations

Program Checking, Engineering, Verification +17

Verifying ReLU Neural Networks from a Model Checking Perspective

Wanwei Liu, Fu Song, Tang-Hao-Ran Zhang et al. · Journal of Computer Science and Technology · 2020 · 24 citations

Engineering, Automated Reasoning, Verification +7

Quingo: A Programming Framework for Heterogeneous Quantum-Classical Computing with NISQ Features

Xiang Fu, Jintao Yu, Xing Su et al. · ACM Transactions on Quantum Computing · 2021 · 24 citations

Quantum Software, Quantum System Software, Engineering +24

On the Properties of Kullback-Leibler Divergence Between Multivariate Gaussian Distributions

Yufeng Zhang, Wanwei Liu, Zhenbang Chen et al. · arXiv (Cornell University) · 2021 · 19 citations · Full text

Rows per page

1–5 of 11