Scholarly Index
Antti Valmari
University of Jyväskylä; 1,381 total citations; 65 total publications; best world rank #596
University of Jyväskylä
1,381Total citations
65Total publications
16H-index
Published ranking records
| Field | Window | World rank | National rank | Impact score |
|---|---|---|---|---|
| Formal Methods in Verification | Lifetime | 596 | FI 3 | 94.96 |
| Petri Nets in System Modeling | Lifetime | 637 | FI 2 | 89.68 |
| semigroups and automata theory | Lifetime | 967 | FI 19 | 86.25 |