Top1000 Scholar

Scholarly Index

Brigitte Pientka

McGill University; 1,213 total citations; 88 total publications; best world rank #63

McGill University

1,213Total citations
88Total publications
17H-index

Published ranking records

FieldWindowWorld rankNational rankImpact score
Logic, programming, and type systemsLifetime429CA 1195.13
Formal Methods in VerificationLifetime783CA 2993.76
Logic, Reasoning, and KnowledgeLifetime646CA 1992.79
Logic, programming, and type systems2021-202563CA 387.73
Logic, Reasoning, and Knowledge2021-2025181CA 579.48
Formal Methods in Verification2021-2025584CA 1264.49