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)
JURISTISCHE METHODENLEHRE 3.0: AUF DEM WEG ZU EINER MASCHINENGESTÜTZTEN METHODENWISSENSCHAFT (2023)
Adrian A, Rapp M, Steen A
Journal article
Morphism Equality in Theory Graphs (2023)
Rabe F, Weber F
Conference contribution
Towards an Annotation Standard for STEM Documents: Datasets, Benchmarks, and Spotters (2023)
Schaefer JF, Kohlhase M
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
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
‹
1
2
3
4
...
24
›