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

Samik Basu

Iowa State University

25H指数
202论文数
2.2K被引数
收录论文 4
发表时间
logo
Control of Non-Deterministic Systems With μ-Calculus Specifications Using Quotienting使用商控制具有 μ 微积分规格的非确定性系统
errIEEE-CAA JOURNAL OF AUTOMATICA SINICA
IF19.2
err2021-05-01
err4
PREAI
errBasu, Samik; Kumar, Ratnesh
err分享
err收藏
A Two-Phase Approximation for Model Checking Probabilistic Unbounded Until Properties of Probabilistic Systems
errACM TRANSACTIONS ON SOFTWARE ENGINEERING AND METHODOLOGY
IF6.2
err2012-07-03
err2
PREAI
errJennings, Paul; Ghosh, Arka P.; Basu, Samik
err分享
err收藏
On the symbiosis of specification-based and anomaly-based detection基于规范和基于异常的检测的共生
errCOMPUTERS & SECURITY
IF5.4
err2010-03-01
err19
PREAI
errStakhanova, Natalia; Basu, Samik; Wong, Johnny
err分享
err收藏
Model checking the Java metalocking algorithm模型检查Java metalocking算法
errACM TRANSACTIONS ON SOFTWARE ENGINEERING AND METHODOLOGY
IF6.2
err2007-07-01
err1
PREAI
errBasu, Samik; Smolka, Scott A.
err分享
err收藏

研究方向

暂时未获取到该数据
合作学者
合作期刊
R
Ratnesh Kumar
H 指数: 47 · 论文数: 403
S
Scott A. Smolka
H 指数: 42 · 论文数: 325
P
Paul C. Jennings
H 指数: 35 · 论文数: 129
J
Johnny Wong
H 指数: 27 · 论文数: 237
N
Natalia Stakhanova
H 指数: 23 · 论文数: 93
查看更多