Immediate Impact
6 standout
Citing Papers
Smart Contracts in Blockchain Technology: A Critical Review
2023 Standout
Anomaly Detection in Blockchain Networks: A Comprehensive Survey
2022 Standout
Works of Daejun Park being referenced
Semantics-based program verifiers for all languages
2016
Author Peers
| Author | Last Decade | Papers | Cites | |||||
|---|---|---|---|---|---|---|---|---|
| Daejun Park | 8 | 49 | 5 | 21 | 18 | 12 | 74 | |
| Christian Queinnec | 3 | 36 | 3 | 23 | 13 | 10 | 66 | |
| David Cooper | 5 | 53 | 9 | 16 | 27 | 10 | 89 | |
| Andreas Lochbihler | 4 | 46 | 8 | 7 | 12 | 13 | 65 | |
| Bernard Stépien | 6 | 42 | 7 | 22 | 17 | 10 | 71 | |
| Christoph Sprenger | 2 | 36 | 3 | 14 | 25 | 14 | 59 | |
| Paul B. Jackson | 2 | 38 | 3 | 10 | 16 | 10 | 70 | |
| Sanjam Garg | 9 | 78 | 12 | 33 | 24 | 14 | 91 | |
| Arjun Radhakrishna | 5 | 37 | 4 | 27 | 33 | 14 | 71 | |
| Phillip J. Windley | 2 | 31 | 2 | 17 | 31 | 13 | 62 | |
| Véronique Benzaken | 6 | 66 | 15 | 20 | 32 | 13 | 81 |
All Works
Login with ORCID to disown or claim papers
Loading papers...