Scholarly Index
Robert Nieuwenhuis
Port d'Informació Científica; 1,683 total citations; 72 total publications; best world rank #668
Port d'Informació Científica
1,683Total citations
72Total publications
16H-index
Published ranking records
| Field | Window | World rank | National rank | Impact score |
|---|---|---|---|---|
| Formal Methods in Verification | Lifetime | 964 | ES 17 | 92.55 |
| Logic, programming, and type systems | Lifetime | 739 | ES 9 | 92.46 |
| semigroups and automata theory | Lifetime | 873 | ES 8 | 87.40 |
| Constraint Satisfaction and Optimization | Lifetime | 668 | ES 21 | 84.68 |