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

Jean-François Raskin

universite de rennes

39H-index
330Paper Count
5.4KCitation Count
Published Papers 4
Publication Date
logo
errAUTOMATED TECHNOLOGY FOR VERIFICATION AND ANALYSIS, ATVA 2025
IF0
err2026-01-01
err0
PREAI
errMajumdar, Anirban; Mukherjee, Sayan; Raskin, Jean -Francois
errShare
errSave
errMACHINE LEARNING
IF2.9
err2022-06-23
err2
errOAAI
errYang, Wen-Chi; Raskin, Jean-Francois; De Raedt, Luc
errShare
errSave
errCOMMUNICATIONS OF THE ACM
IF12.2
err2015-01-28
err2
PREAI
errHenzinger, Thomas A.; Raskin, Jean-Francois
errShare
errSave
errIEEE TRANSACTIONS ON SOFTWARE ENGINEERING
IF5.6
err2013-08-01
err167
PREAI
errClassen, Andreas; Cordy, Maxime; Schobbens, Pierre-Yves; Heymans, Patrick; Legay, Axel; Raskin, Jean-Francois
errShare
errSave

Research Directions

No research directions
Co-authors
Cooperation Journals
T
Thomas A. Henzinger
H-index: 97 · Papers: 724
L
Luc De Raedt
H-index: 66 · Papers: 684
P
Patrick Heymans
H-index: 38 · Papers: 213
P
Pierre‐Yves Schobbens
H-index: 32 · Papers: 208
A
Andreas Claßen
H-index: 25 · Papers: 50
View more