Scholarly Index
Nissim Francez
Technion – Israel Institute of Technology; 3,234 total citations; 156 total publications; best world rank #112
Technion – Israel Institute of Technology
3,234Total citations
156Total publications
28H-index
Published ranking records
| Field | Window | World rank | National rank | Impact score |
|---|---|---|---|---|
| Logic, programming, and type systems | Lifetime | 112 | IL 6 | 98.21 |
| Logic, Reasoning, and Knowledge | Lifetime | 170 | IL 8 | 97.47 |
| Distributed systems and fault tolerance | Lifetime | 518 | IL 20 | 96.60 |
| Formal Methods in Verification | Lifetime | 470 | IL 12 | 95.69 |
| Advanced Algebra and Logic | Lifetime | 613 | IL 4 | 92.34 |
| semigroups and automata theory | Lifetime | 769 | IL 28 | 88.37 |
| Philosophy and Theoretical Science | Lifetime | 984 | IL 9 | 78.22 |
| Advanced Algebra and Logic | 2021-2025 | 355 | IL 2 | 70.05 |
| Logic, programming, and type systems | 2021-2025 | 296 | IL 2 | 67.22 |
| Logic, Reasoning, and Knowledge | 2021-2025 | 392 | IL 7 | 65.69 |