Scholarly Index
D Luckham
Vulcan (United States); 3,191 total citations; 100 total publications; best world rank #428
Vulcan (United States)
3,191Total citations
100Total publications
22H-index
Published ranking records
| Field | Window | World rank | National rank | Impact score |
|---|---|---|---|---|
| Logic, programming, and type systems | Lifetime | 428 | US 167 | 95.15 |
| Simulation Techniques and Applications | Lifetime | 496 | US 230 | 92.29 |
| Formal Methods in Verification | Lifetime | 824 | US 286 | 93.45 |