Michael Kohlhase

ORCID

Publication Activity (10 Years)

Years Active: 1992-2024
Publications (10 Years): 64

Top Venues

Saarland University, Saarbrücken, Germany (PHD)

Education History

Saarland University, Saarbrücken, Germany

PHD

Publications

Michael Kohlhase, Marcel Schütz
Reusing Learning Objects via Theory Morphisms. CICM (2024)
Jonas Betzendahl, Michael Kohlhase, Dennis Müller
Guided Tours in ALeA - Assembling Tailored Educational Dialogues from Semantically Annotated Learning Objects. ECAI Workshops (2) (2023)
Dominic Lohr, Marc Berges, Michael Kohlhase, Dennis Müller, Max Rapp
The Y-Model - Formalization of Computer Science Tasks in the Context of Adaptive Learning Systems. GECon (2023)
Jan Frederik Schaefer, Michael Kohlhase
Towards an Annotation Standard for STEM Documents - Datasets, Benchmarks, and Spotters. CICM (2023)
Marc Berges, Jonas Betzendahl, Abhishek Chugh, Michael Kohlhase, Dominic Lohr, Dennis Müller
Learning Support Systems Based on Mathematical Knowledge Management. CICM (2023)
Theresa Kruse, Marc Berges, Jonas Betzendahl, Michael Kohlhase, Dominic Lohr, Dennis Müller
Learning with ALeA: Tailored experiences through annotated course material. GI-Jahrestagung (2023)
Michael Kohlhase, Dennis Müller
System Description STEX3 - A LATEX-Based Ecosystem for Semantic/Active Mathematical Documents. CICM (2022)
Dennis Müller, Michael Kohlhase
Injecting Formal Mathematics Into LaTeX. CICM (2022)
Philipp Cimiano, Gerhard Heyer, Michael Kohlhase, Benno Stein, Jürgen Ziegler, Theo Härder
Erratum zu: Editorial. Datenbank-Spektrum 21 (2) (2021)
Andrea Kohlhase, Michael Kohlhase
A Conceptual Design for an Eye-Tracking Experiment on Formula Linebreaking. CICM Workshops (2021)
James H. Davenport, Michael Kohlhase
OpenMath Preface. CICM Workshops (2021)
Dennis Müller, Michael Kohlhase, Jan Frederik Schaefer
System Description: sTeX2.0 - A LaTeX-based Ecosystem for Semantic/Active Mathematical Documents (short paper). CICM Workshops (2021)
Richard Marcus, Michael Kohlhase, Navid Roux, John Schihada
Dynamic User Interfaces via Incremental Knowledge Management. CICM Workshops (2021)
Michael Kohlhase, Florian Rabe
Experiences from Exporting Major Proof Assistant Libraries. J. Autom. Reason. 65 (8) (2021)
Takuto Asakura, Yusuke Miyao, Akiko Aizawa, Michael Kohlhase
MioGatto: A Math Identifier-oriented Grounding Annotation Tool. CICM Workshops (2021)
Max Rapp, Axel Adrian, Michael Kohlhase
Context Graphs for Legal Reasoning and Argumentation. SAFA@COMMA (2020)
Michael Kohlhase, Florian Rabe, Makarius Wenzel
Making Isabelle Content Accessible in Knowledge Representation Formats. CoRR (2020)
Katja Bercic, Michael Kohlhase, Florian Rabe
(Deep) FAIR mathematics. it Inf. Technol. 62 (1) (2020)
Michael Kohlhase
Deep FAIR - Knowledge Representation for Research Data about Complex Objects. FCR@KI (2020)
Katja Bercic, Michael Kohlhase, Florian Rabe
Towards a Heterogeneous Query Language for Mathematical Knowledge. CICM (2020)
Michael Kohlhase, Florian Rabe, Claudio Sacerdoti Coen, Jan Frederik Schaefer
Logic-Independent Proof Search in Logical Frameworks - (Short Paper). IJCAR (1) (2020)
Max Rapp, Axel Adrian, Michael Kohlhase
Context Graphs for Legal Reasoning and Argumentation. CoRR (2020)
Jan Frederik Schaefer, Michael Kohlhase
GLIF: A Declarative Framework for Symbolic Natural Language Understanding. FCR@KI (2020)
Richard Marcus, Michael Kohlhase, Florian Rabe
TGView3D: A System for 3-Dimensional Visualization of Theory Graphs. CICM (2020)
Michael Kohlhase, Florian Rabe
Experiences from Exporting Major Proof Assistant Libraries. CoRR (2020)
Jan Frederik Schaefer, Kai Amann, Michael Kohlhase
Prototyping Controlled Mathematical Languages in Jupyter Notebooks. ICMS (2020)
Dennis Müller, Florian Rabe, Colin Rothgang, Michael Kohlhase
Representing Structural Language Features in Formal Meta-languages. CICM (2020)
Katja Bercic, Jacques Carette, William M. Farmer, Michael Kohlhase, Dennis Müller, Florian Rabe, Yasmine Sharoda
The Space of Mathematical Software Systems - A Survey of Paradigmatic Systems. CoRR (2020)
Michael Kohlhase, Benjamin Bösl, Richard Marcus, Dennis Müller, Denis Rochau, Navid Roux, John Schihada, Marc Stamminger
FrameIT: Detangling Knowledge Management from Game Design in Serious Games. CICM (2020)
Philipp Cimiano, Gerhard Heyer, Michael Kohlhase, Benno Stein, Jürgen Ziegler, Theo Härder
Editorial. Datenbank-Spektrum 20 (2) (2020)
Michael Kohlhase, Jan Frederik Schaefer
GF + MMT = GLF - From Language to Semantics through LF. LFMTP@LICS (2019)
Michael Kohlhase
The Theorem Prover Museum - Conserving the System Heritage of Automated Reasoning. CoRR (2019)
Michael Kohlhase, Max Rapp
Context Graphs for Argumentation Logics. LWDA (2019)
Jacques Carette, William M. Farmer, Michael Kohlhase, Florian Rabe
Big Math and the One-Brain Barrier A Position Paper and Architecture Proposal. CoRR (2019)
Andrea Condoluci, Michael Kohlhase, Dennis Müller, Florian Rabe, Claudio Sacerdoti Coen, Makarius Wenzel
Relational Data Across Mathematical Libraries. CICM (2019)
Kai Amann, Michael Kohlhase, Florian Rabe, Tom Wiesing
Integrating Semantic Mathematical Documents and Dynamic Notebooks. CICM (2019)
Katja Bercic, Michael Kohlhase, Florian Rabe
Towards a Unified Mathematical Data Infrastructure: Database and Interface Generation. CICM (2019)
Michael Kohlhase, Florian Rabe, Makarius Wenzel
Making Isabelle Content Accessible in Knowledge Representation Formats. TYPES (2019)
Richard Marcus, Michael Kohlhase, Florian Rabe
TGView3D System Description: 3-Dimensional Visualization of Theory Graphs. CoRR (2019)
Dennis Müller, Florian Rabe, Michael Kohlhase
Theories as Types. IJCAR (2018)
Andrea Kohlhase, Michael Kohlhase, Taweechai Ouypornkochagorn
Discourse Phenomena in Mathematical Documents. CICM (2018)
Michael Kohlhase
Towards Context Graphs for Argumentation Logics. LWDA (2018)
Jonas Betzendahl, Michael Kohlhase
Translating the IMPS Theory Library to MMT/OMDoc. CICM (2018)
Tom Wiesing, Michael Kohlhase
A Proposal for an OpenMath JSON Encoding. CICM Workshops (2018)
Jan Frederik Schaefer, Michael Kohlhase
Syntactic/Semantic Analysis for High-Precision Math Linguistics (short paper). CICM Workshops (2018)
Theresa Pollinger, Michael Kohlhase, Harald Köstler
Knowledge Amalgamation for Computational Science and Engineering. CICM (2018)
Dennis Müller, Michael Kohlhase, Florian Rabe
Automatically Finding Theory Morphisms for Knowledge Management. CICM (2018)
Michael Kohlhase, Luca De Feo, Dennis Müller, Markus Pfeiffer, Florian Rabe, Nicolas M. Thiéry, Victor Vasilyev, Tom Wiesing
Knowledge-Based Interoperability for Mathematical Software Systems. MACIS (2017)
Michael Kohlhase, Thomas Koprucki, Dennis Müller, Karsten Tabelow
Mathematical Models as Research Data via Flexiformal Theory Graphs. CICM (2017)
Andrea Kohlhase, Michael Kohlhase, Michael Fürsich
Visual Structure in Mathematical Expressions. CICM (2017)
Michael Kohlhase, Dennis Müller, Sam Owre, Florian Rabe
Making PVS Accessible to Generic Services by Interpretation in a Universal Format. ITP (2017)
Dennis Müller, Thibault Gauthier, Cezary Kaliszyk, Michael Kohlhase, Florian Rabe
Classification of Alignments Between Concepts of Formal Mathematical Systems. CICM (2017)
Michael Kohlhase
Math Object Identifiers - Towards Research Data in Mathematics. LWDA (2017)
Michael Kohlhase, Wolfram Sperber
Software Citations, Information Systems, and Beyond. CICM (2017)
Tom Wiesing, Michael Kohlhase, Florian Rabe
Virtual Theories - A Uniform Interface to Mathematical Knowledge Bases. MACIS (2017)
Deyan Ginev, Mihnea Iancu, Constantin Jucovshi, Andrea Kohlhase, Michael Kohlhase, Akbar Oripov, Jürgen Schefter, Wolfram Sperber, Olaf Teschke, Tom Wiesing
The SMGloM Project and System: Towards a Terminology and Ontology for Mathematics. ICMS (2016)
Cezary Kaliszyk, Michael Kohlhase, Dennis Müller, Florian Rabe
A Standard for Aligning Mathematical Concepts. FM4M/MathUI/ThEdu/DP/WIP@CIKM (2016)
Paul-Olivier Dehaye, Mihnea Iancu, Michael Kohlhase, Alexander Konovalov, Samuel Lelièvre, Dennis Müller, Markus Pfeiffer, Florian Rabe, Nicolas M. Thiéry, Tom Wiesing
Interoperability in the OpenDreamKit Project: The Math-in-the-Middle Approach. CICM (2016)
Michael Kohlhase, Florian Rabe
QED Reloaded: Towards a Pluralistic Formal Library of Mathematical Knowledge. J. Formaliz. Reason. 9 (1) (2016)
Paul-Olivier Dehaye, Michael Kohlhase, Alexander Konovalov, Samuel Lelièvre, Markus Pfeiffer, Nicolas M. Thiéry
Interoperability in the OpenDreamKit Project: The Math-in-the-Middle Approach. CoRR (2016)
Ion Toloaca, Michael Kohlhase
Notation-based Semantification. FM4M/MathUI/ThEdu/DP/WIP@CIKM (2016)
Denis Rochau, Michael Kohlhase, Dennis Müller
FrameIT Reloaded: Serious Math Games from Modular Math Ontologies. FM4M/MathUI/ThEdu/DP/WIP@CIKM (2016)
Enxhell Luzhnica, Michael Kohlhase
Formula Semantification and Automated Relation Finding in the On-Line Encyclopedia for Integer Sequences. ICMS (2016)
Richard Zanibbi, Akiko Aizawa, Michael Kohlhase, Iadh Ounis, Goran Topic, Kenny Davila
NTCIR-12 MathIR Task Overview. NTCIR (2016)
Andrea Kohlhase, Michael Kohlhase, Ana Guseva
Context in Spreadsheet Comprehension. SEMS@ICSE (2015)
Mihnea Iancu, Michael Kohlhase
A Flexiformal Model of Knowledge Dissemination and Aggregation in Mathematics. CICM (2015)
Alexandru Toader, Andrea Kohlhase, Michael Kohlhase
Assessment for Spreadsheets. SEMS@ICSE (2015)
Deyan Ginev, Mihnea Iancu, Constantin Jucovshi, Andrea Kohlhase, Michael Kohlhase, Jürgen Schefter, Wolfram Sperber
The SMGloM Project and System. CICM (Work in Progress) (2015)
Radu Hambasan, Michael Kohlhase
Faceted Search for Mathematics. LWA (2015)
Radu Hambasan, Michael Kohlhase
Faceted Search for Mathematics. MACIS (2015)
Mihnea Iancu, Michael Kohlhase
Math Literate Knowledge Management via Induced Material. CICM (2015)
Enxhell Luzhnica, Mihnea Iancu, Michael Kohlhase
Importing the OEIS Library Into OMDoc. LWA (2015)
Feryal Fulya Horozal, Florian Rabe, Michael Kohlhase
Flexary Operators for Formalized Mathematics. CICM (2014)
Carmela Acevedo, Michael Kohlhase
OpenMathMap: Interaction. CICM Workshops (2014)
Michael Kohlhase, Corneliu-Claudiu Prodescu, Christian Liguda
XLSearch: A Search Engine for Spreadsheets. CoRR (2014)
Jacques Carette, William M. Farmer, Michael Kohlhase
Realms: A Structure for Consolidating Knowledge about Mathematical Theories. CICM (2014)
Mihnea Iancu, Constantin Jucovschi, Michael Kohlhase, Tom Wiesing
System Description: MathHub.info. CICM (2014)
Jacques Carette, William M. Farmer, Michael Kohlhase
Realms: A Structure for Consolidating Knowledge about Mathematical Theories. CoRR (2014)
Michael Kohlhase
Mathematical Knowledge Management and Information Retrieval: Transcending the One-Brain-Barrier. LWA (2014)
Michael Kohlhase, Mihnea Iancu
Discourse-Level Parallel Markup and Meaning Adoption in Flexiformal Theory Graphs. ICMS (2014)
Thilo Breitsprecher, Mihai Codescu, Constantin Jucovschi, Michael Kohlhase, Lutz Schröder, Sandro Wartzack
Towards Ontological Support for Principle Solutions in Mechanical Engineering. FOIS (2014)
Mihnea Iancu, Michael Kohlhase, Corneliu-Claudiu Prodescu
Representing, Archiving, and Searching the Space of Mathematical Knowledge. ICMS (2014)
Michael Kohlhase
OpenMath Language Extensions. CICM Workshops (2014)
Michael Kohlhase
A Data Model and Encoding for a Semantic, Multilingual Terminology of Mathematics. CICM (2014)
Akiko Aizawa, Michael Kohlhase, Iadh Ounis, Moritz Schubotz
NTCIR-11 Math-2 Task Overview. NTCIR (2014)
Michael Kohlhase
Extension Proposal: Records in Pragmatic OpenMath. CICM Workshops (2014)
Thilo Breitsprecher, Mihai Codescu, Constantin Jucovschi, Michael Kohlhase, Lutz Schröder, Sandro Wartzack
Towards Ontological Support for Principle Solutions in Mechanical Engineering. FOMI@FOIS (2014)
Lukas Kohlhase, Michael Kohlhase
System Description: A Semantics-Aware LaTeX-to-Office Converter. CICM (2014)
Radu Hambasan, Michael Kohlhase, Corneliu-Claudiu Prodescu
MathWebSearch at NTCIR-11. NTCIR (2014)
Mihnea Iancu, Michael Kohlhase, Florian Rabe, Josef Urban
The Mizar Mathematical Library in OMDoc: Translation and Applications. J. Autom. Reason. 50 (2) (2013)
Michael Kohlhase, Felix Mance, Florian Rabe
A Universal Machine for Biform Theory Graphs. CoRR (2013)
Andrea Kohlhase, Michael Kohlhase
Spreadsheets with a Semantic Layer. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 62 (2013)
Michael Kohlhase, Corneliu-Claudiu Prodescu
MathWebSearch at NTCIR-10. NTCIR (2013)
Michael Kohlhase, Felix Mance, Florian Rabe
A Universal Machine for Biform Theory Graphs. MKM/Calculemus/DML (2013)
Jan Wilken Dörrie, Michael Kohlhase
OpenMathMap: Accessing Math via Interactive Maps. LWA (2013)
Andrea Kohlhase, Michael Kohlhase, Constantin Jucovschi, Alexandru Toader
Full Semantic Transparency: Overcoming Boundaries of Applications. INTERACT (3) (2013)
Jan Wilken Dörrie, Michael Kohlhase
OpenMathMap: accessing math via interactive maps. CICM Workshops (2013)
Florian Rabe, Michael Kohlhase
A scalable module system. Inf. Comput. 230 (2013)
Akiko Aizawa, Michael Kohlhase, Iadh Ounis
NTCIR-10 Math Pilot Task Overview. NTCIR (2013)
Thilo Breitsprecher, Mihai Codescu, Constantin Jucovschi, Michael Kohlhase, Lutz Schröder, Sandro Wartzack
Towards Ontological Support for Principle Solutions in Mechanical Engineering. CoRR (2013)

Michael Kohlhase.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Michael Kohlhase