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

Parasara Sridhar Duggirala

indian statistical institute kolkata

18H指数
71论文数
1.1K被引数
收录论文 2
发表时间
logo
A Formal Approach towards Safe and Stable Schedule Synthesis in Weakly Hard Control Systems弱实时控制系统安全且稳定的调度综合的正式方法
errACM TRANSACTIONS ON EMBEDDED COMPUTING SYSTEMS
IF2.6
err2025-09-01
err0
PREAI
errBanerjee, Debarpita; Duggirala, Parasara Sridhar; Ghosh, Bineet; Ghosh, Sumana
err分享
err收藏
Extracting counterexamples induced by safety violation in linear hybrid systems
errAUTOMATICA
IF5.9
err2020-07-01
err3
errOAAI
errGoyal, Manish; Duggirala, Parasara Sridhar
err分享
err收藏

研究方向

暂时未获取到该数据
合作学者
合作期刊
B
B. K. Ghosh
H 指数: 16 · 论文数: 82
S
Sumana Ghosh
H 指数: 6 · 论文数: 43
M
Manish Goyal
H 指数: 3 · 论文数: 14
B
Banerjee, Debarpita
H 指数: 0 · 论文数: 1
已加载全部