Immediate Impact
25 standout
Citing Papers
A Comprehensive Review of Blockchain Consensus Mechanisms
2021 Standout
Blockchain for Future Smart Grid: A Comprehensive Survey
2020 Standout
Works of Stephan Merz being referenced
TLA+ Proofs
2012
Author Peers
| Author | Last Decade | Papers | Cites | |||
|---|---|---|---|---|---|---|
| Stephan Merz | 140 | 146 | 101 | 42 | 252 | |
| T. S. E. Maibaum | 156 | 194 | 56 | 42 | 274 | |
| José N. Oliveira | 72 | 111 | 54 | 42 | 203 | |
| Hubert Garavel | 180 | 116 | 99 | 23 | 267 | |
| Frédéric Lang | 139 | 102 | 85 | 23 | 221 | |
| Frank Valencia | 120 | 148 | 35 | 34 | 215 | |
| Laura K. Dillon | 186 | 136 | 154 | 29 | 273 | |
| Charles Pecheur | 124 | 93 | 73 | 27 | 207 | |
| Guy-Vincent Jourdan | 25 | 45 | 34 | 29 | 164 | |
| Adrian Francalanza | 125 | 139 | 77 | 47 | 227 | |
| Tim A. C. Willemse | 161 | 126 | 131 | 53 | 232 |
All Works
Login with ORCID to disown or claim papers
Loading papers...