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

Subhajit Roy

indian institute of technology system (iit system)

15H指数
106论文数
753被引数
收录论文 7
发表时间
logo
Automated Abstract Transformer Synthesis for Reduced Product Domains
errACM Transactions on Software Engineering and Methodology
IF6.2
err2026-02-01
err0
PREAI
errKumar, Pankaj; Reps, Thomas; Roy, Subhajit
err分享
err收藏
Effects of Momentum-FluxRatio on POD and SPOD Modes in High-Speed Crossflow Jets高速交叉流射流中动量通量比对POD和SPOD模态的影响
errApplied Sciences-Basel
IF2.5
err2026-01-30
err0
PREAI
errRoy, Subhajit; Araya, Guillermo
err分享
err收藏
Inductive Generalization in Reinforcement Learning from Specifications基于规范的强化学习中的归纳泛化
errAUTOMATED TECHNOLOGY FOR VERIFICATION AND ANALYSIS, ATVA 2025
IF0
err2026-01-01
err0
PREAI
errSubramanian, Vignesh; Kushwah, Rohit; Roy, Subhajit; Bansall, Suguman
err分享
err收藏
Specification Inference Modulo Oracles for Database-Backed Web Applications基于数据库的Web应用程序的规范推断模算子
errPROGRAMMING LANGUAGES AND SYSTEMS, APLAS 2025
IF0
err2026-01-01
err0
PREAI
errTrivedi, Nitesh; Roy, Subhajit
err分享
err收藏
Memory-Safety Verification of Open Programs with Angelic Assumptions基于天使假设的开源程序内存安全性验证
errPROCEEDINGS OF THE ACM ON PROGRAMMING LANGUAGES-PACMPL
IF2.8
err2025-10-01
err0
PREAI
errTakhar, Gourav; Bijlani, Baldip; Chatterjee, Prantik; Lal, Akash; Roy, Subhajit
err分享
err收藏
ShaVi-1.0: An interface enabled open source 2D acoustic full waveform inversion packageShaVi-1.0: 一个支持接口的开源二维声波全波形反演软件包
errCOMPUTERS & GEOSCIENCES
IF4.4
err2024-05-01
err0
PREAI
errVikas; Roy, Subhajit; Ghosal, Dibakar
err分享
err收藏
Magneto-Ionics in Annealed W/CoFeB/HfO2 Thin Films
errADVANCED MATERIALS INTERFACES
IF4.4
err2022-07-11
err14
errOAAI
errPachat, Rohit; Ourdani, Djoudi; Syskaki, Maria-Andromachi; Lamperti, Alessio; Roy, Subhajit; Chen, Song; Di Pietro, Adriano; Largeau, Ludovic; Juge, Romeo; Massouras, Maryam; Balan, Cristina; van der Jagt, Johannes Wilhelmus; Agnus, Guillaume; Roussigne, Yves; Gabor, Mihai; Cherif, Salim Mourad; Durin, Gianfranco; Ono, Shimpei; Langer, Jurgen; Querlioz, Damien; Ravelosona, Dafine; Belmeguenai, Mohamed; Diez, Liza Herrera
err分享
err收藏

研究方向

暂时未获取到该数据
合作学者
合作期刊
T
Thomas Reps
H 指数: 71 · 论文数: 447
陈松 封面图
陈松 (Song Chen)
H 指数: 49 · 论文数: 275
D
D. Ravelosona
H 指数: 45 · 论文数: 249
D
Damien Querlioz
H 指数: 44 · 论文数: 307
S
Shimpei Ono
H 指数: 44 · 论文数: 317
查看更多