logo
科言猫学术研究的AI总结
language
手机端手机端
  • Phone Feature微信小程序
简体中文简体中文
notice消息通知
博客博客
delete
arrow
返回
K

Kuldeep S. Meel

university of toronto

25H指数
234论文数
2.2K被引数
收录论文 5
发表时间
logo
Solution-Aware Vs Global ReLU Selection: Partial MILP Strikes Back for DNN Verification解法感知与全局ReLU选择：部分MILP为DNN验证回归
errAUTOMATED TECHNOLOGY FOR VERIFICATION AND ANALYSIS, ATVA 2025
IF0
err2026-01-01
err0
PREAI
errLiao, Yuke; Genest, Blaise; Meel, Kuldeep; Aryaman, Shaan
err分享
err收藏
Counting and Sampling Traces in Regular Languages在正则语言中计数和采样轨迹
errProceedings of the ACM on Programming Languages-PACMPL
IF2.8
err2026-01-01
err0
PREAI
errDe Colnet, Alexis; Meel, Kuldeep S.; Mathur, Umang
err分享
err收藏
A Scalable t-Wise Coverage Estimator: Algorithms and Applications可扩展的t向覆盖估计器: 算法和应用
errIEEE TRANSACTIONS ON SOFTWARE ENGINEERING
IF5.6
err2024-08-01
err0
PREAI
errBaranov, Eduard; Chakraborty, Sourav; Legay, Axel; Meel, Kuldeep S.; Vinodchandran, N. Variyam
err分享
err收藏
Model Counting Meets Distinct Elements
errCOMMUNICATIONS OF THE ACM
IF12.2
err2023-08-23
err1
errOAAI
errPavan, A.; Vinodchandran, N. V.; Bhattacharyya, Arnab; Meel, Kuldeep S.
err分享
err收藏
Principled network reliability approximation: A counting-based approach
errRELIABILITY ENGINEERING & SYSTEM SAFETY
IF11
err2019-11-01
err19
errOAAI
errParedes, R.; Duenas-Osorio, L.; Meel, K. S.; Vardi, M. Y.
err分享
err收藏

研究方向

暂时未获取到该数据
合作学者
合作期刊
M
Moshe Y. Vardi
H 指数: 90 · 论文数: 869
L
Leonardo Dueñas‐Osorio
H 指数: 43 · 论文数: 154
A
Axel Legay
H 指数: 39 · 论文数: 536
U
Umang Mathur
H 指数: 21 · 论文数: 180
S
Sourav Chakraborty
H 指数: 17 · 论文数: 159
查看更多