Top1000 Scholar

Scholarly Index

Jim Woodcock

Southwest University; 3,806 total citations; 186 total publications; best world rank #231

Southwest University

3,806Total citations
186Total publications
31H-index

Published ranking records

FieldWindowWorld rankNational rankImpact score
Formal Methods in VerificationLifetime250CN 597.32
Logic, programming, and type systemsLifetime231CN 296.83
Model-Driven Software Engineering TechniquesLifetime300CN 894.92
Advanced Software Engineering MethodologiesLifetime556CN 1895.31
Security and Verification in ComputingLifetime715CN 5891.03
Safety Systems Engineering in AutonomyLifetime249CN 787.58
Systems Engineering Methodologies and ApplicationsLifetime699CN 2076.64
Formal Methods in Verification2021-2025303CN 5377.18
Embedded Systems Design Techniques2021-2025897CN 17154.72
Advanced Software Engineering Methodologies2021-2025536CN 3453.37
Logic, programming, and type systems2021-2025563CN 2852.63
Model-Driven Software Engineering Techniques2021-2025500CN 3942.74