Implementation of Pointer Logic for Automated Verification. - Zhifang Wang; Yiyun Chen; Zhenming Wang; Wei Wang; Bo Tian (ICYCS, 2008)

An Extension to Pointer Logic for Verification. - Zhifang Wang; Yiyun Chen; Zhenming Wang; Wei Wang; Bo Tian (TASE, 2008)

Automated verification of pointer programs in pointer logic. - Zhifang Wang; Yiyun Chen; Zhenming Wang; Baojian Hua (Frontiers Comput. Sci. China, 2008)

A method of BDS/SINS integrated navigation fusion based on CKF algorithm. - Mafeng Gao; Xin Zhao; Quanhu Li; Zhenming Wang (ICNC-FSKD, 2017)

Vertical Accuracy Effect Verification for Satellite Imagery With Different GCPs. - Ping Zhou 005; Xinming Tang; Zhenming Wang; Ning Cao; Xia Wang (IEEE Geosci. Remote. Sens. Lett., 2017)

ZY3-02 Laser Altimeter Footprint Geolocation Prediction. - Junfeng Xie 001; Xinming Tang; Fan Mo 001; Guoyuan Li; Guangbin Zhu; Zhenming Wang; Xingke Fu; Xiaoming Gao; Xianhui Dou (Sensors, 2017)

Composite Geolocating of ZY-3-02 Laser Altimetry Data and Optical Satellite Stereo Imagery. - Junfeng Xie 001; Fen Hu; Zhenming Wang; Ming He; Ying Zhen; Hong Zhu 007 (IGARSS, 2019)

A new fifth-order finite difference well-balanced multi-resolution WENO scheme for solving shallow water equations. - Zhenming Wang; Jun Zhu; Ning Zhao (Comput. Math. Appl., 2020)

Multi-physiological Parameters Integrated Medical System for Home Healthcare Application. - Feng Zou; Zhenming Wang; Song Ma; Liubin Li; Yuhua Cheng (ASICON, 2021)

A CNN-Based Optimal CTU λ Decision for HEVC Intra Rate Control. - Lili Wei; Zhenglong Yang; Zhenming Wang; Guozhong Wang (IEICE Trans. Inf. Syst., 2021)

A low dissipation finite difference nested multi-resolution WENO scheme for Euler/Navier-Stokes equations. - Zhenming Wang; Jun Zhu; Linlin Tian; Ning Zhao (J. Comput. Phys., 2021)

Landslide Risk Assessment in Eastern Kentucky, USA: Developing a Regional Scale, Limited Resource Approach. - Matthew M. Crawford; Jason M. Dortch; Hudson J. Koch; Yichuan Zhu; William C. Haneberg; Zhenming Wang; L. Sebastian Bryson (Remote. Sens., 2022)

An improved discontinuity sensor for high-order weighted essentially non-oscillatory scheme on triangular meshes. - Zhenming Wang; Linlin Tian; Jun Zhu; Ning Zhao (J. Comput. Phys., 2023)

An efficient hybrid multi-resolution WCNS scheme for solving compressible flows. - Zhenming Wang; Jun Zhu; Chunwu Wang; Ning Zhao (J. Comput. Phys., 2023)

Hybrid fifth-order unequal-sized weighted essentially non-oscillatory scheme for shallow water equations. - Zhenming Wang; Jun Zhu; Linlin Tian; Ning Zhao (Comput. Math. Appl., 2023)

An improved hybridization strategy for the fifth-order unequal-sized weighted essentially non-oscillatory scheme. - Zhenming Wang; Linlin Tian; Jun Zhu; Ning Zhao (Commun. Nonlinear Sci. Numer. Simul., 2023)

A new type of increasingly higher order finite difference and finite volume MR-WENO schemes with adaptive linear weights for hyperbolic conservation laws. - Yicheng Lin; Zhenming Wang; Jun Zhu (J. Comput. Phys., 2023)

Experiments and Study of a Low-Frequency, High-Speed Bi-Directional Piezoelectric Stick-Slip Actuator. - Xiaochao Tian; Jie Yang; Houjun Gai; Junjie Li; Zhenming Wang; Yingyu Dai; Defeng Niu (IEEE Access, 2024)

BugBlitz-AI: An Intelligent QA Assistant. - Yi Yao; Jun Wang; Yabai Hu; Lifeng Wang; Yi Zhou; Jack Chen; Xuming Gai; Zhenming Wang; Wenjun Liu (CoRR, 2024)

QYOLO: Contextual Query-Assisted Object Detection in High-Resolution Images. - Mingyang Gao; Wenrui Wang; Jia Mao; Jun Xiong; Zhenming Wang; Bo Wu (Inf., 2024)

Design and Experimental Study of a Composite Piezoelectric Stick-Slip Actuator Based on Elliptical Trajectory Motion. - Xiaochao Tian; Zhenming Wang; Yingyu Dai; Jinlong Liu (IEEE Access, 2025)

An extremum properties (EP)-based discontinuous sensor and hybrid weighted essentially non-oscillatory scheme on tetrahedral meshes. - Zhenming Wang; Jun Zhu; Yan Tan; Linlin Tian; Ning Zhao (J. Comput. Phys., 2025)