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

Florian Zuleger

Technische Universitat Wien

17H指数
112论文数
1.3K被引数
收录论文 3
发表时间
logo
A formalization of Heisenbugs and their causes in terms of hyperproperties基于超属性的Heisenbugs及其成因的形式化研究
errSoftware and Systems Modeling
IF3.2
err2026-02-01
err0
errOAAI
errSallinger, Sarah; Weissenbacher, Georg; Zuleger, Florian
err分享
err收藏
CHARACTERIZATIONS OF MONADIC SECOND ORDER DEFINABLE CONTEXT-FREE SETS OF GRAPHS单态二阶可定义的上下文无关图集合的特征
errLogical Methods in Computer Science
IF1
err2026-01-01
err0
PREAI
errIosif, Radu; Zuleger, Florian
err分享
err收藏
Verification of agent navigation in partially-known environments
errartificial intelligence review
IF4.6
err2022-07-01
err1
PREAI
errAminof, Benjamin; Murano, Aniello; Rubin, Sasha; Zuleger, Florian
err分享
err收藏

研究方向

暂无研究方向
合作学者
合作期刊
A
Aniello Murano
H 指数: 26 · 论文数: 253
S
Sasha Rubin
H 指数: 24 · 论文数: 139
R
Radu Iosif
H 指数: 21 · 论文数: 135
G
Georg Weißenbacher
H 指数: 17 · 论文数: 78
B
Benjamin Aminof
H 指数: 16 · 论文数: 67
查看更多