World's Best Scientists 2026 revealed!

D-Index & Metrics

Computer Science

D-Index
39
Citations
5019
World Ranking
9893
National Ranking
494

Overview

Michael Kohlhase is affiliated with the University of Erlangen-Nuremberg in Germany and conducts research primarily in the field of Computer Science. Their work spans a number of subfields including Artificial Intelligence, Computational Theory and Mathematics, Computer Networks and Communications, Computer Science Applications, and Information Systems and Management.

The scientist's main research topics involve Mathematics, Computing, and Information Processing, Advanced Database Systems and Queries, Logic, programming, and type systems, Scientific Computing and Data Management, Semantic Web and Ontologies, Open Education and E-Learning, and Logic, Reasoning, and Knowledge.

Michael Kohlhase has published in various venues, with frequent publications in arXiv (Cornell University), Jusletter IT, it - Information Technology, Datenbank-Spektrum, and the Journal of Computer Assisted Learning.

Some of the recent papers authored or co-authored by Michael Kohlhase include:

  • "Agent-Oriented Integration of Distributed Mathematical Services" (2020) in JUCS - Journal of Universal Computer Science
  • "Big Math and the One-Brain Barrier: The Tetrapod Model of Mathematical Knowledge" (2020) in The Mathematical Intelligencer
  • "Leveraging Large Language Models to Generate Course-Specific Semantically Annotated Learning Objects" (2024) in Journal of Computer Assisted Learning
  • "A LaTeX-based ecosystem for semantic/active mathematical documents" (2022) in TUGboat
  • "(Deep) FAIR mathematics" (2020) in it - Information Technology

Frequent collaborators in their work include Florian Rabe, Dennis Müller, Marc Berges, Dominic Lohr, and Jan Frederik Schaefer. These collaborations reflect ongoing partnerships in related research areas.

Best Publications

  • MathDox : mathematical documents on the web

    Michael Kohlhase

  • Omega: Towards a Mathematical Assistant

    Christoph Benzmüller;Lassaad Cheikhrouhou;Detlef Fehrer;Armin Fiedler

  • A search engine for mathematical formulae

    Michael Kohlhase;Ioan Sucan

  • A scalable module system

    Florian Rabe;Michael Kohlhase

  • Higher-order semantics and extensionality

    Christoph Benzmüller;Chad E. Brown;Michael Kohlhase

  • MBase: Representing Knowledge and Context for the Integration of Mathematical Software Systems

    Michael Kohlhase;Andreas Franke

  • OMDOC: Towards an Internet Standard for the Administration, Distribution, and Teaching of Mathematical Knowledge

    Michael Kohlhase

  • Inference and Computational Semantics

    Hans de Nivelle;Patrick Blackburn;Johan Bos;Michael Kohlhase

  • Proof Development with OMEGA

    Jörg H. Siekmann;Christoph Benzmüller;Vladimir Brezhnev;Lassaad Cheikhrouhou

  • Using as a Semantic Markup Format

    Michael Kohlhase

  • System description : LEO - A higher-order theorem prover

    C. Benzmüller;M. Kohlhase

  • NTCIR-11 Math-2 Task Overview.

    Akiko Aizawa;Michael Kohlhase;Iadh Ounis;Moritz Schubotz

  • System Description: MathWeb, an Agent-Based Communication Layer for Distributed Automated Theorem Proving

    Andreas Franke;Michael Kohlhase

  • Agent-Oriented Integration of Distributed Mathematical Services.

    Andreas Franke;Stephan M. Hess;Christoph G. Jung;Michael Kohlhase

  • NTCIR-12 MathIR Task Overview.

    Richard Zanibbi;Akiko Aizawa;Michael Kohlhase;Iadh Ounis

  • Integrating Computer Algebra into Proof Planning

    Manfred Kerber;Michael Kohlhase;Volker Sorge

  • Transforming Large Collections of Scientific Publications to XML

    Heinrich Stamerjohanns;Michael Kohlhase;Deyan Ginev;Catalin David

  • Ω-MKRP: A proof development environment

    Xiaorong Huang;Manfred Kerber;Michael Kohlhase;Erica Melis

  • NTCIR-10 Math Pilot Task Overview.

    Akiko Aizawa;Michael Kohlhase;Iadh Ounis

  • Project abstract: logic atlas and integrator (LATIN)

    Mihai Codescu;Fulya Horozal;Michael Kohlhase;Till Mossakowski

  • ΩMEGA : Towards a mathematical assistant

    C. Benzmüller;L. Cheikhrouhou;D. Fehrer;A. Fiedler

Frequent Co-Authors

Josef Urban
Josef Urban Czech Technical University in Prague
Iadh Ounis
Iadh Ounis University of Glasgow
Christian Freksa
Christian Freksa University of Bremen
Frank Pfenning
Frank Pfenning Carnegie Mellon University
Philipp Cimiano
Philipp Cimiano Bielefeld University
Yusuke Miyao
Yusuke Miyao University of Tokyo
Ulrike Sattler
Ulrike Sattler University of Manchester
Joël Ouaknine
Joël Ouaknine Max Planck Institute for Software Systems
Marc Stamminger
Marc Stamminger University of Erlangen-Nuremberg
Edmund M. Clarke
Edmund M. Clarke Carnegie Mellon University

If you think any of the details on this page are incorrect, let us know.

Report an issue

We appreciate your kind effort to assist us to improve this page, it would be helpful providing us with as much detail as possible in the text box below:

Related Online Degrees & Career Pathways

Considering Computer Science online studies in the USA opens up a variety of related degrees and career options. If your academic record isn’t perfect, you can explore a college that accepts low gpa to kickstart your journey. Many accredited online programs provide flexible entry requirements.

For those interested in fast-tracked education, a 1 year computer science degree online can help you quickly build skills and enter the workforce sooner. Accelerated options are growing in popularity and are ideal for motivated learners.

Computer Science skills are highly versatile. Graduates may also consider interdisciplinary options, such as environmental engineer degree online programs. Such degrees pair technical expertise with a focus on sustainability.

In addition, you might explore unique careers by combining backgrounds in technology and other sciences—discover more about jobs with elementary education and environmental science degree to broaden your impact. Online learning in the USA provides a multitude of pathways to match your interests, pace, and goals.

Best Scientists Citing Michael Kohlhase

Trending Scientists

Recently Published Articles