Michael Kohlhase
Orcid: 0000-0002-9859-6337Affiliations:
- Friedrich Alexander University of Erlangen-Nuremberg, Erlangen, Germany
- Jacobs University, Bremen, Germany (former)
According to our database1,
Michael Kohlhase
authored at least 204 papers
between 1992 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on zbmath.org
-
on viaf.org
-
on orcid.org
-
on kwarc.info
-
on id.loc.gov
-
on d-nb.info
-
on isni.org
-
on dl.acm.org
On csauthors.net:
Bibliography
2024
Proceedings of the Intelligent Computer Mathematics - 17th International Conference, 2024
2023
Towards an Annotation Standard for STEM Documents - Datasets, Benchmarks, and Spotters.
Proceedings of the Intelligent Computer Mathematics - 16th International Conference, 2023
Proceedings of the Intelligent Computer Mathematics - 16th International Conference, 2023
Proceedings of the 53. Jahrestagung der Gesellschaft für Informatik, INFORMATIK 2023, Designing Future, 2023
The Y-Model - Formalization of Computer Science Tasks in the Context of Adaptive Learning Systems.
Proceedings of the 2nd IEEE German Education Conference, 2023
Guided Tours in ALeA - Assembling Tailored Educational Dialogues from Semantically Annotated Learning Objects.
Proceedings of the Artificial Intelligence. ECAI 2023 International Workshops - XAI³, TACTIFUL, XI-ML, SEDAMI, RAAIT, AI4S, HYDRA, AI4AI, Kraków, Poland, September 30, 2023
2022
Proceedings of the Intelligent Computer Mathematics - 15th International Conference, 2022
System Description STEX3 - A LATEX-Based Ecosystem for Semantic/Active Mathematical Documents.
Proceedings of the Intelligent Computer Mathematics - 15th International Conference, 2022
2021
Proceedings of the Joint Proceedings of the FMM, FVPS, MathUI,NatFoM, and OpenMath Workshops, Doctoral Program, and Work in Progress at the Conference on Intelligent Computer Mathematics 2021 co-located with the 14th Conference on Intelligent Computer Mathematics (CICM 2021), Virtual Event, Timisoara, Romania, July 26, 2021
Proceedings of the Joint Proceedings of the FMM, FVPS, MathUI,NatFoM, and OpenMath Workshops, Doctoral Program, and Work in Progress at the Conference on Intelligent Computer Mathematics 2021 co-located with the 14th Conference on Intelligent Computer Mathematics (CICM 2021), Virtual Event, Timisoara, Romania, July 26, 2021
Proceedings of the Joint Proceedings of the FMM, FVPS, MathUI,NatFoM, and OpenMath Workshops, Doctoral Program, and Work in Progress at the Conference on Intelligent Computer Mathematics 2021 co-located with the 14th Conference on Intelligent Computer Mathematics (CICM 2021), Virtual Event, Timisoara, Romania, July 26, 2021
Proceedings of the Joint Proceedings of the FMM, FVPS, MathUI,NatFoM, and OpenMath Workshops, Doctoral Program, and Work in Progress at the Conference on Intelligent Computer Mathematics 2021 co-located with the 14th Conference on Intelligent Computer Mathematics (CICM 2021), Virtual Event, Timisoara, Romania, July 26, 2021
System Description: sTeX2.0 - A LaTeX-based Ecosystem for Semantic/Active Mathematical Documents (short paper).
Proceedings of the Joint Proceedings of the FMM, FVPS, MathUI,NatFoM, and OpenMath Workshops, Doctoral Program, and Work in Progress at the Conference on Intelligent Computer Mathematics 2021 co-located with the 14th Conference on Intelligent Computer Mathematics (CICM 2021), Virtual Event, Timisoara, Romania, July 26, 2021
2020
CoRR, 2020
Proceedings of the Intelligent Computer Mathematics - 13th International Conference, 2020
Proceedings of the Intelligent Computer Mathematics - 13th International Conference, 2020
Proceedings of the Intelligent Computer Mathematics - 13th International Conference, 2020
Proceedings of the Intelligent Computer Mathematics - 13th International Conference, 2020
Proceedings of the 6th Workshop on Formal and Cognitive Reasoning co-located with 43rd German Conference on Artificial Intelligence (KI-2020), 2020
Proceedings of the 6th Workshop on Formal and Cognitive Reasoning co-located with 43rd German Conference on Artificial Intelligence (KI-2020), 2020
Proceedings of the Mathematical Software - ICMS 2020, 2020
Proceedings of the Third International Workshop on Systems and Algorithms for Formal Argumentation co-located with the 8th International Conference on Computational Models of Argument (COMMA 2020), 2020
Proceedings of the Automated Reasoning - 10th International Joint Conference, 2020
2019
Proceedings of the Fourteenth Workshop on Logical Frameworks and Meta-Languages: Theory and Practice, 2019
CoRR, 2019
CoRR, 2019
CoRR, 2019
Proceedings of the 25th International Conference on Types for Proofs and Programs, 2019
Proceedings of the Intelligent Computer Mathematics - 12th International Conference, 2019
Towards a Unified Mathematical Data Infrastructure: Database and Interface Generation.
Proceedings of the Intelligent Computer Mathematics - 12th International Conference, 2019
Proceedings of the Intelligent Computer Mathematics - 12th International Conference, 2019
Proceedings of the Conference on "Lernen, Wissen, Daten, Analysen", Berlin, Germany, September 30, 2019
2018
Proceedings of the Joint Proceedings of the CME-EI, 2018
Proceedings of the Joint Proceedings of the CME-EI, 2018
Proceedings of the Intelligent Computer Mathematics - 11th International Conference, 2018
Proceedings of the Intelligent Computer Mathematics - 11th International Conference, 2018
Proceedings of the Intelligent Computer Mathematics - 11th International Conference, 2018
Proceedings of the Intelligent Computer Mathematics - 11th International Conference, 2018
Proceedings of the Conference "Lernen, Wissen, Daten, Analysen", 2018
Proceedings of the Automated Reasoning - 9th International Joint Conference, 2018
2017
Proceedings of the Intelligent Computer Mathematics - 10th International Conference, 2017
Proceedings of the Intelligent Computer Mathematics - 10th International Conference, 2017
Proceedings of the Intelligent Computer Mathematics - 10th International Conference, 2017
Proceedings of the Intelligent Computer Mathematics - 10th International Conference, 2017
Proceedings of the Mathematical Aspects of Computer and Information Sciences, 2017
Proceedings of the Mathematical Aspects of Computer and Information Sciences, 2017
Proceedings of the Lernen, 2017
Proceedings of the Interactive Theorem Proving - 8th International Conference, 2017
2016
J. Formaliz. Reason., 2016
CoRR, 2016
Proceedings of the 12th NTCIR Conference on Evaluation of Information Access Technologies, 2016
Proceedings of the Intelligent Computer Mathematics - 9th International Conference, 2016
Formula Semantification and Automated Relation Finding in the On-Line Encyclopedia for Integer Sequences.
Proceedings of the Mathematical Software - ICMS 2016, 2016
Proceedings of the Mathematical Software - ICMS 2016, 2016
Proceedings of the Joint Proceedings of the FM4M, 2016
Proceedings of the Joint Proceedings of the FM4M, 2016
Proceedings of the Joint Proceedings of the FM4M, 2016
2015
Proceedings of the Intelligent Computer Mathematics - International Conference, 2015
Proceedings of the Intelligent Computer Mathematics - International Conference, 2015
Proceedings of the Mathematical Aspects of Computer and Information Sciences, 2015
Proceedings of the LWA 2015 Workshops: KDML, 2015
Proceedings of the Second Workshop on Software Engineering Methods in Spreadsheets co-located with the 37th International Conference on Software Engineering (ICSE 2015) , 2015
Proceedings of the Second Workshop on Software Engineering Methods in Spreadsheets co-located with the 37th International Conference on Software Engineering (ICSE 2015) , 2015
2014
Proceedings of the 11th NTCIR Conference on Evaluation of Information Access Technologies, 2014
Proceedings of the 11th NTCIR Conference on Evaluation of Information Access Technologies, 2014
Proceedings of the Intelligent Computer Mathematics - International Conference, 2014
Proceedings of the Joint Proceedings of the MathUI, 2014
Proceedings of the Joint Proceedings of the MathUI, 2014
Proceedings of the Intelligent Computer Mathematics - International Conference, 2014
Proceedings of the Intelligent Computer Mathematics - International Conference, 2014
Proceedings of the Intelligent Computer Mathematics - International Conference, 2014
Proceedings of the Intelligent Computer Mathematics - International Conference, 2014
Mathematical Knowledge Management and Information Retrieval: Transcending the One-Brain-Barrier.
Proceedings of the 16th LWA Workshops: KDML, 2014
Proceedings of the Mathematical Software - ICMS 2014, 2014
Proceedings of the Mathematical Software - ICMS 2014, 2014
Proceedings of the 6th Workshop on Formal Ontologies meet Industry co-located with 8th International Conference on Formal Ontology in Information Systems (FOIS 2014), 2014
2013
J. Autom. Reason., 2013
Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2013
Proceedings of the 10th NTCIR Conference on Evaluation of Information Access Technologies, 2013
Proceedings of the 10th NTCIR Conference on Evaluation of Information Access Technologies, 2013
Proceedings of the Intelligent Computer Mathematics, 2013
Proceedings of the Joint Proceedings of the MathUI, 2013
Proceedings of the Human-Computer Interaction - INTERACT 2013, 2013
2012
J. Appl. Non Class. Logics, 2012
Reimplementing the Mathematical Subject Classification (MSC) as a Linked Open Dataset
CoRR, 2012
Proceedings of the 14th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, 2012
Bringing Mathematics to the Web of Data: The Case of the Mathematics Subject Classification.
Proceedings of the Semantic Web: Research and Applications, 2012
Proceedings of the Intelligent Computer Mathematics - 11th International Conference, 2012
Proceedings of the Intelligent Computer Mathematics - 11th International Conference, 2012
Proceedings of the Intelligent Computer Mathematics - 11th International Conference, 2012
Proceedings of the Intelligent Computer Mathematics - 11th International Conference, 2012
Reimplementing the Mathematics Subject Classification (MSC) as a Linked Open Dataset.
Proceedings of the Intelligent Computer Mathematics - 11th International Conference, 2012
2011
Proceedings of the International Conference on Computational Science, 2011
Proceedings of the 29th ACM international conference on Design of communication, 2011
Proceedings of the 29th ACM international conference on Design of communication, 2011
Proceedings of the Intelligent Computer Mathematics - 18th Symposium, 2011
Proceedings of the Intelligent Computer Mathematics - 18th Symposium, 2011
Proceedings of the Intelligent Computer Mathematics - 18th Symposium, 2011
Proceedings of the Intelligent Computer Mathematics - 18th Symposium, 2011
Workflows for the Management of Change in Science, Technologies, Engineering and Mathematics.
Proceedings of the Intelligent Computer Mathematics - 18th Symposium, 2011
Proceedings of the Intelligent Computer Mathematics - 18th Symposium, 2011
MathWebSearch 0.5 An Open Formula Search Engine.
Proceedings of the Report of the symposium "Lernen, 2011
The LaTeXML Daemon: Editable Math on the Collaborative Web.
Proceedings of the Report of the symposium "Lernen, 2011
Proceedings of the 1st Workshop on Semantic Publishing 2011, 2011
Proceedings of the Semanic Web: Research and Applications, 2011
2010
Math. Comput. Sci., 2010
Proceedings of the Recent Trends in Algebraic Development Techniques, 2010
Proceedings of the Recent Trends in Algebraic Development Techniques, 2010
Proceedings of the 5th Workshop on Semantic Wikis, 2010
Proceedings of the Proceedings the 6th International Conference on Semantic Systems, 2010
Proceedings of the Semantic Web: Research and Applications, 2010
Proceedings of the Intelligent Computer Mathematics, 10th International Conference, 2010
Proceedings of the Intelligent Computer Mathematics, 10th International Conference, 2010
Proceedings of the Intelligent Computer Mathematics, 10th International Conference, 2010
2009
J. Netw. Syst. Manag., 2009
Inf. Syst. Manag., 2009
Proceedings of the 27th Annual International Conference on Design of Communication, 2009
Proceedings of the 27th Annual International Conference on Design of Communication, 2009
Proceedings of the Intelligent Computer Mathematics, 2009
Proceedings of the Intelligent Computer Mathematics, 2009
Proceedings of the Intelligent Computer Mathematics, 2009
Proceedings of the Intelligent Computer Mathematics, 2009
What you understand is what you get: Assessment in Spreadsheets.
Proceedings of the LWA 2009: Workshop-Woche: Lernen, 2009
Proceedings of the 39. Jahrestagung der Gesellschaft für Informatik, Im Focus das Leben, INFORMATIK 2009, Lübeck, Germany, September 28, 2009
Proceedings of the FM 2009: Formal Methods, 2009
2008
Proceedings of the Emerging Technologies and Information Systems for the Knowledge Society, 2008
Fine-Granular Version Control & Redundancy Resolution.
Proceedings of the LWA 2008, 2008
Compensating the Semantic Bias of Spreadsheets.
Proceedings of the LWA 2008, 2008
Proceedings of the LPAR 2008 Workshops, 2008
Proceedings of the Intelligent Computer Mathematics, 9th International Conference, 2008
Proceedings of the Intelligent Computer Mathematics, 9th International Conference, 2008
2007
Extended Formula Normalization for <i>epsilon</i> -Retrieval and Sharing of Mathematical Knowledge.
Proceedings of the Towards Mechanized Mathematical Assistants, 14th Symposium, 2007
<i>Re</i> examining the MKM Value Proposition: From Math Web Search to Math Web <i>Re</i> Search.
Proceedings of the Towards Mechanized Mathematical Assistants, 14th Symposium, 2007
panta rhei.
Proceedings of the LWA 2007: Lernen - Wissen, 2007
Managing Variants in Document Content and Narrative Structures.
Proceedings of the LWA 2007: Lernen - Wissen, 2007
2006
Proceedings of the SemWiki2006, First Workshop on Semantic Wikis, 2006
Proceedings of the Mathematical Knowledge Management, 5th International Conference, 2006
Proceedings of the Mathematical Knowledge Management, 5th International Conference, 2006
Proceedings of the Automated Reasoning, Third International Joint Conference, 2006
Proceedings of the Artificial Intelligence and Symbolic Computation, 2006
Lecture Notes in Computer Science 4180, Springer, ISBN: 3-540-37897-9, 2006
2005
Proceedings of the Mathematical Knowledge Management, 4th International Conference, 2005
2004
Proceedings of the Mathematical Knowledge Management, Third International Conference, 2004
2003
Towards Collaborative Content Management and Version Control for Structured Mathematical Knowledge.
Proceedings of the Mathematical Knowledge Management, Second International Conference, 2003
2002
Proceedings of the Automated Deduction, 2002
2001
MBase: Representing Knowledge and Context for the Integration of Mathematical Software Systems.
J. Symb. Comput., 2001
2000
J. Autom. Reason., 2000
SIGSAM Bull., 2000
Proceedings of the Automated Deduction, 2000
Proceedings of the Seventh Workshop on Automated Reasoning, 2000
OMDOC: Towards an Internet Standard for the Administration, Distribution, and Teaching of Mathematical Knowledge.
Proceedings of the Artificial Intelligence and Symbolic Computation, 2000
Proceedings of the 38th Annual Meeting of the Association for Computational Linguistics, 2000
1999
J. Univers. Comput. Sci., 1999
Formal Aspects Comput., 1999
Proceedings of the Systems for Integrated Computation and Deduction, 1999
System Description: MathWeb, an Agent-Based Communication Layer for Distributed Automated Theorem Proving.
Proceedings of the Automated Deduction, 1999
1998
Proceedings of the Automated Deduction, 1998
1997
Proceedings of the KI-97: Advances in Artificial Intelligence, 1997
Proceedings of the Fifteenth International Joint Conference on Artificial Intelligence, 1997
Proceedings of the Automated Deduction, 1997
Proceedings of the Automated Deduction, 1997
1996
Sorten für das automatische Beweisen höherer Stufe.
Künstliche Intell., 1996
Corrections and Higher-Order Unification.
Proceedings of the Natural Language Processing and Speech Technology, 1996
A Resolution Calculus for Presuppositions.
Proceedings of the 12th European Conference on Artificial Intelligence, 1996
Proceedings of the Design and Implementation of Symbolic Computation Systems, 1996
Proceedings of the 16th International Conference on Computational Linguistics, 1996
Proceedings of the 34th Annual Meeting of the Association for Computational Linguistics, 1996
1995
Proceedings of the Theorem Proving with Analytic Tableaux and Related Methods, 1995
1994
PhD thesis, 1994
Proceedings of the KI-94: Advances in Artificial Intelligence, 1994
Proceedings of the KI-94: Advances in Artificial Intelligence, 1994
Proceedings of the Automated Deduction - CADE-12, 12th International Conference on Automated Deduction, Nancy, France, June 26, 1994
Unification in an Extensional Lambda Calculus with Ordered Function Sorts and Constant Overloading.
Proceedings of the Automated Deduction - CADE-12, 12th International Conference on Automated Deduction, Nancy, France, June 26, 1994
Proceedings of the Automated Deduction - CADE-12, 12th International Conference on Automated Deduction, Nancy, France, June 26, 1994
Proceedings of the Automated Deduction - CADE-12, 12th International Conference on Automated Deduction, Nancy, France, June 26, 1994
1993
Unification in a Lambda-Calculus with Intersection Types.
Proceedings of the Logic Programming, 1993
1992
Proceedings of the Logic Programming and Automated Reasoning, 1992