Scholarly Index
Hadas Kress‐Gazit
Cornell University; 4,547 total citations; 122 total publications; best world rank #79
Cornell University
4,547Total citations
122Total publications
29H-index
Published ranking records
| Field | Window | World rank | National rank | Impact score |
|---|---|---|---|---|
| Model-Driven Software Engineering Techniques | Lifetime | 79 | US 22 | 98.02 |
| Formal Methods in Verification | Lifetime | 140 | US 69 | 98.33 |
| Robotic Path Planning Algorithms | Lifetime | 382 | US 145 | 97.99 |
| Modular Robots and Swarm Intelligence | Lifetime | 434 | US 163 | 96.19 |
| Robot Manipulation and Learning | Lifetime | 698 | US 210 | 95.03 |
| AI-based Problem Solving and Planning | Lifetime | 476 | US 237 | 92.27 |
| Logic, programming, and type systems | Lifetime | 690 | US 240 | 92.86 |
| Robotics and Automated Systems | Lifetime | 614 | US 91 | 90.55 |
| Formal Methods in Verification | 2021-2025 | 122 | US 27 | 88.21 |
| Logic, Reasoning, and Knowledge | 2021-2025 | 285 | US 37 | 71.75 |