Top1000 Scholar

Scholarly Index

Robin Milner

Theodore Roosevelt High School; 15,945 total citations; 106 total publications; best world rank #44

Theodore Roosevelt High School

15,945Total citations
106Total publications
38H-index

Published ranking records

FieldWindowWorld rankNational rankImpact score
Logic, programming, and type systemsLifetime44US 2499.05
Formal Methods in VerificationLifetime96US 5798.69
Logic, Reasoning, and KnowledgeLifetime186US 6197.31
Petri Nets in System ModelingLifetime150US 4296.49
Computability, Logic, AI AlgorithmsLifetime162US 9895.63
Distributed systems and fault toleranceLifetime506US 30096.68
semigroups and automata theoryLifetime269US 10294.70
Formal Methods in Verification2021-2025524US 11267.03
Petri Nets in System Modeling2021-2025287US 1854.58