Top1000 Scholar

Scholarly Index

Michael Butler

University of Southampton; 3,825 total citations; 238 total publications; best world rank #51

University of Southampton

3,825Total citations
238Total publications
29H-index

Published ranking records

FieldWindowWorld rankNational rankImpact score
Formal Methods in VerificationLifetime162GB 1798.14
Model-Driven Software Engineering TechniquesLifetime117GB 1097.35
Advanced Software Engineering MethodologiesLifetime351GB 2896.90
Real-Time Systems SchedulingLifetime666GB 2192.57
Logic, programming, and type systemsLifetime687GB 7792.89
Safety Systems Engineering in AutonomyLifetime203GB 3489.42
Petri Nets in System ModelingLifetime614GB 2689.86
Safety Systems Engineering in Autonomy2021-202551GB 1081.28
Systems Engineering Methodologies and Applications2021-2025345GB 1047.96
Advanced Software Engineering Methodologies2021-2025697GB 3045.07