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
2 intermediate papers

Works of Rachid Echahed being referenced

A needed narrowing strategy
1994
On completeness of narrowing strategies
1990

Author Peers

Author Last Decade Papers Cites
Rachid Echahed 25 21 5 16 18 33
Gudmund Grov 34 17 8 13 21 56
Tobias Heindel 22 20 6 17 11 37
Keijiro Araki 15 12 4 11 12 31
Arnaud Sangnier 22 28 7 11 16 38
Jeroen J. A. Keiren 24 34 8 22 13 48
Thomas Gibson−Robinson 17 19 7 9 14 40
Hongfei Fu 38 27 3 13 11 43
Benjamin Monmege 24 33 2 11 11 43
Wolfram Kahl 27 17 3 11 19 40
Hiroshi Hosobe 13 17 6 6 12 38

All Works

Loading papers...

Rankless by CCL
2026