Top1000 Scholar

Scholarly Index

Kim G. Larsen

Aalborg University; 10,981 total citations; 454 total publications; best world rank #11

Aalborg University

10,981Total citations
454Total publications
48H-index

Published ranking records

FieldWindowWorld rankNational rankImpact score
Model-Driven Software Engineering TechniquesLifetime11DK 199.25
Formal Methods in VerificationLifetime23DK 199.49
Software Testing and Debugging TechniquesLifetime79DK 199.03
Real-Time Systems SchedulingLifetime78DK 298.31
Logic, programming, and type systemsLifetime75DK 298.62
Software Reliability and Analysis ResearchLifetime186DK 198.29
Petri Nets in System ModelingLifetime89DK 197.46
Embedded Systems Design TechniquesLifetime393DK 697.47
Logic, Reasoning, and KnowledgeLifetime719DK 492.08
Formal Methods in Verification2021-2025129DK 388.01
Machine Learning and Algorithms2021-2025454DK 352.25
Petri Nets in System Modeling2021-2025283DK 355.15
Real-Time Systems Scheduling2021-2025715DK 742.07
Model-Driven Software Engineering Techniques2021-2025590DK 836.86