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.
5714 Publications
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.” 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, Friedhelm. “Efficient Simulations among Several Models of Parallel Computers (Extended Abstract).” STACS 84, 1984, doi: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 .” 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.” Proc. SAR-580 Investigators Workshop, vol. 2, 1984, pp. 217–32.
LibreCat
1984 | Report | LibreCat-ID: 15600
Domik, Gitta, et al. 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, Gitta, et al. “Analyse von Radarbildern Mittels Digitaler Hoehenmodelle.” Bildmessung Und Luftbildwesen, vol. 52, no. 5, 1984, pp. 249–63.
LibreCat
1983 | Conference Paper | LibreCat-ID: 8255
Nagl, Manfred, et al. “Software Specification by Graph Grammars.” Proceedings of the 2nd International Workshop on Graph-Grammars and Their Application to Computer Science, Osnabrück (Germany), vol. 153, Springer, 1983, pp. 267–87, doi:dx.doi.org/10.1007/BFb0000113.
LibreCat
| DOI
1983 | Journal Article | LibreCat-ID: 7411
Engels, Gregor, et al. “Software Specification Using Graph Grammars.” Computing, vol. 31, no. 4, 1983, pp. 317–46, doi:http://dx.doi.org/10.1007/BF02251236.
LibreCat
| DOI
1983 | Journal Article | LibreCat-ID: 7412
Engels, Gregor, et al. “An Operational Semantics for Specifications of Abstract Data Types with Error Handling.” Acta Informatica, vol. 9, no. 3, 1983, pp. 235–54, doi:http://dx.doi.org/10.1007/BF00265557.
LibreCat
| DOI
1983 | Journal Article | LibreCat-ID: 16806
Meyer auf der Heide, Friedhelm. “Efficiency of Universal Parallel Computers.” Acta Informatica, 1983, pp. 269–96, doi:10.1007/bf00265559.
LibreCat
| DOI