Immediate Impact
36 standout
Citing Papers
Agent-Based Modeling in Economics and Finance: Past, Present, and Future
2025 Standout
Smart contract applications within blockchain technology: A systematic mapping study
2018 Standout
Works of Gérard Huet being referenced
The Zipper
1997
Confluent Reductions: Abstract Properties and Applications to Term Rewriting Systems
1980
Author Peers
| Author | Last Decade | Papers | Cites | ||||
|---|---|---|---|---|---|---|---|
| Gérard Huet | 1493 | 1075 | 120 | 234 | 31 | 1.7k | |
| Prakash Panangaden | 1301 | 888 | 113 | 238 | 101 | 1.9k | |
| Glynn Winskel | 1016 | 1144 | 97 | 353 | 94 | 1.6k | |
| Samson Abramsky | 1630 | 1243 | 96 | 183 | 96 | 1.9k | |
| Eugenio Moggi | 1108 | 674 | 125 | 159 | 31 | 1.2k | |
| Nachum Dershowitz | 1197 | 980 | 64 | 116 | 105 | 1.6k | |
| J. W. Thatcher | 951 | 982 | 42 | 158 | 27 | 1.3k | |
| Peter W. O’Hearn | 1237 | 755 | 230 | 469 | 52 | 1.5k | |
| Jesse B. Wright | 949 | 969 | 46 | 105 | 30 | 1.2k | |
| Andrew M. Pitts | 1419 | 1013 | 61 | 150 | 62 | 1.6k | |
| Robert McNaughton | 1030 | 1276 | 122 | 362 | 47 | 2.0k |
All Works
Loading papers...