影响力指数
3.46/100
超过 10.5%
全站排名 #57,588
发表论文3
平均评分4.3
年均产出1.5 篇/年
AI 学术分析

Thomas Reps

Emeritus@University of Wisconsin - Madison·美国·OpenReview
研究方向

Quantum-circuit simulation · Program synthesis · Abstract interpretation · Program analysis · Program slicing · Incremental computing · Attribute grammars · Machine-code analysis · Model checking concurrent programs · Program profiling

发表论文3