Realization on indoor positioning in basis of reference tag. - Chunwu Yu; Jian Zhang 010; Yansong Dong; Jian Pan (Int. J. Wavelets Multiresolution Inf. Process., 2014)

A Forward Chaining Heuristic Search with Spatio-Temporal Control Knowledge. - Xu Lu 003; Jin Cui; Yansong Dong; Wensheng Wang; Runzhe Ma; Yifeng Li; Qing Feng (SOFL+MSVL, 2019)

Improving transferability of adversarial examples by saliency distribution and data augmentation. - Yansong Dong; Long Tang; Cong Tian; Bin Yu 008; Zhenhua Duan (Comput. Secur., 2022)

Detecting Atomicity Violations for Interrupt-driven Programs via Systematic Scheduling and Prefix-directed Feedback. - Ruixue Li; Bin Yu 008; Xu Lu 003; Lei Ke; Jiawei Chen; Zixuan Yuan; Jingxian Wang; Cong Tian; Yansong Dong (ASE, 2024)

Efficient verification of neural networks based on neuron branching and LP abstraction. - Liang Zhao 021; Xinmin Duan; Chenglong Yang; Yuehao Liu; Yansong Dong; Xiaobing Wang; Wensheng Wang (Neurocomputing, 2024)

Neuron importance based verification of neural networks via divide and conquer. - Yansong Dong; Yuehao Liu; Liang Zhao 021; Cong Tian; Zhenhua Duan (Neurocomputing, 2024)