Immediate Impact
2 standout
Citing Papers
Systematic Review of Security Vulnerabilities in Ethereum Blockchain Smart Contract
2022 Standout
Blockchain-empowered Federated Learning: Challenges, Solutions, and Future Directions
2022 Standout
Works of Aquinas Hobor being referenced
Program Logics for Certified Compilers
2014
Author Peers
| Author | Last Decade | Papers | Cites | |||
|---|---|---|---|---|---|---|
| Aquinas Hobor | 119 | 84 | 32 | 10 | 122 | |
| Jan Schwinghammer | 138 | 83 | 42 | 14 | 149 | |
| Robert Dockins | 94 | 67 | 24 | 9 | 96 | |
| Georg Neis | 141 | 90 | 34 | 12 | 147 | |
| Kristian Støvring | 157 | 91 | 43 | 16 | 164 | |
| Venanzio Capretta | 154 | 111 | 26 | 12 | 169 | |
| Gregory Malecha | 91 | 56 | 24 | 11 | 101 | |
| Matthieu Sozeau | 113 | 86 | 16 | 15 | 121 | |
| Assia Mahboubi | 80 | 76 | 16 | 12 | 111 | |
| Gordon Stewart | 74 | 44 | 22 | 11 | 83 | |
| Joseph Tassarotti | 96 | 48 | 45 | 15 | 110 |
All Works
Loading papers...