ParaVerifier: An Automatic Framework for Proving Parameterized Cache Coherence Protocols. - Yongjian Li; Jun Pang 001; Yi Lv; Dongrui Fan; Shen Cao; Kaiqiang Duan (ATVA, 2015)

Homography Loss for Monocular 3D Object Detection. - Jiaqi Gu 004; Bojian Wu; Lubin Fan; Jianqiang Huang; Shen Cao; Zhiyu Xiang; Xian-Sheng Hua 001 (CVPR, 2022)

Numerical solving for generalized Black-Scholes-Merton model with neural finite element method. - Yinghao Chen; Lei Wei; Shen Cao; Fan Liu; Yunlei Yang; Yangjin Cheng (Digit. Signal Process., 2022)

MLC-Net: A Robust SAR Ship Detector With Speckle Noise and Multiscale Targets. - Congxia Zhao; Xiongjun Fu; Jian Dong; Shen Cao; Chunyan Zhang (IEEE J. Sel. Top. Appl. Earth Obs. Remote. Sens., 2024)

Ship Detection in Synthetic Aperture Radar Images under Complex Geographical Environments, Based on Deep Learning and Morphological Networks. - Shen Cao; Congxia Zhao; Jian Dong; Xiongjun Fu (Sensors, 2024)

NoPe-NeRF++: Local-to-Global Optimization of NeRF with No Pose Prior. - Dongbo Shi; Shen Cao; Bojian Wu; Jinhui Guo; Lubin Fan; Renjie Chen 001; Ligang Liu 001; Jieping Ye (Comput. Graph. Forum, 2025)

Enhancing, Refining, and Fusing: Towards Robust Multiscale and Dense Ship Detection. - Congxia Zhao; Xiongjun Fu; Jian Dong; Shen Cao; Chunyan Zhang (IEEE J. Sel. Top. Appl. Earth Obs. Remote. Sens., 2025)

Enhancing, Refining, and Fusing: Towards Robust Multi-Scale and Dense Ship Detection. - Congxia Zhao; Xiongjun Fu; Jian Dong; Shen Cao; Chunyan Zhang (CoRR, 2025)

CoL3D: Collaborative Learning of Single-view Depth and Camera Intrinsics for Metric 3D Shape Recovery. - Chenghao Zhang; Lubin Fan; Shen Cao; Bojian Wu; Jieping Ye (CoRR, 2025)

PTZ-Calib: Robust Pan-Tilt-Zoom Camera Calibration. - Jinhui Guo; Lubin Fan; Bojian Wu; Jiaqi Gu 004; Shen Cao; Jieping Ye (CoRR, 2025)

No Parameters, No Problem: 3D Gaussian Splatting without Camera Intrinsics and Extrinsics. - Dongbo Shi; Shen Cao; Lubin Fan; Bojian Wu; Jinhui Guo; Renjie Chen 001; Ligang Liu 001; Jieping Ye (CoRR, 2025)