Top1000 Scholar

Scholarly Index

John Rushby

SRI International; 4,520 total citations; 119 total publications; best world rank #5

SRI International

4,520Total citations
119Total publications
35H-index

Published ranking records

FieldWindowWorld rankNational rankImpact score
Safety Systems Engineering in AutonomyLifetime5US 398.69
Formal Methods in VerificationLifetime87US 5298.79
Distributed systems and fault toleranceLifetime276US 17498.06
Software Reliability and Analysis ResearchLifetime286US 9497.55
Real-Time Systems SchedulingLifetime255US 10196.35
Security and Verification in ComputingLifetime264US 14996.21
Risk and Safety AnalysisLifetime742US 18295.45
Logic, programming, and type systemsLifetime494US 18794.51
Software Testing and Debugging TechniquesLifetime832US 30293.35
Model-Driven Software Engineering TechniquesLifetime671US 13290.69
AI-based Problem Solving and PlanningLifetime600US 27990.81
Access Control and TrustLifetime753US 19284.21
Systems Engineering Methodologies and ApplicationsLifetime965US 46969.95
Safety Systems Engineering in Autonomy2021-2025575US 7724.86