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

John Hatcliff

kansas state university

40H-index
209Paper Count
5.8KCitation Count
Published Papers 3
Publication Date
logo
errFORMAL METHODS FOR INDUSTRIAL CRITICAL SYSTEMS, FMICS 2025
IF0
err2026-01-01
err0
PREAI
errHatcliff, John; Belt, Jason; Robby; McKenzie, Clint; Liang, Catalina
errShare
errSave
errACM COMPUTING SURVEYS
IF28
err2012-06-14
err74
PREAI
errHatcliff, John; Leavens, Gary T.; Leino, K. Rustan M.; Mueller, Peter; Parkinson, Matthew
errShare
errSave
errPROCEEDINGS OF THE IEEE
IF25.9
err2012-01-01
err251
errOAAI
errLee, Insup; Sokolsky, Oleg; Chen, Sanjian; Hatcliff, John; Jee, Eunkyoung; Kim, BaekGyu; King, Andrew; Mullen-Fortino, Margaret; Park, Soojin; Roederer, Alexander; Venkatasubramanian, Krishna K.
errShare
errSave

Research Directions

No research directions
Co-authors
Cooperation Journals
S
Soo‐Jin Park
H-index: 121 · Papers: 2.4K
K
K. Rustan M. Leino
H-index: 51 · Papers: 174
O
Oleg Sokolsky
H-index: 46 · Papers: 367
A
Andrew P. King
H-index: 41 · Papers: 512
G
Gary T. Leavens
H-index: 41 · Papers: 245
View more