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

ThanhVu Nguyen

george mason university

17H指数
85论文数
2.9K被引数
收录论文 6
发表时间
logo
NeuralSAT: Scaling Constraint Solving for DNN Verification (Competition Contribution)NeuralSAT：为DNN验证扩展约束求解（竞赛贡献）
errAI VERIFICATION, SAIV 2025
IF0
err2026-01-01
err0
PREAI
errDuong, Hai; ThanhVu Nguyen
err分享
err收藏
Using Symbolic States to Infer Numerical Invariants使用符号状态推断数值不变量
errIEEE TRANSACTIONS ON SOFTWARE ENGINEERING
IF5.6
err2022-10-01
err2
errOAAI
errThanhVu Nguyen; KimHao Nguyen; Dwyer, Matthew B.
err分享
err收藏
DIG: A Dynamic Invariant Generator for Polynomial and Array Invariants
errACM TRANSACTIONS ON SOFTWARE ENGINEERING AND METHODOLOGY
IF6.2
err2014-09-05
err33
errOAAI
errThanhvu Nguyen; Kapur, Deepak; Weimer, Westley; Forrest, Stephanie
err分享
err收藏
GenProg: A Generic Method for Automatic Software Repair
errIEEE TRANSACTIONS ON SOFTWARE ENGINEERING
IF5.6
err2012-01-01
err594
PREAI
errLe Goues, Claire; ThanhVu Nguyen; Forrest, Stephanie; Weimer, Westley
err分享
err收藏
Automatic Program Repair with Evolutionary Computation
errCOMMUNICATIONS OF THE ACM
IF12.2
err2010-05-01
err116
PREAI
errWeimer, Westley; Forrest, Stephanie; Le Goues, Claire; Nguyen, ThanhVu
err分享
err收藏
MODEL - A SOFTWARE SUITE FOR DATA ACQUISITION
errCOMPUTER PHYSICS COMMUNICATIONS
IF3.4
err1989-12-01
err4
errOAAI
errSENDALL, DM; BOISSAT, C; BOZZOLI, W; BURKIMSHER, P; JONES, R; MATHEYS, JP; MORNACCHI, G; NGUYEN, T; VANDEVYVRE, P; VASCOTTO, A; WEAVER, D
err分享
err收藏

研究方向

暂时未获取到该数据
合作学者
合作期刊
G
G. Mornacchi
H 指数: 89 · 论文数: 355
S
Stephanie Forrest
H 指数: 75 · 论文数: 314
P
P. Vande Vyvre
H 指数: 62 · 论文数: 375
W
Westley Weimer
H 指数: 52 · 论文数: 213
M
Matthew B. Dwyer
H 指数: 50 · 论文数: 302
查看更多