FAU.de
Deutsch
Login
Home
Publications
Research Grants
Inventions & Patents
Awards
Additional Research Activities
Faculties & Institutions
Research Areas
PD Dr. Florian Rabe
List of publications:
BibTeX-Download
Professur für Wissensrepräsentation und -verarbeitung
Project Leads
(1)
Project Memberships
(3)
Publications
(60)
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)
Towards logical frameworks in the heterogeneous tool set hets (2012)
Codescu SM, Horozal F, Kohlhase M, Mossakowski T, Rabe F, Sojakova K
Conference contribution, Original article
Extending MKM formats at the statement level (2012)
Horozal F, Kohlhase M, Rabe F
Conference contribution, Original article
A proof theoretic interpretation of model theoretic hiding (2012)
Codescu SM, Horozal F, Kohlhase M, Mossakowski T, Rabe F
Conference contribution, Original article
Semantics of OpenMath and MathML3 (2012)
Kohlhase M, Rabe F
Journal article, Original article
Project abstract: Logic atlas and integrator (LATIN) (2011)
Codescu SM, Horozal F, Kohlhase M, Mossakowski T, Rabe F
Conference contribution, Original article
A foundational view on integration problems (2011)
Rabe F, Kohlhase M, Sacerdoti Coen C
Conference contribution, Original article
Combining source, content, presentation, narration, and relational representation (2011)
Horozal F, Iacob A, Jucovschi C, Kohlhase M, Rabe F
Conference contribution, Original article
Towards MKM in the large: Modular representation and scalable software architecture (2010)
Kohlhase M, Rabe F, Zholudev V
Conference contribution, Original article
An exchange format for modular knowledge (2008)
Rabe F, Kohlhase M
Conference contribution, Original article
Notations for living mathematical documents (2008)
Kohlhase M, Müller C, Rabe F
Conference contribution, Original article
‹
1
...
4
5
6
›