Scholarly Index
Inês Lynce
Instituto de Engenharia de Sistemas e Computadores Investigação e Desenvolvimento; 1,457 total citations; 94 total publications; best world rank #223
Instituto de Engenharia de Sistemas e Computadores Investigação e Desenvolvimento
1,457Total citations
94Total publications
20H-index
Published ranking records
| Field | Window | World rank | National rank | Impact score |
|---|---|---|---|---|
| Formal Methods in Verification | Lifetime | 585 | PT 1 | 95.03 |
| Constraint Satisfaction and Optimization | Lifetime | 223 | PT 1 | 93.21 |