Top1000 Scholar

Scholarly Index

Jakob Nordstr”öm

University of Copenhagen; 821 total citations; 92 total publications; best world rank #7

University of Copenhagen

821Total citations
92Total publications
17H-index

Published ranking records

FieldWindowWorld rankNational rankImpact score
Formal Methods in VerificationLifetime811DK 1093.55
Logic, programming, and type systemsLifetime631DK 1293.32
Constraint Satisfaction and OptimizationLifetime507DK 487.38
Constraint Satisfaction and Optimization2021-20257DK 191.83
Formal Methods in Verification2021-2025147DK 586.52
Logic, Reasoning, and Knowledge2021-2025308DK 870.57
Logic, programming, and type systems2021-2025692DK 2844.77