🧑‍🔬 Michael Kohlhase

🏛️ Affiliations

🎓Friedrich-Alexander-Universität Erlangen-NürnbergErlangen · Germany2016–2026 · 47 papersEmployment since 2016 · Professor, Computer Sciencecurrent🎓Constructor UniversityBremen · Germany2003–2022 · 99 papersEmployment 2003–2016 · Professor, Computer Science🎓Saarland UniversitySaarbrücken · Germany1994–2007 · 40 papersEducation🎓Carnegie Mellon UniversityPittsburgh · United States1993–2018 · 8 papers🔬German Research Centre for Artificial IntelligenceKaiserslautern · Germany2009 · 3 papers🎓University of BremenBremen · Germany2006–2007 · 2 papers

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.

📅 Works by year

2010s

📄 Papers

The most cited first (OpenAlex and our library).

1. 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 (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 (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 (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 OverviewNTCIRRichard Zanibbi, Akiko Aizawa, Michael Kohlhase, et al.2016 · 69 citations
2. NTCIR-11 Math-2 Task OverviewNTCIRAkiko Aizawa, Michael Kohlhase, Iadh Ounis, et al.2014 · 62 citations
3. NTCIR-10 Math Pilot Task OverviewNTCIRAkiko Aizawa, Michael Kohlhase, Iadh Ounis2013 · 58 citations
4. Transforming Large Collections of Scientific Publications to XMLMathematics in Computer Science 3(3)Heinrich Stamerjohanns, Michael Kohlhase, Deyan Ginev, et al.2010 · 54 citations
5. Context Graphs for Legal Reasoning and Argumentation ↗arXiv:2007.00732 · no summary yetMax Rapp, Axel Adrian, Michael Kohlhase2020

🤝 Co-authors here

4 co-authors with a page, the most papers together first.

• Akiko Aizawa ×3
• Iadh Ounis ×3
• Goran Topić
• Moritz Schubotz

Venues

Where their works here were published, the most works first, with the editions of those that have a page.

• NTCIR ×3: NTCIR 2016, NTCIR 2014, 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 →.

Updated 3 November 2026

↑ back to top

This page in Markdown → https://md.research.elamur.ai/free/en/authors/michael-kohlhase/