Immediate Impact
25 standout
Citing Papers
A Comprehensive Survey on Blockchain in Industrial Internet of Things: Motivations, Research Progresses, and Future Challenges
2022 Standout
The Oracle Problem in Software Testing: A Survey
2014 Standout
Works of Derek C. Oppen being referenced
The clearinghouse
1983
Simplification by Cooperating Decision Procedures
1979
Author Peers
| Author | Last Decade | Papers | Cites | |||
|---|---|---|---|---|---|---|
| Derek C. Oppen | 514 | 437 | 167 | 7 | 678 | |
| Stephen Brookes | 446 | 424 | 207 | 23 | 638 | |
| Chaim Katz | 400 | 259 | 94 | 8 | 708 | |
| M. Woodger | 410 | 270 | 98 | 10 | 774 | |
| Bernard Vauquois | 448 | 262 | 94 | 12 | 761 | |
| P. J. Landin | 637 | 427 | 135 | 8 | 758 | |
| Tommaso Bolognesi | 305 | 386 | 121 | 25 | 587 | |
| Ph. Schnoebelen | 289 | 457 | 105 | 21 | 586 | |
| Rishiyur S. Nikhil | 400 | 222 | 223 | 12 | 592 | |
| Helmut Veith | 403 | 439 | 153 | 36 | 707 | |
| Ron Koymans | 313 | 466 | 119 | 17 | 751 |
All Works
Loading papers...