Scholarly Index
Cristian-Ioan Vasile
Lehigh University; 1,630 total citations; 93 total publications; best world rank #25
Lehigh University
1,630Total citations
93Total publications
22H-index
Published ranking records
| Field | Window | World rank | National rank | Impact score |
|---|---|---|---|---|
| Formal Methods in Verification | Lifetime | 679 | US 245 | 94.45 |
| Formal Methods in Verification | 2021-2025 | 25 | US 6 | 96.72 |
| Logic, Reasoning, and Knowledge | 2021-2025 | 209 | US 23 | 77.46 |
| AI-based Problem Solving and Planning | 2021-2025 | 173 | US 44 | 63.34 |
| Model-Driven Software Engineering Techniques | 2021-2025 | 338 | US 25 | 54.67 |
| Machine Learning and Algorithms | 2021-2025 | 436 | US 125 | 53.53 |