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

Sebastian Junges

Radboud University Nijmegen

22H-index
183Paper Count
2.2KCitation Count
Published Papers 7
Publication Date
logo
errAUTOMATED TECHNOLOGY FOR VERIFICATION AND ANALYSIS, ATVA 2025
IF0
err2026-01-01
err0
PREAI
errHeck, Linus; Quatmann, Tim; Spel, Jip; Katoen, Joost-Pieter; Junges, Sebastian
errShare
errSave
errREACHABILITY PROBLEMS, RP 2025
IF0
err2026-01-01
err0
PREAI
errvan der Vegt, Marck; Watanabe, Kazuki; Hasuo, Ichiro; Junges, Sebastian
errShare
errSave
errCOMMUNICATIONS OF THE ACM
IF12.2
err2025-11-01
err0
PREAI
errKonighofer, Bettina; Bloem, Roderick; Jansen, Nils; Junges, Sebastian; Pranger, Stefan
errShare
errSave
errIEEE TRANSACTIONS ON AUTOMATIC CONTROL
IF7
err2022-12-01
err8
errOAAI
errCubuktepe, Murat; Jansen, Nils; Junges, Sebastian; Katoen, Joost-Pieter; Topcu, Ufuk
errShare
errSave
errIEEE TRANSACTIONS ON AUTOMATIC CONTROL
IF7
err2021-03-01
err6
errOAAI
errWinterer, Leonore; Junges, Sebastian; Wimmer, Ralf; Jansen, Nils; Topcu, Ufuk; Katoen, Joost-Pieter; Becker, Bernd
errShare
errSave
errRELIABILITY ENGINEERING & SYSTEM SAFETY
IF11
err2019-06-01
err38
PREAI
errGhadhab, Majdi; Junges, Sebastian; Katoen, Joost-Pieter; Kuntz, Matthias; Volk, Matthias
errShare
errSave
errIEEE TRANSACTIONS ON INDUSTRIAL INFORMATICS
IF9.9
err2018-01-01
err78
PREAI
errVolk, Matthias; Junges, Sebastian; Katoen, Joost-Pieter
errShare
errSave

Research Directions

No research directions
Co-authors
Cooperation Journals
J
Joost-Pieter Katoen
H-index: 58 · Papers: 636
U
Ufuk Topcu
H-index: 46 · Papers: 663
R
Roderick Bloem
H-index: 44 · Papers: 241
M
M. Küntz
H-index: 42 · Papers: 190
B
Bernd Becker
H-index: 39 · Papers: 686
View more