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

Ranjit Jhala

University of California System

52H-index
197Paper Count
1.1WCitation Count
Published Papers 3
Publication Date
logo
On the Impact of Formal Verification on Software Development
errPROCEEDINGS OF THE ACM ON PROGRAMMING LANGUAGES-PACMPL
IF2.8
err2025-10-01
err0
PREAI
errMugnier, Eric; Zhou, Yuanyuan; Jhala, Ranjit; Coblenz, Michael
errShare
errSave
Refinement Types: A Tutorial
errFOUNDATIONS AND TRENDS IN PROGRAMMING LANGUAGES
IF0.5
err2021-01-01
err16
errOAAI
errJhala, Ranjit; Vazou, Niki
errShare
errSave
Software Model Checking
errACM COMPUTING SURVEYS
IF28
err2009-10-09
err266
PREAI
errJhala, Ranjit; Majumdar, Rupak
errShare
errSave

Research Directions

The data has not been retrieved yet.
Co-authors
Cooperation Journals
R
Rupak Majumdar
H-index: 59 · Papers: 471
N
Niki Vazou
H-index: 14 · Papers: 62
M
Michael Coblenz
H-index: 12 · Papers: 54
Y
Yuanyuan Zhou
H-index: 2 · Papers: 6
E
Eric Mugnier
H-index: 2 · Papers: 6
All loaded