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

Thomas Reps

indian institute of technology (iit) - kanpur

71H指数
447论文数
2.0W被引数
收录论文 9
发表时间
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收藏
Software Model Checking via Summary-Guided Search基于摘要引导搜索的软件模型检测
errPROCEEDINGS OF THE ACM ON PROGRAMMING LANGUAGES-PACMPL
IF2.8
err2025-10-01
err0
PREAI
errFang, Ruijie; Kincaid, Zachary; Reps, Thomas
err分享
err收藏
Scalable Equivalence Checking and Verification of Shallow Quantum Circuits可扩展的浅量子电路等价性检查与验证
errPROCEEDINGS OF THE ACM ON PROGRAMMING LANGUAGES-PACMPL
IF2.8
err2025-10-01
err0
PREAI
errYu, Nengkun; Du Trinh, Xuan; Reps, Thomas
err分享
err收藏
ConMem: Detecting Crash-Triggering Concurrency Bugs through an Effect-Oriented ApproachConMem: 通过面向效果的方法检测触发崩溃的并发bug
errACM TRANSACTIONS ON SOFTWARE ENGINEERING AND METHODOLOGY
IF6.2
err2013-03-01
err8
PREAI
errZhang, Wei; Sun, Chong; Lim, Junghee; Lu, Shan; Reps, Thomas
err分享
err收藏
Design and implementation of a fine-grained software inspection tool
errIEEE TRANSACTIONS ON SOFTWARE ENGINEERING
IF5.6
err2003-08-01
err50
PREAI
errAnderson, P; Reps, T; Teitelbaum, T
err分享
err收藏
Tool support for fine-grained software inspection
errIEEE SOFTWARE
IF3
err2003-07-01
err26
PREAI
errAnderson, P; Reps, T; Teitelbaum, T; Zarins, M
err分享
err收藏
Identifying modules via concept analysis
errIEEE TRANSACTIONS ON SOFTWARE ENGINEERING
IF5.6
err1999-01-01
err69
errOAAI
errSiff, M; Reps, T
err分享
err收藏
Program analysis via graph reachability
errINFORMATION AND SOFTWARE TECHNOLOGY
IF4.3
err1998-12-01
err200
errOAAI
errReps, T
err分享
err收藏
THE CORNELL PROGRAM SYNTHESIZER - A SYNTAX-DIRECTED PROGRAMMING ENVIRONMENT
errCOMMUNICATIONS OF THE ACM
IF12.2
err1981-09-01
err314
errOAAI
errTEITELBAUM, T; REPS, T
err分享
err收藏

研究方向

暂时未获取到该数据
合作学者
合作期刊
P
Paul Anderson
H 指数: 50 · 论文数: 299
S
Shan Lu
H 指数: 45 · 论文数: 215
T
Tim Teitelbaum
H 指数: 29 · 论文数: 79
N
Nengkun Yu
H 指数: 25 · 论文数: 132
Z
Zachary Kincaid
H 指数: 19 · 论文数: 100
查看更多