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

K. Rustan M. Leino

Microsoft

51H-index
174Paper Count
1.2WCitation Count
Published Papers 3
Publication Date
logo
errACM COMPUTING SURVEYS
IF28
err2012-06-14
err74
PREAI
errHatcliff, John; Leavens, Gary T.; Leino, K. Rustan M.; Mueller, Peter; Parkinson, Matthew
errShare
errSave
errCOMMUNICATIONS OF THE ACM
IF12.2
err2011-06-01
err96
PREAI
errBarnett, Mike; Faehndrich, Manuel; Leino, K. Rustan M.; Mueller, Peter; Schulte, Wolfram; Venter, Herman
errShare
errSave
errCOMMUNICATIONS OF THE ACM
IF12.2
err2010-06-01
err2
PREAI
errLeino, K. Rustan M.
errShare
errSave

Research Directions

No research directions
Co-authors
Cooperation Journals
W
Wolfram Schulte
H-index: 46 · Papers: 239
M
Manuel Fähndrich
H-index: 42 · Papers: 124
G
Gary T. Leavens
H-index: 41 · Papers: 245
J
John Hatcliff
H-index: 40 · Papers: 209
P
Péter Müller
H-index: 36 · Papers: 331
View more