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
Project Leads
(1)
Project Memberships
(3)
Publications
(59)
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)
The Potential of Answer Classes in Large-scale Written Computer-Science Exams (2023)
Lohr D, Berges MP, Kohlhase M, Rabe F
Conference contribution, Conference Contribution
Morphism Equality in Theory Graphs (2023)
Rabe F, Weber F
Conference contribution
Extracting Theory Graphs from Aldor Libraries (2023)
Rabe F, Watt SM
Conference contribution
Theorem Proving in Dependently-Typed Higher-Order Logic (2023)
Rothgang C, Rabe F, Benzmüller C
Conference contribution
Systematic translation of formalizations of type theory from intrinsic to extrinsic style (2021)
Rabe F, Roux N
Conference contribution
A Language with Type-Dependent Equality (2021)
Rabe F
Conference contribution
A New Export of the Mizar Mathematical Library (2021)
Rothgang C, Korniłowicz A, Rabe F
Conference contribution
Experiences from Exporting Major Proof Assistant Libraries (2021)
Kohlhase M, Rabe F
Journal article
Structure-Preserving Diagram Operators (2021)
Roux N, Rabe F
Conference contribution
Making Isabelle Content Accessible in Knowledge Representation Formats (2020)
Kohlhase M, Rabe F, Wenzel M
Conference contribution
‹
1
2
3
...
6
›