Immediate Impact
1 by Nobel laureates 50 standout
Citing Papers
Security and Privacy in Smart Farming: Challenges and Opportunities
2020 Standout
Blockchain-Assisted Secure Device Authentication for Cross-Domain Industrial IoT
2020 Standout
Works of Jack B. Dennis being referenced
Programming semantics for multiprogrammed computations
1983
Programming semantics for multiprogrammed computations
1966
Author Peers
| Author | Last Decade | Papers | Cites | |||
|---|---|---|---|---|---|---|
| Jack B. Dennis | 530 | 358 | 340 | 39 | 842 | |
| Narain Gehani | 439 | 228 | 337 | 60 | 750 | |
| Sape J. Mullender | 720 | 254 | 160 | 78 | 882 | |
| John Rushby | 244 | 200 | 393 | 34 | 893 | |
| Ehab Al‐Shaer | 599 | 244 | 310 | 65 | 815 | |
| Richard D. Schlichting | 671 | 298 | 139 | 38 | 754 | |
| Bowen Alpern | 372 | 240 | 467 | 23 | 876 | |
| J. Gecsei | 622 | 441 | 130 | 18 | 834 | |
| Bruno Blanchet | 448 | 133 | 552 | 26 | 865 | |
| David F. Bacon | 337 | 422 | 257 | 54 | 806 | |
| Ali R. Hurson | 448 | 131 | 202 | 63 | 668 |
All Works
Loading papers...