Immediate Impact
25 standout
Citing Papers
Digital twins in safety analysis, risk assessment and emergency management
2024 Standout
An All-Inclusive Taxonomy and Critical Review of Blockchain-Assisted Authentication and Session Key Generation Protocols for IoT
2024 Standout
Works of Gethin Norman being referenced
A game-based abstraction-refinement framework for Markov decision processes
2010
PRISM
2009
Author Peers
| Author | Last Decade | Papers | Cites | |||
|---|---|---|---|---|---|---|
| Gethin Norman | 894 | 505 | 457 | 58 | 1.4k | |
| David Parker | 841 | 477 | 505 | 95 | 1.6k | |
| Bengt Jönsson | 974 | 566 | 742 | 65 | 1.4k | |
| Jane Hillston | 711 | 217 | 364 | 109 | 1.6k | |
| Susanna Donatelli | 544 | 137 | 141 | 43 | 1.1k | |
| João Marques‐Silva | 874 | 365 | 872 | 108 | 1.6k | |
| Sergio Yovine | 1365 | 585 | 464 | 34 | 1.6k | |
| G. Franceschinis | 623 | 199 | 147 | 41 | 1.2k | |
| Frits Vaandrager | 999 | 410 | 759 | 83 | 1.5k | |
| Martin Leucker | 590 | 510 | 535 | 61 | 1.1k | |
| Orna Grümberg | 1396 | 818 | 954 | 50 | 1.7k |
All Works
Login with ORCID to disown or claim papers
Loading papers...