Josef Urban
Josef Urban publishes mostly in Artificial Intelligence, Computational Theory and Mathematics and Nuclear and High Energy Physics, on topics such as Logic, programming, and type systems, Natural Language Processing Techniques and Semantic Web and Ontologies.
- World rank
- #175,806 of 1,633,909 ranked researchers
- Rank in Netherlands
- #3,962 of 23,481
- Works
- 67
- Citations
- 361
- Citations per work
- 5.4
What does Josef Urban research?
Shares of their own output, by the field each of their topics belongs to. The grey slice is everything not listed.
- 1Artificial Intelligence60% of their works
- 2Computational Theory and Mathematics16% of their works
- 3Nuclear and High Energy Physics8% of their works
- 4Information Systems6% of their works
- 5Hardware and Architecture4% of their works
- 6Software2% of their works
Research topics
Which keywords describe Josef Urban's research?
The keywords of their largest research topics: Model Checking, Formal Verification, Static Analysis, Description Logics, Knowledge Representation, Temporal Logic, Neural Machine Translation and Statistical Machine Translation.
- Word Representation
- Satisfiability Modulo Theories
- Neural Networks
- Modal Logic
- Mathematical Information Retrieval
- Semantic Web
- Statistical Machine Translation
- Temporal Logic
- Description Logics
- Formal Verification
- Model Checking
- Static Analysis
- Knowledge Representation
- Neural Machine Translation
- Ontology
- Math Search
- Answer Set Programming
- Code Clone Detection
- Refactoring
- Symbolic Model Checker
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 20 words, with their numbers
- Model Checking353 topics
- Formal Verification231 topic
- Static Analysis231 topic
- Description Logics162 topics
- Knowledge Representation162 topics
- Temporal Logic122 topics
- Neural Machine Translation111 topic
- Statistical Machine Translation111 topic
- Ontology91 topic
- Semantic Web91 topic
- Math Search81 topic
- Mathematical Information Retrieval81 topic
- Answer Set Programming71 topic
- Modal Logic71 topic
- Code Clone Detection51 topic
- Neural Networks51 topic
- Refactoring51 topic
- Satisfiability Modulo Theories51 topic
- Symbolic Model Checker51 topic
- Word Representation51 topic
Where does Josef Urban work?
Josef Urban's main affiliation in the publication record is Radboud University Nijmegen, Netherlands.
How many publications and citations does Josef Urban have?
Science Explorer counts 67 works and 361 citations for Josef Urban, ranking #175,806 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.
Other researchers named Josef Urban
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.