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 Mitsuhiro Okada being referenced
A rationale for conditional equational programming
1990
Conditional Equational Programming and the Theory of Conditional Term Rewriting.
1988
Author Peers
| Author | Last Decade | Papers | Cites | |||
|---|---|---|---|---|---|---|
| Mitsuhiro Okada | 97 | 86 | 7 | 16 | 124 | |
| S. Purushothaman Iyer | 61 | 98 | 6 | 12 | 122 | |
| Daniel Johannsen | 141 | 85 | 15 | 174 | ||
| Andreas Nonnengart | 82 | 43 | 13 | 89 | ||
| Hiroshi Unno | 60 | 62 | 7 | 19 | 79 | |
| Nicoletta Cocco | 97 | 92 | 17 | 168 | ||
| Luís Pinto | 84 | 69 | 17 | 93 | ||
| Ralf Wimmer | 45 | 66 | 1 | 20 | 83 | |
| Tatjana Petković | 90 | 165 | 16 | 18 | 197 | |
| Martin Avanzini | 83 | 63 | 19 | 91 | ||
| Luca Roversi | 104 | 96 | 14 | 123 |
All Works
Login with ORCID to disown or claim papers
Loading papers...