Standout Papers
Immediate Impact
24 standout
Citing Papers
Software Vulnerability Detection Using Deep Neural Networks: A Survey
2020 Standout
From What to How: An Initial Review of Publicly Available AI Ethics Tools, Methods and Research to Translate Principles into Practices
2019 Standout
Works of Flavio Lerda being referenced
Model Checking Programs
2003 Standout
Author Peers
| Author | Last Decade | Papers | Cites | ||||
|---|---|---|---|---|---|---|---|
| Flavio Lerda | 250 | 307 | 5 | 189 | 10 | 450 | |
| Alex Groce | 209 | 360 | 4 | 150 | 31 | 484 | |
| David Monniaux | 324 | 183 | 10 | 286 | 29 | 469 | |
| He Jifeng | 298 | 105 | 1 | 322 | 24 | 463 | |
| F.B. Schneider | 192 | 90 | 5 | 251 | 15 | 399 | |
| Xavier Rival | 305 | 214 | 5 | 306 | 30 | 469 | |
| Leonardo de Moura | 208 | 137 | 21 | 254 | 18 | 423 | |
| R. W. Sherman | 225 | 182 | 13 | 198 | 5 | 460 | |
| Paul T. Ward | 136 | 164 | 2 | 210 | 9 | 452 | |
| Laurent Mauborgne | 284 | 201 | 5 | 353 | 19 | 510 | |
| Mark Trakhtenbrot | 179 | 157 | 13 | 140 | 6 | 385 |
All Works
Loading papers...