Standout Papers
Immediate Impact
13 by Nobel laureates 45 from Science/Nature 72 standout
Citing Papers
The connectome of an insect brain
2023 StandoutScience
Dense reinforcement learning for safety validation of autonomous vehicles
2023 StandoutNature
Works of David Harel being referenced
Statemate: a working environment for the development of complex reactive systems
1988
On visual formalisms
1988 Standout
Author Peers
| Author | Last Decade | Papers | Cites | |||
|---|---|---|---|---|---|---|
| David Harel | 3545 | 3109 | 2192 | 163 | 8.4k | |
| Richard F. Helm | 3491 | 452 | 1530 | 150 | 11.2k | |
| Alfred V. Aho | 6626 | 4732 | 1776 | 69 | 13.5k | |
| Grzegorz Rozenberg | 2889 | 4178 | 956 | 366 | 7.3k | |
| V. J. Rayward‐Smith | 2914 | 1882 | 363 | 71 | 9.8k | |
| Jeffrey D. Ullman | 7565 | 3774 | 1474 | 158 | 15.1k | |
| Thomas A. Henzinger | 2745 | 4162 | 1689 | 170 | 6.3k | |
| Robin Milner | 5186 | 3938 | 740 | 56 | 6.8k | |
| John E. Hopcroft | 4162 | 5872 | 368 | 128 | 12.5k | |
| C. A. R. Hoare | 5422 | 4299 | 1383 | 91 | 9.2k | |
| Joost-Pieter Katoen | 2171 | 3269 | 1959 | 195 | 5.0k |
All Works
Login with ORCID to disown or claim papers
Loading papers...