Motion-Compensated Temporal Frame Interpolation Algorithm Based on Global Entirety Unidirectional Motion Estimation and Local Fast Bidirectional Motion Estimation. - Zhiyong Shi; Fengchun Tian; Minjun Deng; Depeng Liu (Int. J. Pattern Recognit. Artif. Intell., 2017)

Model Checking Differentially Private Properties. - Depeng Liu; Bow-Yaw Wang; Lijun Zhang 001 (APLAS, 2018)

A Cost Effective Positioning Device in MRI-PHIFU System. - Depeng Liu; Guofeng Shen; Shan Qiao; Zhiqiang Su; Wenjie Liu; Zhongqiu Li; Jiabao Wen; Jian Tao (CISP-BMEI, 2018)

A real time multi-angle adjustable phased high intensity focused ultrasound system. - Depeng Liu; Guofeng Shen; Shan Qiao; Nan Wu (Cogn. Syst. Res., 2018)

Infrared Small Target Detection Based on Flux Density and Direction Diversity in Gradient Vector Field. - Depeng Liu; Lei Cao; Zhengzhou Li; Tianmei Liu; Peng Che (IEEE J. Sel. Top. Appl. Earth Obs. Remote. Sens., 2018)

Detection and Application of Ultrasonic Cavitation in Pathological Tissue Processing. - Zhongqiu Li; Depeng Liu; Guofeng Shen; Zhiqiang Su; Wenjie Liu; Wenzhi Liu (CISP-BMEI, 2021)

Formal Verification of Consensus in the Taurus Distributed Database. - Song Gao 014; Bohua Zhan; Depeng Liu; Xuechao Sun; Yanan Zhi; David N. Jansen; Lijun Zhang 001 (FM, 2021)

A novel learning algorithm for Büchi automata based on family of DFAs and classification trees. - Yong Li 031; Yu-Fang Chen 001; Lijun Zhang 001; Depeng Liu (Inf. Comput., 2021)

Verifying Pufferfish Privacy in Hidden Markov Models. - Depeng Liu; Bow-Yaw Wang; Lijun Zhang 001 (VMCAI, 2022)

Defensive Design of Saturating Counters Based on Differential Privacy. - Depeng Liu; Lutan Zhao; Pengfei Yang 002; Bow-Yaw Wang; Rui Hou 001; Lijun Zhang 001; Naijun Zhan (CoRR, 2022)

Development of an MRI Guided Auxiliary Robot for Spinal Injections. - Depeng Liu; Zixuan Liu; Gang Li 018; Laura Connolly; Guofeng Shen; Iulian Iordachita (IRC, 2023)

Model checking differentially private properties. - Depeng Liu; Bow-Yaw Wang; Chen Fu; Lijun Zhang 001 (Theor. Comput. Sci., 2023)

Fatigue reliability assessment of offshore catenary risers conveying internal slug flow. - Depeng Liu; Shangmao Ai; Zhuang Kang; Liping Sun (Qual. Reliab. Eng. Int., 2023)

Toward Autonomous Marker Localization for Lumbar Epidural Steroid Injection Robot. - Depeng Liu; Ruirui Huang; Dimitri A. Lezcano; Gang Li 018; Iulian I. Iordachita (EMBC, 2024)

An Error Correction Method for MRI-HIFU Robot Based on Dynamic Optical Tracking System. - Depeng Liu; Ruirui Huang; Guofeng Shen (ICMRE, 2024)