Gethin Norman
论文数
7
总引用数
120
H-Index
4
关于
暂无简介。
研究焦点
Computer science7 · 120 次引用
Model checking3 · 99 次引用
Distributed computing2 · 94 次引用
Human–computer interaction2 · 79 次引用
Theoretical computer science4 · 76 次引用
Game mechanics1 · 66 次引用
Turns, rounds and time-keeping systems in games1 · 66 次引用
Programming language1 · 66 次引用
Scalability1 · 66 次引用
Property (philosophy)1 · 66 次引用
Concurrency1 · 66 次引用
Video game design1 · 66 次引用
主要成就
4
H 指数
7
论文
120
总引用数
17
篇均引用
🏆 最高被引论文
PRISM-games 3.0: Stochastic Game Verification with Concurrency, Equilibria and Time
66 次引用 · 2020
📈 最高产年份: 2020 (2 论文)
🤝 主要合作者: 7
🏛 所属机构: University of Glasgow
代表论文
- 1
- 2
- 3
- 4
- 5
- 6
- 7
主要合作者
尚未生成