Immediate Impact
3 standout
Citing Papers
Blockchain-Enabled Smart Contracts: Architecture, Applications, and Future Trends
2019 Standout
Smart Contract Development: Challenges and Opportunities
2019 Standout
Works of Chucky Ellison being referenced
From Rewriting Logic Executable Semantics to Matching Logic Program Verification
2009
Author Peers
| Author | Last Decade | Papers | Cites | ||||
|---|---|---|---|---|---|---|---|
| Chucky Ellison | 65 | 22 | 41 | 40 | 9 | 90 | |
| Martin Jourdan | 61 | 21 | 37 | 23 | 11 | 92 | |
| Carl Bruggeman | 73 | 42 | 27 | 25 | 7 | 94 | |
| Nuno P. Lopes | 68 | 31 | 50 | 44 | 11 | 121 | |
| Ryan Culpepper | 74 | 21 | 25 | 32 | 8 | 82 | |
| Jon L. White | 41 | 19 | 42 | 26 | 7 | 86 | |
| Tillmann Rendel | 77 | 24 | 23 | 38 | 10 | 91 | |
| Wonchan Lee | 41 | 18 | 28 | 42 | 11 | 82 | |
| Allen Goldberg | 58 | 19 | 54 | 59 | 11 | 117 | |
| Torben Æ. Mogensen | 106 | 17 | 74 | 34 | 8 | 121 | |
| David Melski | 64 | 23 | 53 | 55 | 7 | 107 |
All Works
Loading papers...