Scholarly Index
Dale Miller
Inria Saclay - Île de France; 4,958 total citations; 160 total publications; best world rank #49
Inria Saclay - Île de France
4,958Total citations
160Total publications
36H-index
Published ranking records
| Field | Window | World rank | National rank | Impact score |
|---|---|---|---|---|
| Logic, programming, and type systems | Lifetime | 49 | FR 2 | 98.97 |
| Logic, Reasoning, and Knowledge | Lifetime | 58 | FR 3 | 98.81 |
| Formal Methods in Verification | Lifetime | 91 | FR 2 | 98.77 |
| Logic, programming, and type systems | 2021-2025 | 649 | FR 45 | 47.76 |