Immediate Impact
3 standout
Citing Papers
A survey on blockchain technology and its security
2022 Standout
Systematic Review of Security Vulnerabilities in Ethereum Blockchain Smart Contract
2022 Standout
Works of Lennart Beringer being referenced
Position paper: the science of deep specification
2017
Program Logics for Certified Compilers
2014
Author Peers
| Author | Last Decade | Papers | Cites | |||
|---|---|---|---|---|---|---|
| Lennart Beringer | 164 | 99 | 57 | 15 | 181 | |
| Arthur Charguéraud | 190 | 106 | 64 | 16 | 212 | |
| Sandrine Blazy | 154 | 90 | 33 | 20 | 175 | |
| Ian Stark | 183 | 107 | 47 | 23 | 212 | |
| Ramana Kumar | 214 | 132 | 45 | 18 | 237 | |
| Zoltán Somogyi | 121 | 63 | 50 | 13 | 146 | |
| Aleš Bizjak | 187 | 106 | 85 | 9 | 205 | |
| Filip Sieczkowski | 206 | 104 | 92 | 12 | 225 | |
| Amin Timany | 193 | 114 | 96 | 24 | 216 | |
| John Launchbury | 137 | 79 | 25 | 22 | 172 | |
| Jérôme Vouillon | 143 | 82 | 71 | 12 | 184 |
All Works
Login with ORCID to disown or claim papers
Loading papers...