Scholarly Index
Andrzej Tarlecki
University of Warsaw; 1,840 total citations; 71 total publications; best world rank #427
University of Warsaw
1,840Total citations
71Total publications
20H-index
Published ranking records
| Field | Window | World rank | National rank | Impact score |
|---|---|---|---|---|
| Formal Methods in Verification | Lifetime | 584 | PL 2 | 95.04 |
| Logic, programming, and type systems | Lifetime | 427 | PL 2 | 95.15 |