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
(233)
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 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
Mathematical Information Retrieval (2021)
Aizawa A, Kohlhase M
Book chapter / Article in edited volumes
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
Representing Structural Language Features in Formal Meta-languages (2020)
Müller D, Rabe F, Rothgang C, Kohlhase M
Conference contribution, Original article
FrameIT: Detangling Knowledge Management from Game Design in Serious Games (2020)
Kohlhase M, Bösl B, Marcus R, Müller D, Rochau D, Roux N, Schihada J, Stamminger M
Conference contribution, Conference Contribution
Towards constructive hybrid semantics (2020)
Diezel TL, Goncharov S
Conference contribution, Original article
Tgview3d: A system for 3-dimensional visualization of theory graphs (2020)
Marcus R, Kohlhase M, Rabe F
Conference contribution
‹
1
2
3
4
5
...
24
›