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, Gitta Domik, C Mätzler, and H Miller. “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, Joachim, K.H. Hofmann, and J.D. Lawson. “Controllabilty of Systems on Nilpotent Lie Groups.” Beiträge Alg. Geom. 20 (1985): 185–90.
LibreCat
1985 | Journal Article | LibreCat-ID: 51458
Hilgert, Joachim, and K.H. Hofmann. “Semigroups in Lie Groups, Semialgebras in Lie Algebras.” Trans. AMS 288 (1985): 481–504.
LibreCat
1985 | Journal Article | LibreCat-ID: 51457
Hilgert, Joachim, and K.H. Hofmann. “Lorentzian Cones in Real Lie Algebras.” Monatshefte Math. 100 (1985): 183–210.
LibreCat
1985 | Journal Article | LibreCat-ID: 51460
Hilgert, Joachim, and K.H. Hofmann. “Lie Semialgebras Are Real Phenomena.” Math. Ann. 270 (1985): 97–103.
LibreCat
1985 | Journal Article | LibreCat-ID: 51459
Hilgert, Joachim, and K.H. Hofmann. “Old and New on SL(2).” Manuscripta Math. 54 (1985): 17–52.
LibreCat
1984 | Conference Paper | LibreCat-ID: 21603
Domik, Gitta, F. Leberl, and M. Kobrick. “Radar Image Simulation and Its Application in Image Analysis.” In International Archives of Photogrammetry and Remote Sensing, 25A:99–108. ISPRS 1984, XVth Congress, Rio de Janeiro, 1984. Rio de Janeiro, Brazil, 1984.
LibreCat
1984 | Conference Paper | LibreCat-ID: 21604
Domik, Gitta, F. Leberl, and J. Raggam. “Rectification of Radar Images Using Stereo- Derived Height Models and Simulations.” In XVth Congress of the International Society for Photogrammetry and Remote Sensing, 25A:109–116. Rio de Janeiro, 1984.
LibreCat
1984 | Conference Paper | LibreCat-ID: 21605
Domik, Gitta. “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, Friedhelm. “A Polynomial Linear Search Algorithm Forr the N-Dimensional Knapsack Problem.” Journal of the ACM (JACM), 1984, 668–76. https://doi.org/10.1145/828.322450.
LibreCat
| DOI
1984 | Conference Paper | LibreCat-ID: 16786
Meyer auf der Heide, Friedhelm, and R. Reischuk. “On The Limits To Speed Up Parallel Machines By Large Hardware And Unbounded Communication.” In 25th Annual Symposium OnFoundations of Computer Science, 1984., 1984. https://doi.org/10.1109/sfcs.1984.715901.
LibreCat
| DOI
1984 | Book Chapter | LibreCat-ID: 16787
Meyer auf der Heide, Friedhelm. “Efficient Simulations among Several Models of Parallel Computers (Extended Abstract).” In STACS 84. Berlin, Heidelberg, 1984. https://doi.org/10.1007/3-540-12920-0_20.
LibreCat
| DOI
1984 | Conference Paper | LibreCat-ID: 16922
Domik, Gitta, and E. Kienegger. “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., and Gitta Domik. “The SAR-580 Experiment on Snow and Glaciers at the Austrian Test Site.” In Proc. SAR-580 Investigators Workshop, 2:217–32, 1984.
LibreCat
1984 | Report | LibreCat-ID: 15600
Domik, Gitta, Franz Leberl, and Johannes Raggam. Differential Rectification of SLR-Images Using Map-Derived and Radar-Generated Digital Elevation Models. Final Report on Contract Nr. DAJA 45-83-C-0018, European Research Office of the US Army and DIBAG Report Nr. 17. Graz Research Center, 1984.
LibreCat
1984 | Journal Article | LibreCat-ID: 15124
Domik, Gitta, M Kobrick, and Franz Leberl. “Analyse von Radarbildern Mittels Digitaler Hoehenmodelle.” Bildmessung Und Luftbildwesen 52, no. 5 (1984): 249–63.
LibreCat
1984 | Journal Article | LibreCat-ID: 51461
Hilgert, Joachim, and K.H. Hofmann. “Lie Theory of Semigroups.” Semigroup Forum 30 (1984): 243–51.
LibreCat
1983 | Conference Paper | LibreCat-ID: 8255
Nagl, Manfred, Gregor Engels, Rupert Gall, and Wilhelm Schäfer. “Software Specification by Graph Grammars.” In Proceedings of the 2nd International Workshop on Graph-Grammars and Their Application to Computer Science, Osnabrück (Germany), 153:267–87. LNCS. Berlin/Heidelberg: Springer, 1983. https://doi.org/dx.doi.org/10.1007/BFb0000113.
LibreCat
| DOI
1983 | Journal Article | LibreCat-ID: 7411
Engels, Gregor, Rupert Gall, Manfred Nagl, and Wilhelm Schäfer. “Software Specification Using Graph Grammars.” Computing 31, no. 4 (1983): 317–46. http://dx.doi.org/10.1007/BF02251236.
LibreCat
| DOI
1983 | Journal Article | LibreCat-ID: 7412
Engels, Gregor, Udo Pletat, and Hans-Dietrich Ehrich. “An Operational Semantics for Specifications of Abstract Data Types with Error Handling.” Acta Informatica 9, no. 3 (1983): 235–54. http://dx.doi.org/10.1007/BF00265557.
LibreCat
| DOI