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

Subhajit Roy

indian institute of technology system (iit system)

15H-index
106Paper Count
753Citation Count
Published Papers 7
Publication Date
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
errShare
errSave
Effects of Momentum-FluxRatio on POD and SPOD Modes in High-Speed Crossflow Jets
errApplied Sciences-Basel
IF2.5
err2026-01-30
err0
PREAI
errRoy, Subhajit; Araya, Guillermo
errShare
errSave
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
errShare
errSave
Specification Inference Modulo Oracles for Database-Backed Web Applications
errPROGRAMMING LANGUAGES AND SYSTEMS, APLAS 2025
IF0
err2026-01-01
err0
PREAI
errTrivedi, Nitesh; Roy, Subhajit
errShare
errSave
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
errShare
errSave
ShaVi-1.0: An interface enabled open source 2D acoustic full waveform inversion package
errCOMPUTERS & GEOSCIENCES
IF4.4
err2024-05-01
err0
PREAI
errVikas; Roy, Subhajit; Ghosal, Dibakar
errShare
errSave
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
errShare
errSave

Research Directions

No research directions
Co-authors
Cooperation Journals
T
Thomas Reps
H-index: 71 · Papers: 447
陈松 cover
陈松 (Song Chen)
H-index: 49 · Papers: 273
D
D. Ravelosona
H-index: 45 · Papers: 249
D
Damien Querlioz
H-index: 44 · Papers: 307
S
Shimpei Ono
H-index: 44 · Papers: 315
View more