Holger Hermanns
论文数
3
总引用数
12
H-Index
2
关于
暂无简介。
研究焦点
Computer science2 · 10 次引用
Artificial intelligence2 · 10 次引用
Mathematics2 · 10 次引用
Probabilistic CTL1 · 9 次引用
Model checking1 · 9 次引用
Nondeterministic algorithm1 · 9 次引用
Probabilistic analysis of algorithms1 · 9 次引用
Algorithm1 · 9 次引用
Completeness (order theory)1 · 9 次引用
Probabilistic argumentation1 · 9 次引用
Probabilistic logic1 · 9 次引用
Probabilistic relevance model1 · 9 次引用
主要成就
2
H 指数
3
论文
12
总引用数
4
篇均引用
🏆 最高被引论文
Probabilistic CTL $$^{*}$$ : The Deductive Way
9 次引用 · 2016
📈 最高产年份: 2016 (1 论文)
🤝 主要合作者: 11
🏛 所属机构: Saarland University
代表论文
- 1Probabilistic CTL $$^{*}$$ : The Deductive Way9 次引用 · 2016
- 2
- 3
主要合作者
尚未生成