Immediate Impact
6 from Science/Nature 63 standout
Citing Papers
Dense reinforcement learning for safety validation of autonomous vehicles
2023 StandoutNature
Pathways for horizontal gene transfer in bacteria revealed by a global map of their plasmids
2020 Standout
Works of David Gries being referenced
Programming pearls
1987
Verifying properties of parallel programs
1976
Author Peers
| Author | Last Decade | Papers | Cites | |||
|---|---|---|---|---|---|---|
| David Gries | 1605 | 1253 | 812 | 113 | 3.0k | |
| Niklaus Wirth | 2215 | 1190 | 1004 | 82 | 4.1k | |
| Ellis Horowitz | 870 | 567 | 973 | 44 | 3.0k | |
| Peter Wegner | 1161 | 526 | 553 | 93 | 2.0k | |
| Manuel Blum | 2461 | 1738 | 653 | 45 | 4.4k | |
| Guy L. Steele | 1912 | 710 | 1338 | 60 | 3.4k | |
| Mary Shaw | 1763 | 253 | 964 | 142 | 3.2k | |
| Richard E. Ladner | 2364 | 1775 | 824 | 118 | 4.5k | |
| Jeff Kramer | 1731 | 580 | 873 | 106 | 2.8k | |
| Alan Bundy | 1811 | 915 | 460 | 172 | 2.6k | |
| Sanjit A. Seshia | 869 | 511 | 546 | 98 | 2.3k |
All Works
Login with ORCID to disown or claim papers
Loading papers...