Immediate Impact
4 standout
Citing Papers
The Oracle Problem in Software Testing: A Survey
2014 Standout
Constructing Induction Rules for Deductive Synthesis Proofs
2006 Standout
Works of Stéphane Kaplan being referenced
Simplifying conditional term rewriting systems : Unification, termination and confluence
1987
Conditional rewrite rules
1984
Author Peers
| Author | Last Decade | Papers | Cites | ||||
|---|---|---|---|---|---|---|---|
| Stéphane Kaplan | 142 | 103 | 7 | 16 | 8 | 150 | |
| Johannes Waldmann | 152 | 122 | 9 | 15 | 16 | 165 | |
| Juan José Moreno-Navarro | 67 | 51 | 6 | 15 | 8 | 75 | |
| Carsten Fuhs | 80 | 69 | 9 | 30 | 12 | 94 | |
| Didier Caucal | 75 | 107 | 11 | 15 | 9 | 120 | |
| Eyal Yardeni | 97 | 74 | 13 | 21 | 8 | 101 | |
| Emmanuel Kounalis | 95 | 61 | 8 | 17 | 11 | 109 | |
| Dirk Taubner | 55 | 81 | 15 | 14 | 9 | 98 | |
| Kevin Millikin | 120 | 73 | 10 | 11 | 14 | 123 | |
| James J. Horning | 150 | 82 | 11 | 12 | 8 | 184 | |
| Paul Hoogendijk | 96 | 86 | 15 | 18 | 9 | 116 |
All Works
Loading papers...