Scholarly Index
Lilian K. Carvalho
Universidade Federal do Rio de Janeiro; 1,222 total citations; 56 total publications; best world rank #57
Universidade Federal do Rio de Janeiro
1,222Total citations
56Total publications
19H-index
Published ranking records
| Field | Window | World rank | National rank | Impact score |
|---|---|---|---|---|
| Petri Nets in System Modeling | Lifetime | 249 | BR 4 | 95.03 |
| Formal Methods in Verification | Lifetime | 879 | BR 5 | 93.10 |
| Flexible and Reconfigurable Manufacturing Systems | Lifetime | 676 | BR 11 | 91.55 |
| Formal Methods in Verification | 2021-2025 | 168 | BR 3 | 85.56 |
| Petri Nets in System Modeling | 2021-2025 | 57 | BR 3 | 85.99 |
| Security and Verification in Computing | 2021-2025 | 869 | BR 5 | 59.66 |