FAU.de
Deutsch
Login
Home
Publications
Research Grants
Inventions & Patents
Awards
Additional Research Activities
Faculties & Institutions
Research Areas
Professur für Wissensrepräsentation und -verarbeitung
Friedrich-Alexander-Universität Erlangen-Nürnberg
Technische Fakultät
Department Informatik
Overview
Publications
(376)
Research Grants
(10)
Types of publications
Toggle all
Journal article
Journal article
Book chapter / Article in edited volumes
Book chapter / Article in edited volumes
Authored book
Authored book
Translation
Translation
Thesis
Thesis
Edited Volume
Edited Volume
Conference contribution
Conference contribution
Other publication type
Other publication type
Unpublished / Preprint
Unpublished / Preprint
Publication year
From
To
Abstract
Journal
Filters (inactive)
Model pathway diagrams for the representation of mathematical models (2018)
Müller D, Kohlhase M, Koprucki T, Tabelow K, Rabe F
Journal article, Original article
EDEN - The Erlangen Epigraphic Web Database of Ancient Inscriptions. (2018)
Görz G, Scholz M
Book chapter / Article in edited volumes
Translating the IMPS theory library to MMT/OMDoc (2018)
Kohlhase M, Betzendahl J
Conference contribution, Original article
Towards context graphs for argumentation logics (2018)
Kohlhase M
Conference contribution, Conference Contribution
Knowledge amalgamation for computational science and engineering (2018)
Pollinger T, Kohlhase M, Köstler H
Conference contribution, Original article
Discourse phenomena in mathematical documents (2018)
Kohlhase M, Kohlhase A, Ouypornkochagorn T
Conference contribution, Original article
A proposal for an openMath JSON encoding (2018)
Wiesing T, Kohlhase M
Conference contribution, Conference Contribution
Theories as Types (2018)
Müller D, Kohlhase M, Rabe F
Conference contribution, Original article
Automatically finding theory morphisms for knowledge management (2018)
Müller D, Kohlhase M, Rabe F
Conference contribution, Original article
Translating the IMPS theory library to MMT/OMDoc (2018)
Kohlhase M, Betzendahl J
Conference contribution, Original article
‹
1
...
4
5
6
7
8
...
24
›