PaperHub
影响力指数
28.94/100
前 25.6%
全站排名 #16,508
发表论文2 篇
平均评分5.8
年均产出2.0 篇/年
AI 学术分析

R Majumdar

Scietific Director@MPI-SWS·德国·OpenReview
研究方向

Formal methods · Model checking · Temporal logic

发表论文（2 篇）

合作者 (5)