科言猫
学术研究的AI总结
首页
文献互助
订阅
我的收藏
科研工具
选题分析
论文总结
专利管理
未登录
返回
T
Thomas Reps
indian institute of technology (iit) - kanpur
71
H指数
447
论文数
2.0W
被引数
0
相关解读
订阅
收录论文
9
发表时间
发表时间
IF
被引数
Automated Abstract Transformer Synthesis for Reduced Product Domains
ACM Transactions on Software Engineering and Methodology
IF
6.2
2026-02-01
0
PRE
AI
Kumar, Pankaj; Reps, Thomas; Roy, Subhajit
分享
收藏
Software Model Checking via Summary-Guided Search
基于摘要引导搜索的软件模型检测
PROCEEDINGS OF THE ACM ON PROGRAMMING LANGUAGES-PACMPL
IF
2.8
2025-10-01
0
PRE
AI
Fang, Ruijie; Kincaid, Zachary; Reps, Thomas
分享
收藏
Scalable Equivalence Checking and Verification of Shallow Quantum Circuits
可扩展的浅量子电路等价性检查与验证
PROCEEDINGS OF THE ACM ON PROGRAMMING LANGUAGES-PACMPL
IF
2.8
2025-10-01
0
PRE
AI
Yu, Nengkun; Du Trinh, Xuan; Reps, Thomas
分享
收藏
ConMem: Detecting Crash-Triggering Concurrency Bugs through an Effect-Oriented Approach
ConMem: 通过面向效果的方法检测触发崩溃的并发bug
ACM TRANSACTIONS ON SOFTWARE ENGINEERING AND METHODOLOGY
IF
6.2
2013-03-01
8
PRE
AI
Zhang, Wei; Sun, Chong; Lim, Junghee; Lu, Shan; Reps, Thomas
分享
收藏
Design and implementation of a fine-grained software inspection tool
IEEE TRANSACTIONS ON SOFTWARE ENGINEERING
IF
5.6
2003-08-01
50
PRE
AI
Anderson, P; Reps, T; Teitelbaum, T
分享
收藏
Tool support for fine-grained software inspection
IEEE SOFTWARE
IF
3
2003-07-01
26
PRE
AI
Anderson, P; Reps, T; Teitelbaum, T; Zarins, M
分享
收藏
Identifying modules via concept analysis
IEEE TRANSACTIONS ON SOFTWARE ENGINEERING
IF
5.6
1999-01-01
69
OA
AI
Siff, M; Reps, T
分享
收藏
Program analysis via graph reachability
INFORMATION AND SOFTWARE TECHNOLOGY
IF
4.3
1998-12-01
200
OA
AI
Reps, T
分享
收藏
THE CORNELL PROGRAM SYNTHESIZER - A SYNTAX-DIRECTED PROGRAMMING ENVIRONMENT
COMMUNICATIONS OF THE ACM
IF
12.2
1981-09-01
314
OA
AI
TEITELBAUM, T; REPS, T
分享
收藏
研究方向
暂时未获取到该数据
合作学者
合作期刊
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
查看更多