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
1984 | Conference Paper | LibreCat-ID: 16786
@inproceedings{Meyer 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
| DOI
1984 | Book Chapter | LibreCat-ID: 16787
@inbook{Meyer 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
| DOI
1984 | Conference Paper | LibreCat-ID: 16922
@inproceedings{Domik_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
1984 | Conference Paper | LibreCat-ID: 15598
@inproceedings{Rott_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
1984 | Report | LibreCat-ID: 15600
@book{Domik_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
1984 | Journal Article | LibreCat-ID: 15124
@article{Domik_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
1984 | Journal Article | LibreCat-ID: 51461
@article{Hilgert_Hofmann_1984, title={Lie Theory of Semigroups}, volume={30}, journal={Semigroup Forum}, author={Hilgert, Joachim and Hofmann, K.H.}, year={1984}, pages={243–251} }
LibreCat
1983 | Conference Paper | LibreCat-ID: 8255
@inproceedings{Nagl_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
| DOI
1983 | Journal Article | LibreCat-ID: 7411
@article{Engels_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
| DOI
1983 | Journal Article | LibreCat-ID: 7412
@article{Engels_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
| DOI