Rott H, Domik G, Mätzler C, Miller H. Towards a SAR system for snow and land ice applications. ESA Proceedings of a Workshop on Thematic Applications of SAR DATA p 29-39(SEE N 86-28488 19-42). 1985:29-39.
LibreCat: /record/15316

Domik G, Leberl F, Kobrick M. Radar Image Simulation and its Application in Image Analysis. In: International Archives of Photogrammetry and Remote Sensing. Vol 25A. ISPRS 1984, XVth congress, Rio de Janeiro, 1984. Rio de Janeiro, Brazil; 1984:99–108.
LibreCat: /record/21603

Domik G, Leberl F, Raggam J. Rectification of Radar Images Using Stereo- Derived Height Models and Simulations. In: XVth Congress of the International Society for Photogrammetry and Remote Sensing. Vol 25A. Rio de Janeiro; 1984:109–116.
LibreCat: /record/21604

Domik G. Evaluation of radar stereo viewability by means of a simulation technique. In: ESA IGARSS 84: Remote Sensing: From Res. towards Operational Use,. Vol 2. ; 1984.
LibreCat: /record/21605

Meyer auf der Heide F. A Polynomial Linear Search Algorithm forr the n-Dimensional Knapsack Problem. Journal of the ACM (JACM). 1984:668-676. doi:10.1145/828.322450
LibreCat: /record/16785
DOI: 10.1145/828.322450

Meyer auf der Heide F, Reischuk R. On The Limits To Speed Up Parallel Machines By Large Hardware And Unbounded Communication. In: 25th Annual Symposium OnFoundations of Computer Science, 1984. ; 1984. doi:10.1109/sfcs.1984.715901
LibreCat: /record/16786
DOI: 10.1109/sfcs.1984.715901

Meyer auf der Heide F. Efficient simulations among several models of parallel computers (extended abstract). In: STACS 84. Berlin, Heidelberg; 1984. doi:10.1007/3-540-12920-0_20
LibreCat: /record/16787
DOI: 10.1007/3-540-12920-0_20

Domik G, Kienegger E. Method to Relate Digital SAR Images and Map Information in Mountainous Areas . In: Proceedings of the World Conference on Remote Sensing. ; 1984.
LibreCat: /record/16922

Rott H, Domik G. The SAR-580 experiment on snow and glaciers at the Austrian test site. In: Proc. SAR-580 Investigators Workshop. Vol 2. ; 1984:217-232.
LibreCat: /record/15598

Domik G, Leberl F, Raggam J. Differential Rectification of SLR-Images Using Map-Derived and Radar-Generated Digital Elevation Models. Graz Research Center; 1984.
LibreCat: /record/15600

Domik G, Kobrick M, Leberl F. Analyse von Radarbildern mittels digitaler Hoehenmodelle. Bildmessung und luftbildwesen. 1984;52(5):249-263.
LibreCat: /record/15124

Nagl M, Engels G, Gall R, Schäfer W. Software Specification by Graph Grammars. In: Proceedings of the 2nd International Workshop on Graph-Grammars and Their Application to Computer Science, Osnabrück (Germany). Vol 153. LNCS. Berlin/Heidelberg: Springer; 1983:267-287. doi:dx.doi.org/10.1007/BFb0000113
LibreCat: /record/8255
DOI: dx.doi.org/10.1007/BFb0000113

Engels G, Gall R, Nagl M, Schäfer W. Software Specification Using Graph Grammars. Computing. 1983;31(4):317-346. doi:http://dx.doi.org/10.1007/BF02251236
LibreCat: /record/7411
DOI: http://dx.doi.org/10.1007/BF02251236

Engels G, Pletat U, Ehrich H-D. An Operational Semantics for Specifications of Abstract Data Types with Error Handling. Acta Informatica. 1983;9(3):235-254. doi:http://dx.doi.org/10.1007/BF00265557
LibreCat: /record/7412
DOI: http://dx.doi.org/10.1007/BF00265557

Meyer auf der Heide F. Efficiency of universal parallel computers. Acta Informatica. 1983:269-296. doi:10.1007/bf00265559
LibreCat: /record/16806
DOI: 10.1007/bf00265559

Klein P, Meyer auf der Heide F. A lower time bound for the knapsack problem on random access machines. Acta Informatica. 1983:385-395. doi:10.1007/bf00290735
LibreCat: /record/16807
DOI: 10.1007/bf00290735

Meyer auf der Heide F. Infinite cube-connected cycles. Information Processing Letters. 1983:1-2. doi:10.1016/0020-0190(83)90001-7
LibreCat: /record/16808
DOI: 10.1016/0020-0190(83)90001-7

Meyer auf der Heide F. A polynomial linear search algorithm for the n-dimensional knapsack problem. In: Proceedings of the Fifteenth Annual ACM Symposium on Theory of Computing  - STOC ’83. ; 1983. doi:10.1145/800061.808734
LibreCat: /record/16809
DOI: 10.1145/800061.808734

Meyer auf der Heide F. Efficiency of universal parallel computers. In: Lecture Notes in Computer Science. Berlin/Heidelberg; 1983. doi:10.1007/bfb0036483
LibreCat: /record/16810
DOI: 10.1007/bfb0036483

Engels G, Schäfer W. Specification of a Programming Support Environment by Graph Grammars. In: Proceedings of the Conference on Graphtheoretic Concepts in Computer Science (WG), München (Germany). München/Leipzig: Hanser; 1982:47-62.
LibreCat: /record/7811