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)
DiscreteZOO: A Fingerprint Database of Discrete Objects (2020)
Bercic K, Vidali J
Journal article
(Deep) FAIR mathematics (2020)
Bercic K, Kohlhase M, Rabe F
Journal article
Social Choice and the Problem of Recommending Essential Readings (2019)
Hungerbühler S, Jóhnsson HP, Lisowski G, Rapp M
Conference contribution
The Coq Library as a Theory Graph (2019)
Müller D, Rabe F, Sacerdoti Coen C
Conference contribution
Diagram Combinators in MMT (2019)
Rabe F, Sharoda Y
Conference contribution
Relational Data Across Mathematical Libraries (2019)
Condoluci A, Kohlhase M, Müller D, Rabe F, Sacerdoti Coen C, Wenzel M
Conference contribution
Towards a Unified Mathematical Data Infrastructure: Database and Interface Generation (2019)
Bercic K, Kohlhase M, Rabe F
Conference contribution, Original article
Integrating Semantic Mathematical Documents and Dynamic Notebooks (2019)
Amann K, Kohlhase M, Rabe F, Wiesing T
Conference contribution
Joint digitization of heterogeneous university collections using semantic web technologies (2019)
Wagner S, Görz G, Fichtner M, Andraschke U
Conference contribution
Structuring Theories with Implicit Morphisms (2019)
Müller D, Rabe F
Conference contribution
‹
1
...
3
4
5
6
7
...
24
›