Immediate Impact
14 standout
Citing Papers
When Federated Learning Meets Privacy-Preserving Computation
2024 Standout
Genetic algorithms: theory, genetic operators, solutions, and applications
2023 Standout
Works of Toby Murray being referenced
An empirical research agenda for understanding formal methods productivity
2014
seL4: From General Purpose to a Proof of Information Flow Enforcement
2013
Author Peers
| Author | Last Decade | Papers | Cites | ||||
|---|---|---|---|---|---|---|---|
| Toby Murray | 284 | 127 | 92 | 96 | 36 | 360 | |
| René Rydhof Hansen | 130 | 145 | 92 | 92 | 54 | 391 | |
| Cynthia Irvine | 318 | 149 | 213 | 93 | 22 | 403 | |
| Pierre-Yves Strub | 304 | 79 | 89 | 72 | 31 | 369 | |
| Jay Ligatti | 286 | 103 | 145 | 35 | 22 | 354 | |
| Jonathan Aldrich | 242 | 126 | 24 | 40 | 52 | 394 | |
| F.B. Schneider | 251 | 124 | 26 | 56 | 15 | 399 | |
| Tom Chothia | 148 | 119 | 44 | 30 | 35 | 330 | |
| Mads Dam | 280 | 116 | 82 | 39 | 35 | 346 | |
| Zhong Shao | 333 | 137 | 57 | 130 | 60 | 399 | |
| Ana Cavalli | 95 | 129 | 61 | 84 | 59 | 402 |
All Works
Login with ORCID to disown or claim papers
Loading papers...