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)
A data model and encoding for a semantic, multilingual terminology of mathematics (2014)
Kohlhase M
Conference contribution
Semantic Annotation for Medieval Cartography: The Example of the Behaim Globe of 1492 (2013)
Görz G, Scholz M
Journal article
A universal machine for biform theory graphs (2013)
Kohlhase M, Mance F, Rabe F
Conference contribution, Original article
Mashups using mathematical knowledge: Why formulas are different (2013)
Lange-Bever C, Kohlhase M
Book chapter / Article in edited volumes
The Mizar mathematical library in OMDoc: Translation and applications (2013)
Iancu M, Kohlhase M, Rabe F, Urban J
Journal article, Original article
A scalable module system (2013)
Rabe F, Kohlhase M
Journal article, Original article
Full semantic transparency: Overcoming boundaries of applications (2013)
Kohlhase A, Kohlhase M, Jucovschi C, Toader A
Conference contribution, Original article
OpenMathMap: Accessing Math via Interactive Maps (2013)
Dörrie JW, Kohlhase M
Conference contribution, Original article
Logical Relations for a Logical Framework (2013)
Rabe F
Journal article
Tetravalent arc-transitive graphs of order twice a product of two primes (2012)
Bercic K, Ghasemi M
Journal article, Original article
‹
1
...
11
12
13
14
15
...
24
›