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.
9737 Publications
1985 | Journal Article | LibreCat-ID: 15316
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
1985 | Journal Article | LibreCat-ID: 51456
Hilgert J, Hofmann KH, Lawson JD. Controllabilty of Systems on Nilpotent Lie Groups. Beiträge Alg Geom. 1985;20:185-190.
LibreCat
1985 | Journal Article | LibreCat-ID: 51458
Hilgert J, Hofmann KH. Semigroups in Lie Groups, Semialgebras in Lie Algebras. Trans AMS. 1985;288:481-504.
LibreCat
1985 | Journal Article | LibreCat-ID: 51457
Hilgert J, Hofmann KH. Lorentzian Cones in Real Lie Algebras. Monatshefte Math. 1985;100:183-210.
LibreCat
1985 | Journal Article | LibreCat-ID: 51460
Hilgert J, Hofmann KH. Lie Semialgebras are Real Phenomena. Math Ann. 1985;270:97-103.
LibreCat
1985 | Journal Article | LibreCat-ID: 51459
Hilgert J, Hofmann KH. Old and New on SL(2). Manuscripta Math. 1985;54:17-52.
LibreCat
1984 | Conference Paper | LibreCat-ID: 21603
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
1984 | Conference Paper | LibreCat-ID: 21604
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
1984 | Conference Paper | LibreCat-ID: 21605
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
1984 | Journal Article | LibreCat-ID: 16785
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
| DOI
1984 | Conference Paper | LibreCat-ID: 16786
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
| DOI
1984 | Book Chapter | LibreCat-ID: 16787
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
| DOI
1984 | Conference Paper | LibreCat-ID: 16922
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
1984 | Conference Paper | LibreCat-ID: 15598
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
1984 | Report | LibreCat-ID: 15600
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
1984 | Journal Article | LibreCat-ID: 15124
Domik G, Kobrick M, Leberl F. Analyse von Radarbildern mittels digitaler Hoehenmodelle. Bildmessung und luftbildwesen. 1984;52(5):249-263.
LibreCat
1984 | Journal Article | LibreCat-ID: 51461
Hilgert J, Hofmann KH. Lie Theory of Semigroups. Semigroup Forum. 1984;30:243-251.
LibreCat
1983 | Conference Paper | LibreCat-ID: 8255
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
| DOI
1983 | Journal Article | LibreCat-ID: 7411
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
| DOI
1983 | Journal Article | LibreCat-ID: 7412
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
| DOI