Depeng Liu

According to our database, Depeng Liu authored at least 12 papers between 2017 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

Fatigue reliability assessment of offshore catenary risers conveying internal slug flow.

Depeng Liu, Shangmao Ai, Zhuang Kang, Liping Sun

Qual. Reliab. Eng. Int., July, 2023

Model checking differentially private properties.

Depeng Liu, Bow-Yaw Wang, Chen Fu, Lijun Zhang

Theor. Comput. Sci., 2023

Development of an MRI Guided Auxiliary Robot for Spinal Injections.

Depeng Liu, Zixuan Liu, Gang Li, Laura Connolly, Guofeng Shen, Iulian Iordachita

Proceedings of the Seventh IEEE International Conference on Robotic Computing, 2023

2022

Defensive Design of Saturating Counters Based on Differential Privacy.

Depeng Liu, Lutan Zhao, Pengfei Yang, Bow-Yaw Wang, Rui Hou, Lijun Zhang, Naijun Zhan

CoRR, 2022

Verifying Pufferfish Privacy in Hidden Markov Models.

Depeng Liu, Bow-Yaw Wang, Lijun Zhang

Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2022

2021

A novel learning algorithm for Büchi automata based on family of DFAs and classification trees.

Yong Li, Yu-Fang Chen, Lijun Zhang, Depeng Liu

Inf. Comput., 2021

Formal Verification of Consensus in the Taurus Distributed Database.

Song Gao, Bohua Zhan, Depeng Liu, Xuechao Sun, Yanan Zhi, David N. Jansen, Lijun Zhang

Proceedings of the Formal Methods - 24th International Symposium, 2021

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

A real time multi-angle adjustable phased high intensity focused ultrasound system.

Depeng Liu, Guofeng Shen, Shan Qiao, Nan Wu

Cogn. Syst. Res., 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

Proceedings of the 11th International Congress on Image and Signal Processing, 2018

Model Checking Differentially Private Properties.

Depeng Liu, Bow-Yaw Wang, Lijun Zhang

Proceedings of the Programming Languages and Systems - 16th Asian Symposium, 2018

2017

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