--- title: "Michael Kohlhase — author profile and papers · Reasoning" description: "Michael Kohlhase, Friedrich-Alexander-Universität Erlangen-Nürnberg: 4 papers on Elamur Research (2010–2016), h-index 29 — affiliations…" canonical: "https://research.elamur.ai/free/en/authors/michael-kohlhase/" --- [Elamur Research](https://md.research.elamur.ai/free/en/) · [this page in HTML](https://research.elamur.ai/free/en/authors/michael-kohlhase/) [home](https://md.research.elamur.ai/free/en/) / [authors](https://md.research.elamur.ai/free/en/authors/) / Michael Kohlhase # Michael Kohlhase Michael Kohlhase has 4 papers in our library, in 2010–2016, most of them on [Reasoning](https://md.research.elamur.ai/free/en/topics/reasoning/), [Information retrieval & search](https://md.research.elamur.ai/free/en/topics/information-retrieval/); often with [Akiko Aizawa](https://md.research.elamur.ai/free/en/authors/akiko-aizawa/), [Iadh Ounis](https://md.research.elamur.ai/free/en/authors/iadh-ounis/), [Goran Topić](https://md.research.elamur.ai/free/en/authors/goran-topic/). 4 papers in our library · 2010–2016 [OpenAlex](https://openalex.org/A5015060761) · [ORCID](https://orcid.org/0000-0002-9859-6337) · [Wikidata](https://www.wikidata.org/wiki/Q91233) · [**h-index 29**](https://openalex.org/authors/A5015060761) · [454 works](https://openalex.org/works?filter=author.id:A5015060761) · [3,467 citations](https://openalex.org/works?filter=author.id:A5015060761&sort=cited_by_count:desc) OpenAlex, 2026-10-14 [📄 4 works in our library](https://md.research.elamur.ai/free/en/authors/michael-kohlhase/#papers) · [🔗 Cited 45 times in our library](https://md.research.elamur.ai/free/en/authors/michael-kohlhase/cited-by/) · [1 more in our library without a page yet](#also) · [⭐ Paper Stars ranking: #6250](https://md.research.elamur.ai/free/en/paper-stars/page/63/#star-6250) The profile is the library's match of the name; two people with one name are not always told apart. Elsewhere: [Google Scholar](https://scholar.google.com/citations?view_op=search_authors&mauthors=Michael+Kohlhase) · [Semantic Scholar](https://www.semanticscholar.org/search?q=Michael+Kohlhase) · [dblp](https://dblp.org/search?q=Michael+Kohlhase) · [ACL Anthology](https://aclanthology.org/search/?q=Michael+Kohlhase) ## Affiliations [🎓**Friedrich-Alexander-Universität Erlangen-Nürnberg** Erlangen · Germany 2016–2026 · 47 papersEmployment since 2016 · Professor, Computer Science*current*](https://md.research.elamur.ai/free/en/universities/friedrich-alexander-universitat-erlangen-nurnberg/) · [🎓**Constructor University** Bremen · Germany 2003–2022 · 99 papersEmployment 2003–2016 · Professor, Computer Science](https://md.research.elamur.ai/free/en/universities/constructor-university/) · [🎓**Saarland University** Saarbrücken · Germany 1994–2007 · 40 papersEducation](https://md.research.elamur.ai/free/en/universities/saarland-university/) · [🎓**Carnegie Mellon University** Pittsburgh · United States 1993–2018 · 8 papers](https://md.research.elamur.ai/free/en/universities/carnegie-mellon-university/) · [🔬**German Research Centre for Artificial Intelligence** Kaiserslautern · Germany 2009 · 3 papers](https://md.research.elamur.ai/free/en/labs/german-research-centre-for-artificial-intelligence/) · [🎓**University of Bremen** Bremen · Germany 2006–2007 · 2 papers](https://md.research.elamur.ai/free/en/universities/university-of-bremen/) From the bylines of their papers (OpenAlex, 2026-10-14), ORCID and Wikidata; institutions on papers are matched by machine. ## Fields, topics and concepts Of its works in our library, with the number of works on each. 📚 Shelves 5 The field of science this work belongs to (OpenAlex fields).[Computer Science · 4 works](https://md.research.elamur.ai/free/en/shelves/computer-science/) · [Computational Theory and Mathematics · 4 works](https://md.research.elamur.ai/free/en/shelves/computer-science/computational-theory-and-mathematics/) · [Information Systems · 4 works](https://md.research.elamur.ai/free/en/shelves/computer-science/information-systems/) · [Arts and Humanities · 1 work](https://md.research.elamur.ai/free/en/shelves/arts-and-humanities/) · [Literature and Literary Theory · 1 work](https://md.research.elamur.ai/free/en/shelves/arts-and-humanities/literature-and-literary-theory/) 🧭 Topics 2 Research subjects and languages the work is about.[Reasoning · 4 works](https://md.research.elamur.ai/free/en/topics/reasoning/) · [Information retrieval & search · 1 work](https://md.research.elamur.ai/free/en/topics/information-retrieval/) ## Works by year ### 2010s [**2016** 1 paper](https://md.research.elamur.ai/free/en/authors/michael-kohlhase/year/2016/) · [**2014** 1 paper](https://md.research.elamur.ai/free/en/authors/michael-kohlhase/year/2014/) · [**2013** 1 paper](https://md.research.elamur.ai/free/en/authors/michael-kohlhase/year/2013/) · [**2010** 1 paper](https://md.research.elamur.ai/free/en/authors/michael-kohlhase/year/2010/) ## Papers The most cited first (OpenAlex and our library). 1. **[NTCIR-12 MathIR Task Overview](https://md.research.elamur.ai/free/en/papers/zanibbi-2016-ntcir-12-mathir-task-overview/)** *(2016 · 69 citations)* Most search engines cannot handle mathematical formulae, though formulae are central to scientific communication. 2. **[NTCIR-11 Math-2 Task Overview](https://md.research.elamur.ai/free/en/papers/aizawa-2014-ntcir-11-math-2-task/)** *(2014 · 62 citations)* Mainstream search engines generally cannot retrieve mathematical formulae. Research on math information retrieval (MIR) has been held back by a lack of large structured datasets and agreed evaluation procedures. Building on the NTCIR-10 Math Pilot, the NTCIR-11 Math-2 Task provides a shared ad-hoc retrieval benchmark… 3. **[NTCIR-10 Math Pilot Task Overview](https://md.research.elamur.ai/free/en/papers/aizawa-2013-ntcir-10-math-pilot-task/)** *(2013 · 58 citations)* Most search systems ignore mathematical formulae in documents. This is partly because there were no large structured formula collections, well-defined tasks or agreed evaluation methods. The NTCIR-10 Math Pilot Task was the first shared evaluation dedicated to math information access. 4. **[Transforming Large Collections of Scientific Publications to XML](https://md.research.elamur.ai/free/en/papers/stamerjohanns-2010-transforming-large-collections-scientific-publications/)** *(2010 · 54 citations)* Most mathematical and scientific papers are written in LaTeX. LaTeX mixes content with layout and lets authors define their own macros, so machines struggle to recover the meaning of formulas from it. The arXMLiv project tackles this at scale by converting the arχiv e-print collection into XHTML+MathML with LaTeXML.… ## All works 5 works of theirs in our library, the most cited first; 4 with a page here, the others link their original until we summarise them. 1. **[NTCIR-12 MathIR Task Overview](https://md.research.elamur.ai/free/en/papers/zanibbi-2016-ntcir-12-mathir-task-overview/) [NTCIR](https://md.research.elamur.ai/free/en/venues/ntcir/)**Richard Zanibbi, Akiko Aizawa, Michael Kohlhase, et al.*2016 · 69 citations* 2. **[NTCIR-11 Math-2 Task Overview](https://md.research.elamur.ai/free/en/papers/aizawa-2014-ntcir-11-math-2-task/) [NTCIR](https://md.research.elamur.ai/free/en/venues/ntcir/)**Akiko Aizawa, Michael Kohlhase, Iadh Ounis, et al.*2014 · 62 citations* 3. **[NTCIR-10 Math Pilot Task Overview](https://md.research.elamur.ai/free/en/papers/aizawa-2013-ntcir-10-math-pilot-task/) [NTCIR](https://md.research.elamur.ai/free/en/venues/ntcir/)**Akiko Aizawa, Michael Kohlhase, Iadh Ounis*2013 · 58 citations* 4. [**Transforming Large Collections of Scientific Publications to XML Mathematics in Computer Science 3(3)**Heinrich Stamerjohanns, Michael Kohlhase, Deyan Ginev, et al.*2010 · 54 citations*](https://md.research.elamur.ai/free/en/papers/stamerjohanns-2010-transforming-large-collections-scientific-publications/) 5. **[Context Graphs for Legal Reasoning and Argumentation ↗](https://arxiv.org/abs/2007.00732) arXiv:2007.00732 · no summary yet**Max Rapp, Axel Adrian, Michael Kohlhase*2020* ## Co-authors here 4 co-authors with a page, the most papers together first. - [Akiko Aizawa](https://md.research.elamur.ai/free/en/authors/akiko-aizawa/) ×3 - [Iadh Ounis](https://md.research.elamur.ai/free/en/authors/iadh-ounis/) ×3 - [Goran Topić](https://md.research.elamur.ai/free/en/authors/goran-topic/) - [Moritz Schubotz](https://md.research.elamur.ai/free/en/authors/moritz-schubotz/) ## Venues Where their works here were published, the most works first, with the editions of those that have a page. - [NTCIR](https://md.research.elamur.ai/free/en/venues/ntcir/) ×3: [NTCIR 2016](https://md.research.elamur.ai/free/en/venues/ntcir/2016/), [NTCIR 2014](https://md.research.elamur.ai/free/en/venues/ntcir/2014/), [NTCIR 2013](https://md.research.elamur.ai/free/en/venues/ntcir/2013/) - Mathematics in Computer Science 3(3) ## Cited by Papers of our library cite their works 45 times (of the 149,439 papers whose bibliographies we read); [6 citing papers with a page here →](https://md.research.elamur.ai/free/en/authors/michael-kohlhase/cited-by/). Updated 3 November 2026