Top1000 Scholar

Scholarly Index

Karen Rudie

Queen's University; 2,071 total citations; 102 total publications; best world rank #68

Queen's University

2,071Total citations
102Total publications
23H-index

Published ranking records

FieldWindowWorld rankNational rankImpact score
Petri Nets in System ModelingLifetime131CA 296.71
Formal Methods in VerificationLifetime365CA 996.40
Distributed systems and fault toleranceLifetime573CA 2196.32
Real-Time Systems SchedulingLifetime927CA 1690.27
Formal Methods in Verification2021-2025153CA 486.25
Petri Nets in System Modeling2021-202568CA 183.95
Distributed systems and fault tolerance2021-2025642CA 2562.64
Real-Time Systems Scheduling2021-2025875CA 1534.42