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

Andrew Gacek

amazon.com

20H指数
65论文数
1.1K被引数
收录论文 2
发表时间
logo
Inductive Validity Cores
errIEEE TRANSACTIONS ON SOFTWARE ENGINEERING
IF5.6
err2021-02-01
err1
errOAAI
errGhassabani, Elaheh; Whalen, Michael; Gacek, Andrew; Heimdahl, Mats
err分享
err收藏
One-Click Formal Methods
errIEEE SOFTWARE
IF3
err2019-11-01
err16
PREAI
errBackes, John; Bolignano, Pauline; Cook, Byron; Gacek, Andrew; Luckow, Kasper Soe; Rungta, Neha; Schaef, Martin; Schlesinger, Cole; Tanash, Rima; Varming, Carsten; Whalen, Michael
err分享
err收藏

研究方向

暂无研究方向
合作学者
合作期刊
B
Byron Cook
H 指数: 42 · 论文数: 143
M
Mats P. E. Heimdahl
H 指数: 33 · 论文数: 190
M
Michael W. Whalen
H 指数: 29 · 论文数: 160
N
Neha Rungta
H 指数: 19 · 论文数: 85
C
Cole Schlesinger
H 指数: 18 · 论文数: 36
查看更多