​
Login / Signup
Yansong Dong
ORCID
Publication Activity (10 Years)
Years Active: 2014-2024
Publications (10 Years): 4
Top Topics
Neural Network
Fuzzy Logic
Indoor Positioning
Control Knowledge
Top Venues
Neurocomputing
Comput. Secur.
SOFL+MSVL
Int. J. Wavelets Multiresolution Inf. Process.
</>
Publications
</>
Yansong Dong
,
Yuehao Liu
,
Liang Zhao
,
Cong Tian
,
Zhenhua Duan
Neuron importance based verification of neural networks via divide and conquer.
Neurocomputing
565 (2024)
Liang Zhao
,
Xinmin Duan
,
Chenglong Yang
,
Yuehao Liu
,
Yansong Dong
,
Xiaobing Wang
,
Wensheng Wang
Efficient verification of neural networks based on neuron branching and LP abstraction.
Neurocomputing
596 (2024)
Yansong Dong
,
Long Tang
,
Cong Tian
,
Bin Yu
,
Zhenhua Duan
Improving transferability of adversarial examples by saliency distribution and data augmentation.
Comput. Secur.
120 (2022)
Xu Lu
,
Jin Cui
,
Yansong Dong
,
Wensheng Wang
,
Runzhe Ma
,
Yifeng Li
,
Qing Feng
A Forward Chaining Heuristic Search with Spatio-Temporal Control Knowledge.
SOFL+MSVL
(2019)
Chunwu Yu
,
Jian Zhang
,
Yansong Dong
,
Jian Pan
Realization on indoor positioning in basis of reference tag.
Int. J. Wavelets Multiresolution Inf. Process.
12 (5) (2014)