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

Falk Howar

university of london

23H指数
158论文数
2.3K被引数
收录论文 4
发表时间
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收藏
Unsupervised Automata Learning via Discrete Optimization基于离散优化的无监督自动机学习
errLOGICS IN ARTIFICIAL INTELLIGENCE, JELIA 2025, PT I
IF0
err2026-01-01
err0
PREAI
errLutz, Simon; Kaminskyi, Daniil; Wittbold, Florian; Dierl, Simon; Howar, Falk; Koenig, Barbara; Mueller, Emmanuel; Neider, Daniel
err分享
err收藏
Can We Trust Theorem Provers for Industrial AI?
errIEEE SOFTWARE
IF3
err2021-11-01
err0
PREAI
errHowar, Falk; Mues, Malte
err分享
err收藏
Learning register automata: from languages to program structures
errMACHINE LEARNING
IF2.9
err2013-10-04
err30
errOAAI
errIsberner, Malte; Howar, Falk; Steffen, Bernhard
err分享
err收藏

研究方向

暂无研究方向
合作学者
合作期刊
B
Bernhard Steffen
H 指数: 62 · 论文数: 539
E
Emmanuel Müller
H 指数: 31 · 论文数: 171
B
Barbara König
H 指数: 23 · 论文数: 229
D
Daniel Neider
H 指数: 19 · 论文数: 154
L
L. Henry
H 指数: 17 · 论文数: 101
查看更多