Scholarly Index
Allen Van Gelder
University of California, Santa Cruz; 6,733 total citations; 97 total publications; best world rank #78
University of California, Santa Cruz
6,733Total citations
97Total publications
38H-index
Published ranking records
| Field | Window | World rank | National rank | Impact score |
|---|---|---|---|---|
| Logic, programming, and type systems | Lifetime | 78 | US 36 | 98.61 |
| Formal Methods in Verification | Lifetime | 178 | US 83 | 97.97 |
| Logic, Reasoning, and Knowledge | Lifetime | 176 | US 58 | 97.39 |
| Computer Graphics and Visualization Techniques | Lifetime | 323 | US 137 | 97.19 |
| 3D Shape Modeling and Analysis | Lifetime | 479 | US 163 | 95.46 |
| Advanced Database Systems and Queries | Lifetime | 942 | US 360 | 93.66 |
| Constraint Satisfaction and Optimization | Lifetime | 320 | US 93 | 91.35 |
| Advanced Algebra and Logic | Lifetime | 844 | US 202 | 89.96 |