Immediate Impact
2 standout
Citing Papers
A survey on security and privacy of federated learning
2020 Standout
Constructing Induction Rules for Deductive Synthesis Proofs
2006 Standout
Works of Pierre Réty being referenced
Basic narrowing revisited
1989
Author Peers
| Author | Last Decade | Papers | Cites | ||||
|---|---|---|---|---|---|---|---|
| Pierre Réty | 36 | 43 | 1 | 5 | 8 | 45 | |
| Joe Hurd | 38 | 53 | 12 | 7 | 59 | ||
| Healfdene Goguen | 18 | 28 | 4 | 6 | 30 | ||
| Martin Pollet | 17 | 31 | 1 | 9 | 7 | 31 | |
| Richard Owens | 19 | 37 | 1 | 7 | 9 | 41 | |
| David Janin | 43 | 35 | 2 | 9 | 9 | 48 | |
| Laurence Rideau | 26 | 27 | 7 | 7 | 34 | ||
| Larissa Meinicke | 21 | 24 | 4 | 9 | 30 | ||
| Hongfei Fu | 27 | 38 | 1 | 13 | 11 | 43 | |
| Oliver Friedmann | 41 | 41 | 7 | 12 | 50 | ||
| Jan Leike | 13 | 24 | 5 | 10 | 32 |
All Works
Loading papers...