Chrome Extension
WeChat Mini Program
Use on ChatGLM
VIPCreated with Sketch.
Research Interests

Papers共 92 篇Author StatisticsCo-AuthorSimilar Experts

By YearBy Citation主题筛选期刊级别筛选合作者筛选合作机构筛选
时间
引用量
主题
期刊级别
合作者
合作机构
Efficient verification of neural networks based on neuron branching and LP abstraction
Liang Zhao, Xinmin Duan, Chenglong Yang, Yuehao Liu,Yansong Dong,Xiaobing Wang,Wensheng Wang
Neurocomputing (2024): 127936
Cited0Views0EIBibtex
0
0
Research and Application of Loitering Detection Based on Deep Learning
Yuyang Zhang, Jiangcheng Wang,Xiaobing Wang,Yingnan Wang,Sijiang Yu
2023 10th International Conference on Dependable Systems and Their Applications (DSA)pp.339-346, (2023)
Cited0Views0EIWOSBibtex
0
0
Formal Modeling and Verification of Convolutional Neural Networks based on MSVL
Liang Zhao, Leping Wu, Yu Gao,Xiaobing Wang,Bin Yu
2022 9th International Conference on Dependable Systems and Their Applications (DSA)pp.280-289, (2022)
Cited0Views0EIWOSBibtex
0
0
Driver Violation Prediction based on Neural Network
Xingguang Zhu, Jiajun Chang, Weikang Li,Bin Yu,Liang Zhao,Xiaobing Wang
2022 9th International Conference on Dependable Systems and Their Applications (DSA)pp.143-152, (2022)
Cited0Views0EIWOSBibtex
0
0
Verification of CTCS-3 using TMSVL
Yining Wang,Chunyi Li,Xiaobing Wang
DSApp.722-729, (2021)
Cited0Views0EIWOSBibtex
0
0
Load More
Author Statistics

#Papers: 92

#Citation: 491

H-Index: 13

G-Index: 19

Sociability: 5

Diversity: 3

Activity: 9

  • 合作者
  • 学生
  • 导师
No result temporarily, you can search similar Scholar with the same research interest
Data Disclaimer
The page data are from open Internet sources, cooperative publishers and automatic analysis results through AI technology. We do not make any commitments and guarantees for the validity, accuracy, correctness, reliability, completeness and timeliness of the page data. If you have any questions, please contact us by email: report@aminer.cn