PaperHub
影响力指数
41.7/100
前 13.2%
全站排名 #8,517
发表论文3 篇
平均评分5.8
年均产出1.5 篇/年
AI 学术分析

Martin Lange

Full Professor@University of Kassel·德国·OpenReview
研究方向

formal methods · model checking · verification · logic

发表论文（3 篇）

合作者 (4)