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

Idan Refaeli

hebrew university of jerusalem

5H-index
18Paper Count
89Citation Count
Published Papers 1
Publication Date
logo
errVERIFICATION, MODEL CHECKING, AND ABSTRACT INTERPRETATION, VMCAI 2026
IF0
err2026-01-01
err0
PREAI
errIsac, Omri; Refaeli, Idan; Wu, Haoze; Barrett, Clark; Katz, Guy
errShare
errSave

Research Directions

No research directions
Co-authors
Cooperation Journals
G
Guy Katz
H-index: 18 · Papers: 65
C
C. BARRETT
H-index: 1 · Papers: 13
H
Haoze Wu
H-index: 0 · Papers: 5
O
Omri Isac
H-index: 0 · Papers: 2
All loaded