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)
Two-arc-transitive two-valent digraphs of certain orders (2016)
Bercic K, Potočnik P
Journal article, Original article
The SMGloM project and system: Towards a terminology and ontology for mathematics (2016)
Ginev D, Jucovschi C, Kohlhase A, Kohlhase M, Wiesing T
Authored book, Volume of book series
Faceted search for mathematics (2016)
Hambasan R, Kohlhase M
Conference contribution, Original article
Formula semantification and automated relation finding in the on-line encyclopedia for integer sequences (2016)
Luzhnica E, Kohlhase M
Conference contribution, Original article
QED reloaded: Towards a pluralistic formal library of mathematical knowledge (2016)
Kohlhase M, Rabe F
Journal article, Original article
3XL News: A Cross-lingual News Aggregator and Reader (2015)
Belyaeva E, Berčič J, Bercic K, Fuart F, Košmerlj A, Muhič A, Rehar A, et al.
Conference contribution, Conference Contribution
Faceted search for mathematics (2015)
Hambasan R, Kohlhase M
Conference contribution, Conference Contribution
Math literate knowledge management via induced material (2015)
Iancu M, Kohlhase M
Conference contribution, Original article
Importing the OEIS library into OMDoc (2015)
Luzhnica E, Iancu M, Kohlhase M
Conference contribution, Conference Contribution
Context in spreadsheet comprehension (2015)
Kohlhase M, Kohlhase A
Conference contribution, Original article
‹
1
...
8
9
10
11
12
...
24
›