Joost N. Kok
0000-0002-7352-1400
Publication & Citation Trends
Publications
0 total
No publications found.
Research Topics
Logic, programming, and type systems
(51)
Formal Methods in Verification
(38)
Data Mining Algorithms and Applications
(38)
Logic, Reasoning, and Knowledge
(28)
Metaheuristic Optimization Algorithms Research
(20)
Affiliations
NXP (Netherlands)
Leiden University
Naturalis Biodiversity Center
Rijksmuseum
Åbo Akademi University