Scholarly Index
Michael Sammler
Institute of Science and Technology Austria; 324 total citations; 18 total publications; best world rank #23
Institute of Science and Technology Austria
324Total citations
18Total publications
9H-index
Published ranking records
| Field | Window | World rank | National rank | Impact score |
|---|---|---|---|---|
| Logic, programming, and type systems | 2021-2025 | 23 | AT 1 | 94.02 |
| Security and Verification in Computing | 2021-2025 | 73 | AT 3 | 92.53 |
| Distributed systems and fault tolerance | 2021-2025 | 136 | AT 4 | 85.86 |
| Formal Methods in Verification | 2021-2025 | 355 | AT 10 | 74.57 |