Immediate Impact
3 standout
Citing Papers
Systematic Review of Security Vulnerabilities in Ethereum Blockchain Smart Contract
2022 Standout
A Systematic Survey of Industrial Internet of Things Security: Requirements and Fog Computing Opportunities
2020 Standout
Works of Richard Bubel being referenced
Deductive Software Verification – The KeY Book
2016
Author Peers
| Author | Last Decade | Papers | Cites | |||
|---|---|---|---|---|---|---|
| Richard Bubel | 141 | 76 | 86 | 18 | 187 | |
| Joseph R. Kiniry | 169 | 109 | 94 | 16 | 240 | |
| Wojciech Mostowski | 126 | 62 | 65 | 18 | 162 | |
| Roderick Chapman | 96 | 66 | 66 | 18 | 208 | |
| Willem-Paul de Roever | 172 | 137 | 66 | 13 | 235 | |
| Uwe Kastens | 190 | 88 | 92 | 21 | 262 | |
| Natasha Sharygina | 93 | 121 | 122 | 31 | 194 | |
| Sharon Shoham | 135 | 123 | 75 | 31 | 200 | |
| John Boyland | 184 | 70 | 51 | 15 | 219 | |
| Francesco Logozzo | 100 | 66 | 83 | 22 | 169 | |
| Stefan Schwoon | 131 | 161 | 66 | 13 | 208 |
All Works
Loading papers...