Jakob Nordström
0000-0002-2700-4285
Publication & Citation Trends
Publications
0 total
No publications found.
Research Topics
Formal Methods in Verification
(70)
Logic, programming, and type systems
(56)
Logic, Reasoning, and Knowledge
(38)
Complexity and Algorithms in Graphs
(36)
Constraint Satisfaction and Optimization
(25)
Affiliations
University of Copenhagen
Vrije Universiteit Brussel
Lund University
Computer Algorithms for Medicine
Department of Physics, Mathematics and Informatics