Scholarly Index
Tachio Terauchi
Waseda University; 1,618 total citations; 48 total publications; best world rank #501
Waseda University
1,618Total citations
48Total publications
17H-index
Published ranking records
| Field | Window | World rank | National rank | Impact score |
|---|---|---|---|---|
| Logic, programming, and type systems | Lifetime | 569 | JP 8 | 93.78 |
| Formal Methods in Verification | Lifetime | 885 | JP 16 | 93.07 |
| Security and Verification in Computing | Lifetime | 593 | JP 5 | 92.36 |
| Formal Methods in Verification | 2021-2025 | 598 | JP 19 | 64.14 |
| semigroups and automata theory | 2021-2025 | 501 | JP 20 | 43.52 |