NetDiceSyn: Multi-Property Probabilistic Verification of Network Configurations. - Renrui Liu; Fuliang Li; Chengxi Gao; Ce Ji; Xingwei Wang 001 (IWQoS, 2023)

An Improved Hyperbolic Method and Its Application to Property Inversion in Martian Tianwen-1 GPR Data. - Renrui Liu; Yi Xu 010; Ruonan Chen; Jiannan Zhao; Xiaoting Xu (IEEE Trans. Geosci. Remote. Sens., 2023)

Martian Dust Devil Detection Based on Improved Faster R-CNN. - Zexin Guo; Yi Xu 010; Dagang Li 001; Ye-Meng Wang; Kim-Chiu Chow; Renrui Liu; Qiquan Yang (IEEE J. Sel. Top. Appl. Earth Obs. Remote. Sens., 2024)

High-Resolution and Spatial-Continuous 3-D Model Reconstruction of Martian Surface by Integrating Multisensor Data of Zhurong Rover. - Renrui Liu; Yi Xu 010; Qiquan Yang (IEEE Trans. Geosci. Remote. Sens., 2024)

Underground Characteristics Extraction Method Using the Fully Polarized Subsurface Penetrating Radar of Zhurong Rover. - Rui Chen; Yi Xu 010; Renrui Liu; Hon Kuan Wong; Yun Qin; Xindong Meng; Qiquan Yang; Ling Zhang 006 (IEEE Trans. Geosci. Remote. Sens., 2025)