@articleRott_Domik_Mätzler_Miller_1985, title=Towards a SAR system for snow and land ice applications, journal=ESA Proceedings of a Workshop on Thematic Applications of SAR DATA p 29-39(SEE N 86-28488 19-42), author=Rott, H and Domik, Gitta and Mätzler, C and Miller, H, year=1985, pages=29–39 
LibreCat: /record/15316

@inproceedingsDomik_Leberl_Kobrick_1984, place=Rio de Janeiro, Brazil, series=ISPRS 1984, XVth congress, Rio de Janeiro, 1984, title=Radar Image Simulation and its Application in Image Analysis, volume=25A, number=3, booktitle=International archives of photogrammetry and remote sensing, author=Domik, Gitta and Leberl, F. and Kobrick, M., year=1984, pages=99–108, collection=ISPRS 1984, XVth congress, Rio de Janeiro, 1984 
LibreCat: /record/21603

@inproceedingsDomik_Leberl_Raggam_1984, place=Rio de Janeiro, title=Rectification of Radar Images Using Stereo- Derived Height Models and Simulations, volume=25A, number=3, booktitle=XVth Congress of the International Society for Photogrammetry and Remote Sensing, author=Domik, Gitta and Leberl, F. and Raggam, J., year=1984, pages=109–116 
LibreCat: /record/21604

@inproceedingsDomik_1984, title=Evaluation of radar stereo viewability by means of a simulation technique, volume=2, booktitle=ESA IGARSS 84: Remote Sensing: From Res. towards Operational Use,, author=Domik, Gitta, year=1984 
LibreCat: /record/21605

@articleMeyer auf der Heide_1984, title=A Polynomial Linear Search Algorithm forr the n-Dimensional Knapsack Problem, DOI=10.1145/828.322450, journal=Journal of the ACM (JACM), author=Meyer auf der Heide, Friedhelm, year=1984, pages=668–676 
LibreCat: /record/16785
DOI: 10.1145/828.322450

@inproceedingsMeyer auf der Heide_Reischuk_1984, title=On The Limits To Speed Up Parallel Machines By Large Hardware And Unbounded Communication, DOI=10.1109/sfcs.1984.715901, booktitle=25th Annual Symposium onFoundations of Computer Science, 1984., author=Meyer auf der Heide, Friedhelm and Reischuk, R., year=1984 
LibreCat: /record/16786
DOI: 10.1109/sfcs.1984.715901

@inbookMeyer auf der Heide_1984, place=Berlin, Heidelberg, title=Efficient simulations among several models of parallel computers (extended abstract), DOI=10.1007/3-540-12920-0_20, booktitle=STACS 84, author=Meyer auf der Heide, Friedhelm, year=1984 
LibreCat: /record/16787
DOI: 10.1007/3-540-12920-0_20

@inproceedingsDomik_Kienegger_1984, title=Method to Relate Digital SAR Images and Map Information in Mountainous Areas , booktitle=Proceedings of the World Conference on Remote Sensing, author=Domik, Gitta and Kienegger, E., year=1984 
LibreCat: /record/16922

@inproceedingsRott_Domik_1984, title=The SAR-580 experiment on snow and glaciers at the Austrian test site, volume=2, booktitle=Proc. SAR-580 Investigators Workshop, author=Rott, H. and Domik, Gitta, year=1984, pages=217–232 
LibreCat: /record/15598

@bookDomik_Leberl_Raggam_1984, series=Final Report on contract Nr. DAJA 45-83-C-0018, European Research Office of the US Army and DIBAG Report Nr. 17, title=Differential Rectification of SLR-Images Using Map-Derived and Radar-Generated Digital Elevation Models., publisher=Graz Research Center, author=Domik, Gitta and Leberl, Franz and Raggam, Johannes, year=1984, collection=Final Report on contract Nr. DAJA 45-83-C-0018, European Research Office of the US Army and DIBAG Report Nr. 17 
LibreCat: /record/15600

