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 Corrado Moiso being referenced
Logic and functional programming on distributed memory architectures
1990
An Extension of WAM for K-LEAF: A WAM-based Compilation of Conditional Narrowing.
1989
Author Peers
| Author | Last Decade | Papers | Cites | |||
|---|---|---|---|---|---|---|
| Corrado Moiso | 63 | 56 | 8 | 6 | 71 | |
| Jim Grundy | 43 | 47 | 17 | 9 | 61 | |
| Kurt Sieber | 41 | 32 | 4 | 7 | 49 | |
| Sascha Böhme | 82 | 62 | 9 | 7 | 90 | |
| Vincent Balat | 47 | 29 | 10 | 6 | 57 | |
| Jesper G. Henriksen | 72 | 76 | 7 | 8 | 94 | |
| Andrzej Trybulec | 72 | 58 | 4 | 9 | 90 | |
| Bruno Pagano | 34 | 32 | 19 | 6 | 53 | |
| Anders B. Sandholm | 48 | 37 | 10 | 8 | 64 | |
| Geoffrey Burn | 73 | 53 | 12 | 9 | 83 | |
| Daniel Kühlwein | 50 | 22 | 5 | 8 | 56 |
All Works
Loading papers...