Shaocong Han
Orcid: 0009-0009-0605-2542
According to our database1,
Shaocong Han
authored at least 3 papers
between 2012 and 2023.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2023
Enhancing Branch and Bound for Robustness Verification of Neural Networks via an Effective Branching Strategy.
Proceedings of the Dependable Software Engineering. Theories, Tools, and Applications, 2023
2019
Proceedings of the Big Data and Security - First International Conference, 2019
2012
Proceedings of 2012 IEEE International Conference on Service Operations and Logistics, 2012