Scholarly Index
Donald Loveland
University of Michigan; 4,576 total citations; 63 total publications; best world rank #502
University of Michigan
4,576Total citations
63Total publications
22H-index
Published ranking records
| Field | Window | World rank | National rank | Impact score |
|---|---|---|---|---|
| Logic, programming, and type systems | Lifetime | 502 | US 191 | 94.43 |
| Formal Methods in Verification | Lifetime | 838 | US 292 | 93.36 |