logo
CanyamAI summaries for academic research
language
MobileMobile
  • Phone FeatureWeChat Mini Program
EnglishEnglish
noticeNotice
BlogBlog
delete
arrow
Back
F

Florian Zuleger

Technische Universitat Wien

17H-index
112Paper Count
1.3KCitation Count
Published Papers 3
Publication Date
logo
A formalization of Heisenbugs and their causes in terms of hyperproperties
errSoftware and Systems Modeling
IF3.2
err2026-02-01
err0
errOAAI
errSallinger, Sarah; Weissenbacher, Georg; Zuleger, Florian
errShare
errSave
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
errShare
errSave
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
errShare
errSave

Research Directions

No research directions
Co-authors
Cooperation Journals
A
Aniello Murano
H-index: 26 · Papers: 253
S
Sasha Rubin
H-index: 24 · Papers: 139
R
Radu Iosif
H-index: 21 · Papers: 135
G
Georg Weißenbacher
H-index: 17 · Papers: 78
B
Benjamin Aminof
H-index: 16 · Papers: 67
View more