Yansong Dong

Orcid: 0000-0002-7429-4027

According to our database1, Yansong Dong authored at least 5 papers between 2014 and 2024.

Collaborative distances:
  • Dijkstra number2 of five.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2024
Neuron importance based verification of neural networks via divide and conquer.
Neurocomputing, January, 2024

Efficient verification of neural networks based on neuron branching and LP abstraction.
Neurocomputing, 2024

2022
Improving transferability of adversarial examples by saliency distribution and data augmentation.
Comput. Secur., 2022

2019
A Forward Chaining Heuristic Search with Spatio-Temporal Control Knowledge.
Proceedings of the Structured Object-Oriented Formal Language and Method, 2019

2014
Realization on indoor positioning in basis of reference tag.
Int. J. Wavelets Multiresolution Inf. Process., 2014


  Loading...