Standout Papers
Immediate Impact
3 by Nobel laureates 1 from Science/Nature 50 standout
Citing Papers
On the Tractability of SHAP Explanations
2022 Standout
Quo vadis artificial intelligence?
2022 Standout
Works of Bryant being referenced
Graph-Based Algorithms for Boolean Function Manipulation
1986 Standout
Author Peers
| Author | Last Decade | Papers | Cites | |||||
|---|---|---|---|---|---|---|---|---|
| Bryant | 902 | 372 | 1128 | 1978 | 1055 | 3 | 3.2k | |
| E. M. Clarke | 229 | 513 | 723 | 2994 | 1826 | 46 | 3.8k | |
| Thomas H. Cormen | 1153 | 2575 | 1089 | 1537 | 2247 | 13 | 7.5k | |
| Edmund M. Clarke | 141 | 345 | 428 | 1991 | 1245 | 72 | 2.8k | |
| D. E. Goldberg | 874 | 500 | 128 | 1008 | 2083 | 5 | 6.4k | |
| T. Murata | 202 | 874 | 860 | 3647 | 609 | 54 | 5.3k | |
| E. Allen Emerson | 97 | 412 | 398 | 2247 | 1640 | 34 | 2.8k | |
| Joseph Sifakis | 92 | 364 | 900 | 1996 | 969 | 83 | 2.8k | |
| Brian W. Kernighan | 1318 | 1794 | 1147 | 982 | 2001 | 47 | 6.7k | |
| Michael L. Fredman | 336 | 1007 | 258 | 1385 | 1100 | 41 | 3.3k | |
| A. Avižienis | 701 | 1509 | 608 | 244 | 687 | 27 | 3.0k |
All Works
Loading papers...