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)
Knowledge-Based Interoperability for Mathematical Software Systems (2017)
Kohlhase M, Müller D, Pfeiffer M, Rabe F, Thiery N, Vasilyev V, Wiesing T
Conference contribution, Original article
FrameIT reloaded: Serious math games from modular math ontologies (2017)
Kohlhase M, Müller D, Rochau D
Conference contribution, Original article
Classification of alignments between concepts of formal mathematical systems (2017)
Kohlhase M, Müller D, Rabe F, Kaliszyk C, Gauthier T
Conference contribution, Original article
LFMTP: Proceedings of the Workshop on Logical Frameworks: Meta-Theory and Practice (2017)
Rabe F
Edited Volume
Intelligent Computer Mathematics (2017)
Rabe F
Edited Volume
A standard for aligning mathematical concepts (2017)
Kaliszyk C, Kohlhase M, Müller D, Rabe F
Conference contribution, Original article
Notation-based semantification (2017)
Kohlhase M
Conference contribution, Conference Contribution
Knowledge-based interoperability for mathematical software systems (2017)
Kohlhase M, de Feo L, Müller D, Pfeiffer M, Rabe F, Wiesing T
Conference contribution
Mathematical models as research data in numerical simulation of opto-electronic devices (2017)
Koprucki T, Kohlhase M, Müller D, Tabelow K
Conference contribution, Conference Contribution
Mathematical models as research data via flexiformal theory graphs (2017)
Kohlhase M, Koprucki T, Müller D, Tabelow K
Conference contribution, Original article
‹
1
...
6
7
8
9
10
...
24
›