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
(254)
Research Grants
(11)
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)
Cut-simulation in impredicative logics (2006)
Kohlhase M, Brown C
Conference contribution, Original article
A search engine for mathematical formulae (2006)
Kohlhase M, Sucan I
Conference contribution, Original article
Capturing the content of physics: Systems, observables, and experiments (2006)
Hilf E, Kohlhase M, Stamerjohanns H
Conference contribution, Original article
CPOINT: Dissolving the author's dilemma (2004)
Kohlhase M, Kohlhase A
Conference contribution, Original article
Higher-order semantics and extensionality (2004)
Kohlhase M, Benzmüller C, Brown C
Journal article, Original article
Resource-adaptive model generation as a performance model (2003)
Kohlhase M, Koller A
Journal article, Original article
Towards collaborative content management and version control for structured mathematical knowledge (2003)
Kohlhase M, Anghelache R
Conference contribution
Proof development with Ωmega (2002)
Kohlhase M, Siekmann J, Benzmüller C, Franke A, Melis E, Normann I, Sorge V
Conference contribution, Original article
System description: The mathweb software bus for distributed mathematical reasoning (2002)
Zimmer J, Kohlhase M
Conference contribution, Original article
OMDoc: Towards an internet standard for the administration, distribution, and teaching of mathematical knowledge (2001)
Kohlhase M
Conference contribution, Original article
‹
1
...
20
21
22
23
24
...
26
›