FAU.de
Deutsch
Login
Home
Publications
Research Grants
Inventions & Patents
Awards
Additional Research Activities
Faculties & Institutions
Research Areas
PD Dr. Florian Rabe
List of publications:
BibTeX-Download
Professur für Wissensrepräsentation und -verarbeitung
Technische Fakultät
Project Leads
(1)
Project Memberships
(3)
Publications
(60)
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)
Making Isabelle Content Accessible in Knowledge Representation Formats (2020)
Kohlhase M, Rabe F, Wenzel M
Conference contribution
Representing Structural Language Features in Formal Meta-languages (2020)
Müller D, Rabe F, Rothgang C, Kohlhase M
Conference contribution, Original article
Tgview3d: A system for 3-dimensional visualization of theory graphs (2020)
Marcus R, Kohlhase M, Rabe F
Conference contribution
A survey of languages for formalizing mathematics (2020)
Kaliszyk C, Rabe F
Conference contribution
Big Math and the One-Brain Barrier: The Tetrapod Model of Mathematical Knowledge (2020)
Carette J, Farmer WM, Kohlhase M, Rabe F
Journal article
Towards a heterogeneous query language for mathematical knowledge (2020)
Bercic K, Kohlhase M, Rabe F
Conference contribution
Logic-Independent Proof Search in Logical Frameworks: (Short Paper) (2020)
Kohlhase M, Rabe F, Sacerdoti Coen C, Schaefer JF
Conference contribution
(Deep) FAIR mathematics (2020)
Bercic K, Kohlhase M, Rabe F
Journal article
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
‹
1
2
3
4
...
6
›