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

Matthias Heizmann

university of stuttgart

20H指数
60论文数
1.4K被引数
收录论文 2
发表时间
logo
A lazy and modular approach to int-blasting惰性且模块化的内爆式射击方法
errACTA INFORMATICA
IF0.5
err2026-04-10
err0
errOAAI
errBarth, Max; Heizmann, Matthias; Hoenicke, Jochen
err分享
err收藏
Verification Witnesses
errACM TRANSACTIONS ON SOFTWARE ENGINEERING AND METHODOLOGY
IF6.2
err2022-09-08
err21
errOAAI
errBeyer, Dirk; Dangl, Matthias; Dietsch, Daniel; Heizmann, Matthias; Lemberger, Thomas; Tautschnig, Michael
err分享
err收藏

研究方向

暂时未获取到该数据
合作学者
合作期刊
D
Dirk Beyer
H 指数: 53 · 论文数: 428
T
Thomas R. Lemberger
H 指数: 28 · 论文数: 207
M
Michael Tautschnig
H 指数: 22 · 论文数: 80
D
Daniel Dietsch
H 指数: 16 · 论文数: 50
M
Matthias Dangl
H 指数: 11 · 论文数: 21
查看更多