Gethin Norman

University of Glasgow

论文数

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. 1
    PRISM-games 3.0: Stochastic Game Verification with Concurrency, Equilibria and Time
    66 次引用 · 2020
  2. 2
    Quantitative Verification: Formal Guarantees for Timeliness, Reliability and Performance
    28 次引用 · 2014
  3. 3
    Autonomous Agent Behaviour Modelled in PRISM – A Case Study
    13 次引用 · 2016
  4. 4
    Equilibria-Based Probabilistic Model Checking for Concurrent Stochastic Games
    5 次引用 · 2019
  5. 5
    Automatic verification of concurrent stochastic systems
    3 次引用 · 2021
  6. 6
    Autonomous Agent Behaviour Modelled in PRISM -- A Case Study
    3 次引用 · 2016
  7. 7
    Multi-player Equilibria Verification for Concurrent Stochastic Games
    2 次引用 · 2020

主要合作者

DPDavid Parker5 篇合著论文MKMarta Kwiatkowska4 篇合著论文GSGabriel Santos4 篇合著论文SMSándor M. Veres2 篇合著论文AMAlice Miller2 篇合著论文RHR. Hoffmann2 篇合著论文MIMurray Ireland2 篇合著论文
尚未生成