FAU.de
Deutsch
Login
Home
Publications
Research Grants
Inventions & Patents
Awards
Additional Research Activities
Faculties & Institutions
Research Areas
Department Informatik
Friedrich-Alexander-Universität Erlangen-Nürnberg
Technische Fakultät
Overview
Publications
(10,896)
Research Grants
(4)
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)
Data semantics in a cooperative enviroment. (1994)
Lenz R, Wedekind H, Kirsche T
Other publication type
Ω-MKRP: A proof development environment (1994)
Huang X, Kerber M, Kohlhase M, Melis E, Siekmann J
Conference contribution, Original article
Unification in a sorted λ-calculus with term declarations and function sorts (1994)
Kohlhase M
Conference contribution, Original article
Ereignisorientierte Spezifikation und Ausführung von (transaktionalen) Abläufen. (1994)
Lenz R, Kirsche T, Schmidt R, Schuster H
Journal article, Original article
PEACE - A Software Backplane for Parallel Computing (1994)
Schröder-Preikschat W
Journal article
Performance analysis of parallel programs based on model calculations (1994)
Hofmann F, Bolch G
Other publication type
Operating System Support for Massively Parallel Computer Architectures (1994)
Schröder-Preikschat W
Edited Volume
A Bayesian approach to learn and classify 3-D objects from intensity images (1994)
Hornegger J, Niemann H
Conference contribution, Conference Contribution
Object recognition using Hidden Markov Models (1994)
Hornegger J, Niemann H, Paulus D, Schlottke G
Conference contribution, Conference Contribution
Detection of Phrase Boundaries and Accents (1994)
Kießling A, Kompe R, Niemann H, Nöth E, Batliner A
Conference contribution, Conference Contribution
‹
1
...
859
860
861
862
863
...
887
›