Please note that LibreCat no longer supports Internet Explorer versions 8 or 9 (or earlier).

We recommend upgrading to the latest Internet Explorer, Google Chrome, or Firefox.

3334 Publications


1985 | Journal Article | LibreCat-ID: 16781
Simulating probabilistic by deterministic algebraic computation trees
F. Meyer auf der Heide, Theoretical Computer Science (1985) 325–330.
LibreCat | DOI
 

1985 | Conference Paper | LibreCat-ID: 7814
The Design of an Adaptive and Portable Programming Support Environment
G. Engels, W. Schäfer, in: Proceedings of the International Computing Symposium, Amsterdam (The Netherlands), Florenz, 1985.
LibreCat
 

1985 | Conference Paper | LibreCat-ID: 15316
Towards a SAR system for snow and land ice applications
H. Rott, G. Domik, C. MStzler, H. Miller, in: ESA Proceedings of a Workshop on Thematic Applications of SAR DATA p 29-39(SEE N 86-28488 19-42), 1985.
LibreCat
 

1985 | Conference Paper | LibreCat-ID: 16782
The complexity of parallel sorting
F. Meyer auf der Heide, A. Wigderson, in: 26th Annual Symposium on Foundations of Computer Science (Sfcs 1985), 1985.
LibreCat | DOI
 

1984 | Journal Article | LibreCat-ID: 15124
Analyse von Radarbildern mittels digitaler Hoehenmodelle
G. Domik, M. Kobrick, F. Leberl, Bildmessung Und Luftbildwesen 52 (1984) 249–263.
LibreCat
 

1984 | Conference Paper | LibreCat-ID: 16920
Radar Image Simulation and its Application in Image Analysis
G. Domik-Kienegger, F. Leberl, M. Kobrick, in: 1984, pp. 99–108.
LibreCat
 

1984 | Journal Article | LibreCat-ID: 16785
A Polynomial Linear Search Algorithm forr the n-Dimensional Knapsack Problem
F. Meyer auf der Heide, Journal of the ACM (JACM) (1984) 668–676.
LibreCat | DOI
 

1984 | Report | LibreCat-ID: 15600
Differential Rectification of SLR-Images Using Map-Derived and Radar-Generated Digital Elevation Models.
G. Domik, F. Leberl, J. Raggam, Differential Rectification of SLR-Images Using Map-Derived and Radar-Generated Digital Elevation Models., 1984.
LibreCat
 

1984 | Journal Article | LibreCat-ID: 15055
Evaluation of radar stereo viewability by means of a simulation technique
G. Domik, ESA IGARSS 84: Remote Sensing: From Res. towards Operational Use, 2 (1984).
LibreCat
 

1984 | Journal Article | LibreCat-ID: 16919
Analyse von Radarbildern mittels digitaler Hoehenmodelle
G. Domik-Kienegger, M. Kobrick, F. Leberl, Bildmessung Und Luftbildwesen 52 (1984) 249–263.
LibreCat
 

1984 | Conference Paper | LibreCat-ID: 16921
Rectification of Radar Images Using Stereo- Derived Height Models and Simulations
G. Domik-Kienegger, F. Leberl, J. Raggam, in: 1984, pp. 109–111.
LibreCat
 

1984 | Conference Paper | LibreCat-ID: 16786
On The Limits To Speed Up Parallel Machines By Large Hardware And Unbounded Communication
F. Meyer auf der Heide, R. Reischuk, in: 25th Annual Symposium OnFoundations of Computer Science, 1984., 1984.
LibreCat | DOI
 

1984 | Conference Paper | LibreCat-ID: 15598
The SAR-580 experiment on snow and glaciers at the Austrian test site
H. Rott, G. Domik, in: Proc. SAR-580 Investigators Workshop, 1984, pp. 217–232.
LibreCat
 

1984 | Journal Article | LibreCat-ID: 14995
Radar image simulation and its application in image analysis
G. Domik, F. Leberl, M. Kobrick, Archives of the International Society of Photogrammetry and Remote Sensing 25 (1984) A3a.
LibreCat
 

1984 | Conference Paper | LibreCat-ID: 16922
Method to Relate Digital SAR Images and Map Information in Mountainous Areas
G. Domik-Kienegger, E. Kienegger, in: Proceedings of the World Conference on Remote Sensing, 1984.
LibreCat
 

1984 | Book Chapter | LibreCat-ID: 16787
Efficient simulations among several models of parallel computers (extended abstract)
F. Meyer auf der Heide, in: STACS 84, Berlin, Heidelberg, 1984.
LibreCat | DOI
 

1983 | Journal Article | LibreCat-ID: 16808
Infinite cube-connected cycles
F. Meyer auf der Heide, Information Processing Letters (1983) 1–2.
LibreCat | DOI
 

1983 | Book Chapter | LibreCat-ID: 16810
Efficiency of universal parallel computers
F. Meyer auf der Heide, in: Lecture Notes in Computer Science, Berlin/Heidelberg, 1983.
LibreCat | DOI
 

1983 | Journal Article | LibreCat-ID: 7412
An Operational Semantics for Specifications of Abstract Data Types with Error Handling
G. Engels, U. Pletat, H.-D. Ehrich, Acta Informatica 9 (1983) 235–254.
LibreCat | DOI
 

1983 | Conference Paper | LibreCat-ID: 16809
A polynomial linear search algorithm for the n-dimensional knapsack problem
F. Meyer auf der Heide, in: Proceedings of the Fifteenth Annual ACM Symposium on Theory of Computing  - STOC ’83, 1983.
LibreCat | DOI
 

Filters and Search Terms

department=7

Search

Filter Publications

Display / Sort

Export / Embed