Josef Urban
- Artificial Intelligence top 5%
- Computational Theory and Mathematics top 2%
- Computer Networks and Communications top 10%
- Information Systems top 10%
- Cancer Research
- Co-authors
- Cezary KaliszykJana MusilováK MichalováDaniel KühlweinGeoff SutcliffePiotr RudnickiEvgeni TsivtsivadzeRoman Maršálek
- Topics
- Logic, programming, and type systems (40 papers)Logic, Reasoning, and Knowledge (15 papers)Natural Language Processing Techniques (13 papers)
- Partner nations
- CzechiaNetherlandsAustria
In The Last Decade
Josef Urban
62 papers receiving 569 citations
Peers
Comparison fields: 5 of 92
- Artificial Intelligence 441
- Computational Theory and Mathematics 224
- Computer Networks and Communications 79
- Information Systems 67
- Cancer Research 55
Countries citing papers authored by Josef Urban
This map shows the geographic impact of Josef Urban's research. It shows the number of citations coming from papers published by authors working in each country. You can also color the map by specialization and compare the number of citations received by Josef Urban with the expected number of citations based on a country's size and research output (numbers larger than one mean the country cites Josef Urban more than expected).
Fields of papers citing papers by Josef Urban
This network shows the impact of papers produced by Josef Urban. Nodes represent research fields, and links connect fields that are likely to share authors. Colored nodes show fields that tend to cite the papers produced by Josef Urban. The network helps show where Josef Urban may publish in the future.
Co-authorship network of co-authors of Josef Urban
This figure shows the co-authorship network connecting the top 25 collaborators of Josef Urban. A scholar is included among the top collaborators of Josef Urban based on the total number of citations received by their joint publications. Widths of edges represent the number of papers authors have co-authored together. Node borders signify the number of papers an author published with Josef Urban. Josef Urban is excluded from the visualization to improve readability, since they are connected to all nodes in the network.
All Works
| # | Work | Indexed citations |
|---|---|---|
| 1 | 1 | |
| 2 | 1 | |
| 3 | 0 | |
| 4 | 2 | |
| 5 | 2 | |
| 6 | 4 | |
| 7 | DeepMath - Deep Sequence Models for Premise Selection | 15 |
| 8 | Initial Experiments with Statistical Conjecturing over Large Formal Corpora. | 9 |
| 9 | 19 | |
| 10 | Efficient semantic features for automated reasoning over large theories | 11 |
| 11 | 7 | |
| 12 | 14 | |
| 13 | \nInitial Experiments with External Provers and Premise Selection on HOL Light} Corpora | 1 |
| 14 | Intelligent Computer Mathematics: 18th Symposium, Calculemus 2011, and 10th International Conference, MKM 2011, Bertinoro, Italy, July 18-23, 2011, ... / Lecture Notes in Artificial Intelligence) | 0 |
| 15 | 5 | |
| 16 | COMBINING MIZAR AND TPTP SEMANTIC PRESENTATION AND VERIFICATION TOOLS | 2 |
| 17 | 4 | |
| 18 | MaLARea: a Metasystem for Automated Reasoning in Large Theories. | 18 |
| 19 | 20 | |
| 20 | 13 |
About Josef Urban
Josef Urban is a scholar working on Artificial Intelligence, Computational Theory and Mathematics and Software, having authored 66 papers that have together received 630 indexed citations. Recurring topics across this work include Logic, programming, and type systems (40 papers), Logic, Reasoning, and Knowledge (15 papers) and Natural Language Processing Techniques (13 papers). The work is most often cited by research in Computational Theory and Mathematics (224 citations), Artificial Intelligence (441 citations) and Software (42 citations). Josef Urban has collaborated with scholars based in Czechia, Netherlands and Austria. Frequent co-authors include Cezary Kaliszyk, Jana Musilová, K Michalová, Daniel Kühlwein, Geoff Sutcliffe, Piotr Rudnicki, Evgeni Tsivtsivadze, Roman Maršálek, Tom Heskes and Jesse Alama. Their work appears in journals such as Physical review. B, Condensed matter, Polymer and Human Genetics.
Rankless uses publication and citation data sourced from OpenAlex, an open and comprehensive bibliographic database. While OpenAlex provides broad and valuable coverage of the global research landscape, it—like all bibliographic datasets—has inherent limitations. These include incomplete records, variations in author disambiguation, differences in journal indexing, and delays in data updates. As a result, some metrics and network relationships displayed in Rankless may not fully capture the entirety of a scholar's output or impact.