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

Stefan Ratschan

Czech Academy of Sciences

14H-index
91Paper Count
995Citation Count
Published Papers 2
Publication Date
logo
errVERIFICATION, MODEL CHECKING, AND ABSTRACT INTERPRETATION, VMCAI 2026
IF0
err2026-01-01
err0
PREAI
errOnderka, Jan; Ratschan, Stefan
errShare
errSave
errIEEE TRANSACTIONS ON AUTOMATIC CONTROL
IF7
err2018-08-01
err15
errOAAI
errRatschan, Stefan
errShare
errSave

Research Directions

No research directions
Co-authors
Cooperation Journals
J
Jan Onderka
H-index: 1 · Papers: 5
All loaded