Immediate Impact
1 standout
Citing Papers
Large Language Models for Software Engineering: A Systematic Literature Review
2024 Standout
Works of Thérèse Hardin being referenced
Unification via Explicit Substitutions: The Case of Higher-Order Patterns.
1996
Author Peers
| Author | Last Decade | Papers | Cites | |||
|---|---|---|---|---|---|---|
| Thérèse Hardin | 264 | 179 | 24 | 15 | 276 | |
| Jean-Jacques Lévy | 285 | 224 | 42 | 14 | 318 | |
| Wayne Snyder | 198 | 147 | 36 | 18 | 249 | |
| Roland Bol | 261 | 144 | 30 | 17 | 297 | |
| Roy L. Crole | 210 | 123 | 33 | 20 | 239 | |
| Ian Stark | 183 | 107 | 47 | 23 | 212 | |
| Venanzio Capretta | 154 | 111 | 26 | 12 | 169 | |
| Mario Rodríguez-Artalejo | 157 | 128 | 22 | 20 | 171 | |
| Lasse R. Nielsen | 192 | 104 | 19 | 17 | 197 | |
| Harry G. Mairson | 143 | 96 | 35 | 19 | 165 | |
| Joshua S. Hodas | 231 | 155 | 26 | 10 | 239 |
All Works
Loading papers...