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

Kuldeep S. Meel

university of toronto

25H-index
234Paper Count
2.2KCitation Count
Published Papers 5
Publication Date
logo
errAUTOMATED TECHNOLOGY FOR VERIFICATION AND ANALYSIS, ATVA 2025
IF0
err2026-01-01
err0
PREAI
errLiao, Yuke; Genest, Blaise; Meel, Kuldeep; Aryaman, Shaan
errShare
errSave
errProceedings of the ACM on Programming Languages-PACMPL
IF2.8
err2026-01-01
err0
PREAI
errDe Colnet, Alexis; Meel, Kuldeep S.; Mathur, Umang
errShare
errSave
errIEEE TRANSACTIONS ON SOFTWARE ENGINEERING
IF5.6
err2024-08-01
err0
PREAI
errBaranov, Eduard; Chakraborty, Sourav; Legay, Axel; Meel, Kuldeep S.; Vinodchandran, N. Variyam
errShare
errSave
errCOMMUNICATIONS OF THE ACM
IF12.2
err2023-08-23
err1
errOAAI
errPavan, A.; Vinodchandran, N. V.; Bhattacharyya, Arnab; Meel, Kuldeep S.
errShare
errSave
errRELIABILITY ENGINEERING & SYSTEM SAFETY
IF11
err2019-11-01
err19
errOAAI
errParedes, R.; Duenas-Osorio, L.; Meel, K. S.; Vardi, M. Y.
errShare
errSave

Research Directions

No research directions
Co-authors
Cooperation Journals
M
Moshe Y. Vardi
H-index: 90 · Papers: 869
L
Leonardo Dueñas‐Osorio
H-index: 43 · Papers: 154
A
Axel Legay
H-index: 39 · Papers: 536
U
Umang Mathur
H-index: 21 · Papers: 180
S
Sourav Chakraborty
H-index: 17 · Papers: 159
View more