Yansong Dong

Orcid: 0000-0002-7429-4027

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

Collaborative distances:

Dijkstra number² of five.
Erdős number³ 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.

[BibT_eX]

[DOI]

Neurocomputing, January, 2024

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

[BibT_eX]

[DOI]

Neurocomputing, 2024

2022

Improving transferability of adversarial examples by saliency distribution and data augmentation.

[BibT_eX]

[DOI]

Comput. Secur., 2022

2019

A Forward Chaining Heuristic Search with Spatio-Temporal Control Knowledge.

[BibT_eX]

[DOI]

Proceedings of the Structured Object-Oriented Formal Language and Method, 2019

2014

Realization on indoor positioning in basis of reference tag.

[BibT_eX]

[DOI]

Int. J. Wavelets Multiresolution Inf. Process., 2014

Yansong Dong

Timeline

Legend:

Links

On csauthors.net:

Bibliography

Loading...