Standout Papers
Immediate Impact
2 by Nobel laureates 3 from Science/Nature 66 standout
Citing Papers
Dense reinforcement learning for safety validation of autonomous vehicles
2023 StandoutNature
Transfer Learning in Deep Reinforcement Learning: A Survey
2023 Standout
Works of R. Milner being referenced
A Calculus of Communicating Systems
1980 Standout
Author Peers
| Author | Last Decade | Papers | Cites | ||||
|---|---|---|---|---|---|---|---|
| R. Milner | 1010 | 384 | 201 | 1197 | 6 | 1.7k | |
| John Backus | 1180 | 413 | 202 | 661 | 14 | 2.1k | |
| Lucas Dixon | 717 | 256 | 226 | 517 | 21 | 1.2k | |
| Gerard J. Holzmann | 941 | 462 | 354 | 1461 | 26 | 2.2k | |
| Jeremy Gow | 784 | 253 | 307 | 488 | 31 | 1.4k | |
| Joachim Parrow | 1698 | 801 | 382 | 1287 | 34 | 2.2k | |
| Kenneth L. McMillan | 737 | 327 | 121 | 1614 | 30 | 2.1k | |
| Jacques Fleuriot | 673 | 256 | 227 | 486 | 34 | 1.2k | |
| Wojciech Penczek | 1426 | 454 | 254 | 1615 | 68 | 2.2k | |
| Orna Grümberg | 954 | 182 | 128 | 1396 | 50 | 1.7k | |
| J. C. M. Baeten | 904 | 254 | 124 | 1158 | 87 | 1.5k |
All Works
Loading papers...