logo
科言猫学术研究的AI总结
language
手机端手机端
  • Phone Feature微信小程序
简体中文简体中文
notice消息通知
博客博客
delete
arrow
返回
Z

Zhiwu Xu

shenzhen university

16H指数
71论文数
802被引数
收录论文 12
发表时间
logo
Special Issue on the 18th International symposium on theoretical aspects of software engineering第18届软件工程理论方面国际研讨会的专题会议
errScience of Computer Programming
IF1.4
err2026-07-01
err0
PREAI
errChin, Wei-Ngan; Xu, Zhiwu
err分享
err收藏
Automatically Inspecting Thousands of Static BugWarnings with Large Language Model: How Far AreWe?
errACM TRANSACTIONS ON KNOWLEDGE DISCOVERY FROM DATA
IF4.8
err2024-06-19
err8
errOAAI
errWen, Cheng; Cai, Yuandao; Zhang, Bin; Su, Jie; Xu, Zhiwu; Liu, Dugang; Qin, Shengchao; Ming, Zhong; Cong, Tian
err分享
err收藏
Abstraction and Refinement: Towards Scalable and Exact Verification of Neural Networks
errACM TRANSACTIONS ON SOFTWARE ENGINEERING AND METHODOLOGY
IF6.2
err2024-06-03
err1
errOAAI
errLiu, Jiaxiang; Xing, Yunhan; Shi, Xiaomu; Song, Fu; Xu, Zhiwu; Ming, Zhong
err分享
err收藏
Output Range Analysis for Feed-Forward Deep Neural Networks via Linear Programming
errIEEE TRANSACTIONS ON RELIABILITY
IF5.7
err2023-09-01
err0
PREAI
errXu, Zhiwu; Liu, Yazheng; Qin, Shengchao; Ming, Zhong
err分享
err收藏
Bidirectional stochastic configuration network for regression problems
errNEURAL NETWORKS
IF6.3
err2021-08-01
err45
PREAI
errCao, Weipeng; Xie, Zhongwu; Li, Jianqiang; Xu, Zhiwu; Ming, Zhong; Wang, Xizhao
err分享
err收藏
Speeding Up Data Manipulation Tasks with Alternative Implementations: An Exploratory Study
errACM TRANSACTIONS ON SOFTWARE ENGINEERING AND METHODOLOGY
IF6.2
err2021-07-23
err1
PREAI
errTao, Yida; Tang, Shan; Liu, Yepang; Xu, Zhiwu; Qin, Shengchao
err分享
err收藏
Extracting automata from neural networks using active learning
errPEERJ COMPUTER SCIENCE
IF2.5
err2021-04-19
err2
errOAAI
errXu, Zhiwu; Wen, Cheng; Qin, Shengchao; He, Mengda
err分享
err收藏
A Program Logic for Reasoning About C11 Programs With Release-Sequences
errIEEE ACCESS
IF3.6
err2020-01-01
err0
errOAAI
errHe, Mengda; Qin, Shengchao; Xu, Zhiwu
err分享
err收藏
Type Learning for Binaries and Its Applications
errIEEE TRANSACTIONS ON RELIABILITY
IF5.7
err2019-09-01
err6
errOAAI
errXu, Zhiwu; Wen, Cheng; Qin, Shengchao
err分享
err收藏
Online Sequential Extreme Learning Machine With Dynamic Forgetting Factor
errIEEE ACCESS
IF3.6
err2019-01-01
err31
errOAAI
errCao, Weipeng; Ming, Zhong; Xu, Zhiwu; Zhang, Jiyong; Wang, Qiang
err分享
err收藏
State-taint analysis for detecting resource bugs
errSCIENCE OF COMPUTER PROGRAMMING
IF1.4
err2018-09-01
err13
errOAAI
errXu, Zhiwu; Wen, Cheng; Qin, Shengchao
err分享
err收藏
State-Taint Analysis for Detecting Resource Bugs
err2016 10TH INTERNATIONAL SYMPOSIUM ON THEORETICAL ASPECTS OF SOFTWARE ENGINEERING (TASE)
IF0
err2016-07-01
err4
PREAI
errXu, Zhiwu; Fan, Dongxiao; Qin, Shengchao
err分享
err收藏

研究方向

暂无研究方向
合作学者
合作期刊
王曦照 封面图
王曦照 (Xizhao Wang)
H 指数: 63 · 论文数: 532
李坚强 封面图
李坚强 (Jianqiang Li)
H 指数: 63 · 论文数: 692
Z
Zhong Ming
H 指数: 60 · 论文数: 531
唐
唐山 (Shan Tang)
H 指数: 55 · 论文数: 221
J
Jiyong Zhang
H 指数: 37 · 论文数: 196
查看更多