Immediate Impact
19 standout
Citing Papers
Large Language Models for Software Engineering: A Systematic Literature Review
2024 Standout
Deep learning in neural networks: An overview
2014 Standout
Works of G. Huet being referenced
Proving and applying program transformations expressed with second-order patterns
1978
A unification algorithm for typed λ-calculus
1975
Author Peers
| Author | Last Decade | Papers | Cites | ||||
|---|---|---|---|---|---|---|---|
| G. Huet | 356 | 251 | 4 | 32 | 4 | 381 | |
| Jean‐Marc Andreoli | 374 | 261 | 6 | 17 | 13 | 408 | |
| W. R. Cleaveland | 305 | 226 | 2 | 32 | 4 | 338 | |
| N. P. Mendler | 362 | 270 | 2 | 35 | 4 | 395 | |
| Hugo Herbelin | 375 | 292 | 3 | 40 | 18 | 435 | |
| Jean-Christophe Filliâtre | 321 | 261 | 2 | 47 | 15 | 393 | |
| Stuart F. Allen | 384 | 280 | 2 | 34 | 9 | 427 | |
| Roger Hindley | 346 | 258 | 1 | 39 | 14 | 364 | |
| Todd B. Knoblock | 376 | 252 | 2 | 57 | 7 | 419 | |
| Eugene E. Kohlbecker | 246 | 149 | 7 | 93 | 8 | 351 | |
| William C. Rounds | 328 | 277 | 57 | 14 | 20 | 397 |
All Works
Loading papers...