@articleDomik_Kobrick_Leberl_1984, title=Analyse von Radarbildern mittels digitaler Hoehenmodelle, volume=52, number=5, journal=Bildmessung und luftbildwesen, author=Domik, Gitta and Kobrick, M and Leberl, Franz, year=1984, pages=249–263 
LibreCat: /record/15124

@inproceedingsNagl_Engels_Gall_Schäfer_1983, place=Berlin/Heidelberg, series=LNCS, title=Software Specification by Graph Grammars, volume=153, DOI=dx.doi.org/10.1007/BFb0000113, booktitle=Proceedings of the 2nd International Workshop on Graph-Grammars and Their Application to Computer Science, Osnabrück (Germany), publisher=Springer, author=Nagl, Manfred and Engels, Gregor and Gall, Rupert and Schäfer, Wilhelm, year=1983, pages=267–287, collection=LNCS 
LibreCat: /record/8255
DOI: dx.doi.org/10.1007/BFb0000113

@articleEngels_Gall_Nagl_Schäfer_1983, title=Software Specification Using Graph Grammars, volume=31, DOI=http://dx.doi.org/10.1007/BF02251236, number=4, journal=Computing, author=Engels, Gregor and Gall, Rupert and Nagl, Manfred and Schäfer, Wilhelm, year=1983, pages=317–346 
LibreCat: /record/7411
DOI: http://dx.doi.org/10.1007/BF02251236

@articleEngels_Pletat_Ehrich_1983, title=An Operational Semantics for Specifications of Abstract Data Types with Error Handling, volume=9, DOI=http://dx.doi.org/10.1007/BF00265557, number=3, journal=Acta Informatica, author=Engels, Gregor and Pletat, Udo and Ehrich, Hans-Dietrich, year=1983, pages=235–254 
LibreCat: /record/7412
DOI: http://dx.doi.org/10.1007/BF00265557

@articleMeyer auf der Heide_1983, title=Efficiency of universal parallel computers, DOI=10.1007/bf00265559, journal=Acta Informatica, author=Meyer auf der Heide, Friedhelm, year=1983, pages=269–296 
LibreCat: /record/16806
DOI: 10.1007/bf00265559

@articleKlein_Meyer auf der Heide_1983, title=A lower time bound for the knapsack problem on random access machines, DOI=10.1007/bf00290735, journal=Acta Informatica, author=Klein, Peter and Meyer auf der Heide, Friedhelm, year=1983, pages=385–395 
LibreCat: /record/16807
DOI: 10.1007/bf00290735

@articleMeyer auf der Heide_1983, title=Infinite cube-connected cycles, DOI=10.1016/0020-0190(83)90001-7, journal=Information Processing Letters, author=Meyer auf der Heide, Friedhelm, year=1983, pages=1–2 
LibreCat: /record/16808
DOI: 10.1016/0020-0190(83)90001-7

@inproceedingsMeyer auf der Heide_1983, title=A polynomial linear search algorithm for the n-dimensional knapsack problem, DOI=10.1145/800061.808734, booktitle=Proceedings of the fifteenth annual ACM symposium on Theory of computing  - STOC ’83, author=Meyer auf der Heide, Friedhelm, year=1983 
LibreCat: /record/16809
DOI: 10.1145/800061.808734

@inbookMeyer auf der Heide_1983, place=Berlin/Heidelberg, title=Efficiency of universal parallel computers, DOI=10.1007/bfb0036483, booktitle=Lecture Notes in Computer Science, author=Meyer auf der Heide, Friedhelm, year=1983 
LibreCat: /record/16810
DOI: 10.1007/bfb0036483

@inproceedingsEngels_Schäfer_1982, place=München/Leipzig, title=Specification of a Programming Support Environment by Graph Grammars, booktitle=Proceedings of the conference on Graphtheoretic Concepts in Computer Science (WG), München (Germany), publisher=Hanser, author=Engels, Gregor and Schäfer, Wilhelm, year=1982, pages=47–62 
LibreCat: /record/7811