Scholarly Index
Nicolas Markey
Centre National de la Recherche Scientifique; 1,068 total citations; 75 total publications; best world rank #536
Centre National de la Recherche Scientifique
1,068Total citations
75Total publications
17H-index
Published ranking records
| Field | Window | World rank | National rank | Impact score |
|---|---|---|---|---|
| Formal Methods in Verification | Lifetime | 536 | FR 22 | 95.32 |
| Logic, programming, and type systems | Lifetime | 716 | FR 41 | 92.62 |
| Model-Driven Software Engineering Techniques | Lifetime | 850 | FR 30 | 88.74 |
| semigroups and automata theory | Lifetime | 998 | FR 85 | 85.94 |