Immediate Impact
2 from Science/Nature 56 standout
Citing Papers
Knowledge Graphs: Opportunities and Challenges
2023 Standout
Forecasting: theory and practice
2022 Standout
Works of J. C. Shepherdson being referenced
Partial evaluation in logic programming
1991
Algorithmic information theory
1988
Author Peers
| Author | Last Decade | Papers | Cites | |||
|---|---|---|---|---|---|---|
| J. C. Shepherdson | 890 | 807 | 152 | 54 | 1.3k | |
| Anil Nerode | 864 | 684 | 202 | 75 | 1.4k | |
| Calvin C. Elgot | 1132 | 882 | 88 | 35 | 1.4k | |
| Albert R. Meyer | 1011 | 848 | 114 | 55 | 1.3k | |
| Nachum Dershowitz | 980 | 1197 | 62 | 105 | 1.6k | |
| Robert Goldblatt | 1040 | 1208 | 105 | 67 | 1.6k | |
| Jesse B. Wright | 969 | 949 | 52 | 30 | 1.2k | |
| Raymond M. Smullyan | 873 | 1098 | 76 | 63 | 1.5k | |
| J.J.M.M. Rutten | 816 | 930 | 142 | 57 | 1.2k | |
| Ronald C. Read | 885 | 212 | 496 | 62 | 1.6k | |
| John V. Tucker | 717 | 596 | 50 | 110 | 1.0k |
All Works
Loading papers...