Michael Kohlhase
Michael Kohlhase publishes mostly in Artificial Intelligence, Computational Theory and Mathematics and Computer Networks and Communications, on topics such as Mathematics, Computing, and Information Processing, Logic, programming, and type systems and Advanced Database Systems and Queries.
- World rank
- #446,687 of 1,633,909 ranked researchers
- Rank in Germany
- #26,590 of 86,443
- Works
- 80
- Citations
- 194
- Citations per work
- 2.4
What does Michael Kohlhase research?
Shares of their own output, by the field each of their topics belongs to. The grey slice is everything not listed.
- 1Artificial Intelligence35% of their works
- 2Computational Theory and Mathematics26% of their works
- 3Computer Networks and Communications11% of their works
- 4Information Systems and Management6% of their works
- 5Literature and Literary Theory5% of their works
- 6Computer Science Applications2% of their works
Research topics
Which keywords describe Michael Kohlhase's research?
The keywords of their largest research topics: Math Search, Mathematical Information Retrieval, Model Checking, Description Logics, Knowledge Representation, Formal Verification, Static Analysis and Continuous Queries.
- Neural Machine Translation
- Digital Humanities
- Reproducibility
- Ontology
- Answer Set Programming
- Continuous Queries
- Formal Verification
- Description Logics
- Mathematical Information Retrieval
- Math Search
- Model Checking
- Knowledge Representation
- Static Analysis
- Data Stream Management
- Modal Logic
- Semantic Web
- Scientific Workflows
- Literary History
- Statistical Machine Translation
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 19 words, with their numbers
- Math Search261 topic
- Mathematical Information Retrieval261 topic
- Model Checking232 topics
- Description Logics192 topics
- Knowledge Representation192 topics
- Formal Verification131 topic
- Static Analysis131 topic
- Continuous Queries121 topic
- Data Stream Management121 topic
- Answer Set Programming101 topic
- Modal Logic101 topic
- Ontology91 topic
- Semantic Web91 topic
- Reproducibility81 topic
- Scientific Workflows81 topic
- Digital Humanities61 topic
- Literary History61 topic
- Neural Machine Translation51 topic
- Statistical Machine Translation51 topic
Where does Michael Kohlhase work?
Michael Kohlhase's main affiliation in the publication record is Constructor University, Germany.
How many publications and citations does Michael Kohlhase have?
Science Explorer counts 80 works and 194 citations for Michael Kohlhase, ranking #446,687 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.