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)
A Flexible, Interactive Theory-Graph Viewer (2017)
Müller D, Kohlhase M, Rupprecht M
Conference contribution, Conference Contribution
Virtual Theories -- A Uniform Interface to Mathematical Knowledge Bases (2017)
Wiesing T, Kohlhase M, Rabe F, Kohlhase M
Conference contribution, Original article
Alignment-based Translations Across Formal Systems Using Interface Theories (2017)
Müller D, Rabe F, Rothgang C, Liu Y
Conference contribution
How to Identify, Translate, and Combine Logics? (2017)
Rabe F
Journal article
Visual structure in mathematical expressions (2017)
Kohlhase M, Kohlhase A, Fürsich M
Conference contribution, Original article
Software citations, information systems, and beyond (2017)
Kohlhase M, Sperber W
Conference contribution, Original article
Canonical Selection of Colimits (2017)
Codesci M, Mossakowski T, Rabe F
Conference contribution
LFMTP: Work-in-Progress Proceedings of the Workshop on Logical Frameworks: Meta-Theory and Practice (2017)
Rabe F
Conference contribution
A Modular Type Reconstruction Algorithm (2017)
Rabe F
Journal article
Interoperability in the OpenDreamKit project: The math-in-the-middle approach (2016)
Müller D, Wiesing T, Thiery N, Dehaye P, Iancu M, Kohlhase M, Konovalov A, et al.
Conference contribution, Original article
‹
1
...
7
8
9
10
11
...
24
›