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

Matthias Volk

eindhoven university of technology

14H指数
65论文数
1.1K被引数
收录论文 4
发表时间
logo
Formal Modeling and Analysis of Slot Machines老虎机的形式化建模与分析
errIEEE TRANSACTIONS ON GAMES
IF2.8
err2025-12-01
err0
PREAI
errGroote, Jan Friso; van Heesch, Sander; Volk, Matthias
err分享
err收藏
Embedding Feynman integral (Calabi-Yau) geometries in weighted projective space在加权射影空间中嵌入Feynman积分 (calabi-yau) 几何
errJOURNAL OF HIGH ENERGY PHYSICS
IF5.5
err2020-01-14
err55
errOAAI
errBourjaily, Jacob L.; McLeod, Andrew J.; Vergu, Cristian; Volk, Matthias; von Hippel, Matt; Wilhelm, Matthias
err分享
err收藏
Safety analysis for vehicle guidance systems with dynamic fault trees
errRELIABILITY ENGINEERING & SYSTEM SAFETY
IF11
err2019-06-01
err38
PREAI
errGhadhab, Majdi; Junges, Sebastian; Katoen, Joost-Pieter; Kuntz, Matthias; Volk, Matthias
err分享
err收藏
Fast Dynamic Fault Tree Analysis by Model Checking Techniques
errIEEE TRANSACTIONS ON INDUSTRIAL INFORMATICS
IF9.9
err2018-01-01
err78
PREAI
errVolk, Matthias; Junges, Sebastian; Katoen, Joost-Pieter
err分享
err收藏

研究方向

暂无研究方向
合作学者
合作期刊
J
Joost-Pieter Katoen
H 指数: 58 · 论文数: 636
M
M. Küntz
H 指数: 42 · 论文数: 190
J
Jan Friso Groote
H 指数: 36 · 论文数: 367
J
Jacob L. Bourjaily
H 指数: 30 · 论文数: 97
M
Matthias Wilhelm
H 指数: 25 · 论文数: 77
查看更多