Depeng Liu

19 papers B 3Journal 10Unranked 6
YearRankTypeTitle / Venue / Authors
2026 J jnl
CSC-FMT
IEEE Robotics Autom. Lett.
Maoyun Zhao, Depeng Liu, Peng Liu, Han Wang, Guofeng Shen
2024 — conf
An Error Correction Method for MRI-HIFU Robot Based on Dynamic Optical Tracking System.
ICMRE
Depeng Liu, Ruirui Huang, Guofeng Shen
2024 — conf
Toward Autonomous Marker Localization for Lumbar Epidural Steroid Injection Robot.
EMBC
Depeng Liu, Ruirui Huang, Dimitri A. Lezcano, Gang Li, Iulian I. Iordachita
2023 — conf
Development of an MRI Guided Auxiliary Robot for Spinal Injections.
IRC
Depeng Liu, Zixuan Liu, Gang Li, Laura Connolly, Guofeng Shen, Iulian Iordachita
2023 J jnl
Fatigue reliability assessment of offshore catenary risers conveying internal slug flow.
Qual. Reliab. Eng. Int.
Depeng Liu, Shangmao Ai, Zhuang Kang, Liping Sun
2023 J jnl
Model checking differentially private properties.
Theor. Comput. Sci.
Depeng Liu, Bow-Yaw Wang, Chen Fu, Lijun Zhang
2022 J jnl
Defensive Design of Saturating Counters Based on Differential Privacy.
CoRR
Depeng Liu, Lutan Zhao, Pengfei Yang, Bow-Yaw Wang, Rui Hou, Lijun Zhang, Naijun Zhan
2022 B conf
Verifying Pufferfish Privacy in Hidden Markov Models.
VMCAI
Depeng Liu, Bow-Yaw Wang, Lijun Zhang
2021 J jnl
A novel learning algorithm for Büchi automata based on family of DFAs and classification trees.
Inf. Comput.
Yong Li, Yu-Fang Chen, Lijun Zhang, Depeng Liu
2021 — conf
Detection and Application of Ultrasonic Cavitation in Pathological Tissue Processing.
CISP-BMEI
Zhongqiu Li, Depeng Liu, Guofeng Shen, Zhiqiang Su, Wenjie Liu, Wenzhi Liu
2021 B conf
Formal Verification of Consensus in the Taurus Distributed Database.
FM
Song Gao, Bohua Zhan, Depeng Liu, Xuechao Sun, Yanan Zhi, David N. Jansen, Lijun Zhang
2020 J jnl
Verifying Pufferfish Privacy in Hidden Markov Models.
CoRR
Depeng Liu, Bow-Yaw Wang, Lijun Zhang
2018 — conf
A Cost Effective Positioning Device in MRI-PHIFU System.
CISP-BMEI
Depeng Liu, Guofeng Shen, Shan Qiao, Zhiqiang Su, Wenjie Liu, Zhongqiu Li, Jiabao Wen, Jian Tao
2018 J jnl
A real time multi-angle adjustable phased high intensity focused ultrasound system.
Cogn. Syst. Res.
Depeng Liu, Guofeng Shen, Shan Qiao, Nan Wu
2018 J jnl
Infrared Small Target Detection Based on Flux Density and Direction Diversity in Gradient Vector Field.
IEEE J. Sel. Top. Appl. Earth Obs. Remote. Sens.
Depeng Liu, Lei Cao, Zhengzhou Li, Tianmei Liu, Peng Che
2018 B conf
Model Checking Differentially Private Properties.
APLAS
Depeng Liu, Bow-Yaw Wang, Lijun Zhang
2017 — conf
A Novel Learning Algorithm for Büchi Automata Based on Family of DFAs and Classification Trees.
TACAS (1)
Yong Li, Yu-Fang Chen, Lijun Zhang, Depeng Liu
2017 J jnl
Motion-Compensated Temporal Frame Interpolation Algorithm Based on Global Entirety Unidirectional Motion Estimation and Local Fast Bidirectional Motion Estimation.
Int. J. Pattern Recognit. Artif. Intell.
Zhiyong Shi, Fengchun Tian, Minjun Deng, Depeng Liu
2016 J jnl
A Novel Learning Algorithm for Büchi Automata based on Family of DFAs and Classification Trees.
CoRR
Yong Li, Yu-Fang Chen, Lijun Zhang, Depeng Liu