Scholarly Index
Matthew Hennessy
Trinity College Dublin; 7,123 total citations; 127 total publications; best world rank #25
Trinity College Dublin
7,123Total citations
127Total publications
40H-index
Published ranking records
| Field | Window | World rank | National rank | Impact score |
|---|---|---|---|---|
| Logic, programming, and type systems | Lifetime | 25 | IE 1 | 99.32 |
| Formal Methods in Verification | Lifetime | 51 | IE 2 | 99.20 |
| Logic, Reasoning, and Knowledge | Lifetime | 80 | IE 1 | 98.52 |
| Distributed systems and fault tolerance | Lifetime | 359 | IE 1 | 97.55 |
| Security and Verification in Computing | Lifetime | 224 | IE 1 | 96.57 |
| semigroups and automata theory | Lifetime | 187 | IE 2 | 95.95 |
| Petri Nets in System Modeling | Lifetime | 248 | IE 2 | 95.04 |