PaperHub
影响力指数
39.17/100
前 15%
全站排名 #9,664
发表论文2 篇
平均评分6.5
年均产出1.0 篇/年
AI 学术分析

Pascal Bergsträßer

Postdoc@Universität Kaiserslautern·德国·OpenReview
研究方向

Automata Theory · Logic · Formal Verification · FLaNN

发表论文（2 篇）

合作者 (4)