Scholarly Index
Wojciech Penczek
Institute of Computer Science; 5,634 total citations; 140 total publications; best world rank #337
Institute of Computer Science
5,634Total citations
140Total publications
23H-index
Published ranking records
| Field | Window | World rank | National rank | Impact score |
|---|---|---|---|---|
| Formal Methods in Verification | Lifetime | 337 | PL 1 | 96.62 |
| Model-Driven Software Engineering Techniques | Lifetime | 344 | PL 1 | 94.49 |
| Logic, programming, and type systems | Lifetime | 783 | PL 6 | 92.05 |
| Logic, Reasoning, and Knowledge | Lifetime | 888 | PL 11 | 90.76 |
| Multi-Agent Systems and Negotiation | Lifetime | 971 | PL 6 | 86.45 |