MicroRNA target validation by formal methods. - Yang Yang; Cheng Xiang 001; Lin Hai (ICCA, 2011)

A New Statistical Channel Model for Hybrid-Diversity MIMO Systems. - Lin Hai; Yerong Zhang (Circuits Syst. Signal Process., 2012)

Perception Compressor: A Training-Free Prompt Compression Framework in Long Context Scenarios. - Jiwei Tang; Jin Xu; Tingwei Lu; Zhicheng Zhang; Yiming Zhao; Lin Hai; Hai-Tao Zheng (NAACL (Findings), 2025)

Fault detection for hybrid-triggered networked systems subject to delay and deception attacks. - Shifang Dai; Lin Hai; Jin-liang Liu 001; Engang Tian (J. Frankl. Inst., 2025)

GMSA: Enhancing Context Compression via Group Merging and Layer Semantic Alignment. - Jiwei Tang; Zhicheng Zhang; Shunlong Wu; Jingheng Ye; Lichen Bai; Zitai Wang; Tingwei Lu; Jiaqi Chen; Lin Hai; Hai-Tao Zheng 002; Hong-Gee Kim (CoRR, 2025)

Token-Importance Guided Direct Preference Optimization. - Yang Ning; Lin Hai; Liu Yibo; Tian Baoliang; Liu Guoqing; Zhang Haijun (CoRR, 2025)