影响力指数
论文质量、代表作、近期表现、广度与样本量置信度综合计算
3.44/100
超过 10.5%
全站排名 #57,639
发表论文2 篇
平均评分
年均产出2.0 篇/年
AI 学术分析
Benjamin Kiesl-Reiter
研究方向
automated reasoning · SAT solving · proof complexity · security protocols
automated reasoning · SAT solving · proof complexity · security protocols