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
(232)
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)
Theorem Proving in Dependently-Typed Higher-Order Logic (2023)
Rothgang C, Rabe F, Benzmüller C
Conference contribution
Learning with ALeA: Tailored experiences through annotated course material (2023)
Kruse T, Berges MP, Betzendahl J, Kohlhase M, Lohr D, Müller D
Conference contribution, Conference Contribution
VON OBJEKT- UND META-EBENEN: ANALYSE DER SOFTWAREANFORDERUNGEN COMPUTERGESTÜTZTER JURISTISCHER ENTSCHEIDUNGEN (2022)
Adrian A, Rapp M, Steen A
Journal article
Palliativversorgung in Zeiten der COVID-19-Pandemie: Wandelt sich die öffentliche Wahrnehmung? (Abstract) (2022)
Peters J, Rabenstein U, Heckel M, Breindl E, Ostgathe C
Journal article
System Description STEX3-A LATEX-Based Ecosystem for Semantic/Active Mathematical Documents (2022)
Kohlhase M, Müller D
Conference contribution
Injecting Formal Mathematics Into LATEX (2022)
Müller D, Kohlhase M
Conference contribution
Explaining Image Classifications with Near Misses, Near Hits and Prototypes: Supporting Domain Experts in Understanding Decision Boundaries (2022)
Herchenbach M, Müller D, Scheele S, Schmid U
Conference contribution
Systematic translation of formalizations of type theory from intrinsic to extrinsic style (2021)
Rabe F, Roux N
Conference contribution
A register variation perspective on varieties of English (2021)
Neumann S, Evert S
Book chapter / Article in edited volumes
A Language with Type-Dependent Equality (2021)
Rabe F
Conference contribution
‹
1
2
3
4
...
24
›