Gabriel Santos

University of Oxford

Papers

4

Total Citations

76

H-Index

3

About

No biography available yet.

Research Focus

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

Key Achievements

3
H-Index
4
Papers
76
Total Citations
19
Avg Citations/Paper
🏆 Most Cited Paper
PRISM-games 3.0: Stochastic Game Verification with Concurrency, Equilibria and Time
66 citations · 2020
📈 Most Prolific Year: 2020 (2 Papers)
🤝 Key Collaborators: 3
🏛 Institutions: University of Oxford

Top Papers

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

Key Collaborators

MKMarta Kwiatkowska4 shared papersGNGethin Norman4 shared papersDPDavid Parker4 shared papers
Not generated yet