Scholarly Index

Prakash Panangaden

McGill University; 4,554 total citations; 165 total publications; best world rank #182

McGill University

4,554Total citations
165Total publications
37H-index

Published ranking records

FieldWindowWorld rankNational rankImpact score
Formal Methods in VerificationLifetime182CA 597.95
Logic, programming, and type systemsLifetime241CA 596.69
Logic, Reasoning, and KnowledgeLifetime362CA 1295.48
Petri Nets in System ModelingLifetime517CA 1891.33
Computability, Logic, AI AlgorithmsLifetime571CA 2189.16
Bayesian Modeling and Causal InferenceLifetime718CA 2588.12
Quantum Electrodynamics and Casimir EffectLifetime960CA 3980.66
Logic, programming, and type systems2021-2025884CA 1534.59