Immediate Impact
1 standout
Citing Papers
FlowDroid
2014 Standout
Works of Bill McCloskey being referenced
Lifting abstract interpreters to quantified logical domains
2008
Author Peers
| Author | Last Decade | Papers | Cites | |||||
|---|---|---|---|---|---|---|---|---|
| Bill McCloskey | 4 | 4 | 5 | 8 | 7 | 3 | 13 | |
| Sascha Konrad | 7 | 2 | 5 | 7 | 5 | 3 | 16 | |
| John Plevyak | 5 | 8 | 7 | 11 | 4 | 2 | 17 | |
| Vinh Lam | 2 | 10 | 6 | 5 | 4 | 3 | 16 | |
| Peter Collingbourne | 7 | 6 | 5 | 4 | 3 | 2 | 12 | |
| Deepak Goyal | 2 | 4 | 5 | 6 | 3 | 4 | 12 | |
| Vineet Kahlon | 7 | 6 | 3 | 11 | 13 | 3 | 21 | |
| Will Marrero | 3 | 5 | 4 | 6 | 3 | 4 | 10 | |
| Juan Manuel Crespo | 4 | 6 | 3 | 14 | 8 | 3 | 19 | |
| Mona Vij | 4 | 4 | 3 | 9 | 3 | 3 | 15 | |
| Martin R. Neuhäußer | 9 | 3 | 3 | 9 | 15 | 4 | 19 |
All Works
Loading papers...