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

Marnix Suilen

Eindhoven University of Technology

5H指数
22论文数
84被引数
收录论文 2
发表时间
logo
A research agenda for active automata learning主动自动机学习的研究议程
errInternational Journal on Software Tools for Technology Transfer
IF1.4
err2026-02-01
err0
errOAAI
errFortz, Sophie; Ghassemi, Fatemeh; Henry, Leo; Howar, Falk; Neele, Thomas; Rot, Jurriaan; Suilen, Marnix
err分享
err收藏
Balancing Wind and Batteries: Towards Predictive Verification of Smart Grids
errnasa formal methods (nfm
IF0
err2021-05-19
err2
errOAAI
errBadings, Thom S.; Hartmanns, Arnd; Jansen, Nils; Suilen, Marnix
err分享
err收藏

研究方向

暂无研究方向
合作学者
合作期刊
N
Nils Jansen
H 指数: 26 · 论文数: 267
F
Falk Howar
H 指数: 23 · 论文数: 158
A
Arnd Hartmanns
H 指数: 19 · 论文数: 117
L
L. Henry
H 指数: 17 · 论文数: 101
F
Fatemeh Ghassemi
H 指数: 9 · 论文数: 66
查看更多