Gabriel Santos

University of Oxford

论文数

4

总引用数

76

H-Index

3

关于

暂无简介。

研究焦点

Theoretical computer science4 · 76 次引用
Computer science4 · 76 次引用
Model checking2 · 71 次引用
Turns, rounds and time-keeping systems in games1 · 66 次引用
Scalability1 · 66 次引用
Programming language1 · 66 次引用
Human–computer interaction1 · 66 次引用
Game mechanics1 · 66 次引用
Distributed computing1 · 66 次引用
Concurrency1 · 66 次引用
Property (philosophy)1 · 66 次引用
Video game design1 · 66 次引用

主要成就

3
H 指数
4
论文
76
总引用数
19
篇均引用
🏆 最高被引论文
PRISM-games 3.0: Stochastic Game Verification with Concurrency, Equilibria and Time
66 次引用 · 2020
📈 最高产年份: 2020 (2 论文)
🤝 主要合作者: 3
🏛 所属机构: University of Oxford

代表论文

  1. 1
    PRISM-games 3.0: Stochastic Game Verification with Concurrency, Equilibria and Time
    66 次引用 · 2020
  2. 2
    Equilibria-Based Probabilistic Model Checking for Concurrent Stochastic Games
    5 次引用 · 2019
  3. 3
    Automatic verification of concurrent stochastic systems
    3 次引用 · 2021
  4. 4
    Multi-player Equilibria Verification for Concurrent Stochastic Games
    2 次引用 · 2020

主要合作者

MKMarta Kwiatkowska4 篇合著论文GNGethin Norman4 篇合著论文DPDavid Parker4 篇合著论文
尚未生成