Scholarly Index
Claude Kirchner
Institut national de recherche en informatique et en automatique; 4,192 total citations; 244 total publications; best world rank #109
Institut national de recherche en informatique et en automatique
4,192Total citations
244Total publications
30H-index
Published ranking records
| Field | Window | World rank | National rank | Impact score |
|---|---|---|---|---|
| Logic, programming, and type systems | Lifetime | 109 | FR 4 | 98.24 |
| Formal Methods in Verification | Lifetime | 272 | FR 10 | 97.06 |
| Model-Driven Software Engineering Techniques | Lifetime | 158 | FR 5 | 96.76 |
| Logic, Reasoning, and Knowledge | Lifetime | 216 | FR 12 | 96.99 |
| Access Control and Trust | Lifetime | 426 | FR 5 | 90.36 |
| Constraint Satisfaction and Optimization | Lifetime | 474 | FR 44 | 88.02 |
| Mathematics, Computing, and Information Processing | Lifetime | 433 | FR 26 | 67.27 |