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. (1985). 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), 29–39.
LibreCat
1985 | Journal Article | LibreCat-ID: 51456
Hilgert, J., Hofmann, K. H., & Lawson, J. D. (1985). Controllabilty of Systems on Nilpotent Lie Groups. Beiträge Alg. Geom., 20, 185–190.
LibreCat
1985 | Journal Article | LibreCat-ID: 51458
Hilgert, J., & Hofmann, K. H. (1985). Semigroups in Lie Groups, Semialgebras in Lie Algebras. Trans. AMS, 288, 481–504.
LibreCat
1985 | Journal Article | LibreCat-ID: 51457
Hilgert, J., & Hofmann, K. H. (1985). Lorentzian Cones in Real Lie Algebras. Monatshefte Math., 100, 183–210.
LibreCat
1985 | Journal Article | LibreCat-ID: 51460
Hilgert, J., & Hofmann, K. H. (1985). Lie Semialgebras are Real Phenomena. Math. Ann., 270, 97–103.
LibreCat
1985 | Journal Article | LibreCat-ID: 51459
Hilgert, J., & Hofmann, K. H. (1985). Old and New on SL(2). Manuscripta Math., 54, 17–52.
LibreCat
1984 | Conference Paper | LibreCat-ID: 21603
Domik, G., Leberl, F., & Kobrick, M. (1984). Radar Image Simulation and its Application in Image Analysis. In International archives of photogrammetry and remote sensing (Vol. 25A, pp. 99–108). Rio de Janeiro, Brazil.
LibreCat
1984 | Conference Paper | LibreCat-ID: 21604
Domik, G., Leberl, F., & Raggam, J. (1984). 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, pp. 109–116). Rio de Janeiro.
LibreCat
1984 | Conference Paper | LibreCat-ID: 21605
Domik, G. (1984). Evaluation of radar stereo viewability by means of a simulation technique. In ESA IGARSS 84: Remote Sensing: From Res. towards Operational Use, (Vol. 2).
LibreCat
1984 | Journal Article | LibreCat-ID: 16785
Meyer auf der Heide, F. (1984). A Polynomial Linear Search Algorithm forr the n-Dimensional Knapsack Problem. Journal of the ACM (JACM), 668–676. https://doi.org/10.1145/828.322450
LibreCat
| DOI
1984 | Conference Paper | LibreCat-ID: 16786
Meyer auf der Heide, F., & Reischuk, R. (1984). On The Limits To Speed Up Parallel Machines By Large Hardware And Unbounded Communication. In 25th Annual Symposium onFoundations of Computer Science, 1984. https://doi.org/10.1109/sfcs.1984.715901
LibreCat
| DOI
1984 | Book Chapter | LibreCat-ID: 16787
Meyer auf der Heide, F. (1984). Efficient simulations among several models of parallel computers (extended abstract). In STACS 84. Berlin, Heidelberg. https://doi.org/10.1007/3-540-12920-0_20
LibreCat
| DOI
1984 | Conference Paper | LibreCat-ID: 16922
Domik, G., & Kienegger, E. (1984). Method to Relate Digital SAR Images and Map Information in Mountainous Areas . In Proceedings of the World Conference on Remote Sensing. Sensing, Bayreuth.
LibreCat
1984 | Conference Paper | LibreCat-ID: 15598
Rott, H., & Domik, G. (1984). The SAR-580 experiment on snow and glaciers at the Austrian test site. In Proc. SAR-580 Investigators Workshop (Vol. 2, pp. 217–232).
LibreCat
1984 | Report | LibreCat-ID: 15600
Domik, G., Leberl, F., & Raggam, J. (1984). Differential Rectification of SLR-Images Using Map-Derived and Radar-Generated Digital Elevation Models. Graz Research Center.
LibreCat
1984 | Journal Article | LibreCat-ID: 15124
Domik, G., Kobrick, M., & Leberl, F. (1984). Analyse von Radarbildern mittels digitaler Hoehenmodelle. Bildmessung Und Luftbildwesen, 52(5), 249–263.
LibreCat
1984 | Journal Article | LibreCat-ID: 51461
Hilgert, J., & Hofmann, K. H. (1984). Lie Theory of Semigroups. Semigroup Forum, 30, 243–251.
LibreCat
1983 | Conference Paper | LibreCat-ID: 8255
Nagl, M., Engels, G., Gall, R., & Schäfer, W. (1983). 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, pp. 267–287). Berlin/Heidelberg: Springer. https://doi.org/dx.doi.org/10.1007/BFb0000113
LibreCat
| DOI
1983 | Journal Article | LibreCat-ID: 7411
Engels, G., Gall, R., Nagl, M., & Schäfer, W. (1983). Software Specification Using Graph Grammars. Computing, 31(4), 317–346. http://dx.doi.org/10.1007/BF02251236
LibreCat
| DOI
1983 | Journal Article | LibreCat-ID: 7412
Engels, G., Pletat, U., & Ehrich, H.-D. (1983). An Operational Semantics for Specifications of Abstract Data Types with Error Handling. Acta Informatica, 9(3), 235–254. http://dx.doi.org/10.1007/BF00265557
LibreCat
| DOI