Jan Willem Klop
Jan Willem Klop publishes mostly in Artificial Intelligence, Computational Theory and Mathematics and Hardware and Architecture, on topics such as Logic, programming, and type systems, Formal Methods in Verification and Logic, Reasoning, and Knowledge.
- World rank
- #13,040 of 1,633,909 ranked researchers
- Rank in Netherlands
- #242 of 23,481
- Works
- 63
- Citations
- 626
- Citations per work
- 9.9
What does Jan Willem Klop research?
Shares of their own output, by the field each of their topics belongs to. The grey slice is everything not listed.
- 1Artificial Intelligence46% of their works
- 2Computational Theory and Mathematics29% of their works
- 3Hardware and Architecture5% of their works
- 4Software3% of their works
- 5Computer Science Applications3% of their works
- 6Education2% of their works
Research topics
Which keywords describe Jan Willem Klop's research?
The keywords of their largest research topics: Model Checking, Temporal Logic, Formal Verification, Static Analysis, Automata, Satisfiability Modulo Theories, Symbolic Model Checker and Description Logics.
- Ontology
- Reconfigurable Computing
- Model-Driven Engineering
- Domain-Specific Languages
- Formal Languages
- Answer Set Programming
- Description Logics
- Satisfiability Modulo Theories
- Static Analysis
- Temporal Logic
- Model Checking
- Formal Verification
- Automata
- Symbolic Model Checker
- Knowledge Representation
- Modal Logic
- Regular Expressions
- High-Level Synthesis
- Neural Machine Translation
- Statistical Machine Translation
- Semantic Web
Size is their works in the topics tagged with each word, from their 8 largest topics. Each links to the topic it comes from most.
All 21 words, with their numbers
- Model Checking353 topics
- Temporal Logic192 topics
- Formal Verification161 topic
- Static Analysis161 topic
- Automata152 topics
- Satisfiability Modulo Theories111 topic
- Symbolic Model Checker111 topic
- Description Logics92 topics
- Knowledge Representation92 topics
- Answer Set Programming81 topic
- Modal Logic81 topic
- Formal Languages41 topic
- Regular Expressions41 topic
- Domain-Specific Languages21 topic
- High-Level Synthesis21 topic
- Model-Driven Engineering21 topic
- Neural Machine Translation21 topic
- Reconfigurable Computing21 topic
- Statistical Machine Translation21 topic
- Ontology11 topic
- Semantic Web11 topic
Where does Jan Willem Klop work?
Jan Willem Klop's main affiliation in the publication record is Vrije Universiteit Amsterdam, Netherlands.
How many publications and citations does Jan Willem Klop have?
Science Explorer counts 63 works and 626 citations for Jan Willem Klop, ranking #13,040 of 1,633,909 researchers worldwide on the composite score.
Ranked on field-normalised excellence (50%), output (30%) and citations (20%). Counts come from OpenAlex author records, which occasionally merge different people who share a name or split one person into several.
Papers, co-authors, who cited this work and researchers on the nearest topics are in the interactive view on the map. Is this your page? Request a correction or removal.