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.
5693 Publications
1987 | Conference Paper | LibreCat-ID: 8257
@inproceedings{Engels_Lewerentz_Schäfer_1987, place={Berlin/Heidelberg}, title={Graph Grammar Engineering: A Software Specification Method}, volume={291}, DOI={dx.doi.org/10.1007/3-540-18771-5}, booktitle={Proceedings of the 3rd International Workshop on Graph-Grammars and Their Application to Computer Science, Warrenton, VA (USA)}, publisher={Springer}, author={Engels, Gregor and Lewerentz, Claus and Schäfer, Wilhelm}, year={1987}, pages={186–201} }
LibreCat
| DOI
1987 | Journal Article | LibreCat-ID: 16772
@article{Borodin_Fich_Meyer auf der Heide_Upfal_Wigderson_1987, title={A Time-Space Tradeoff for Element Distinctness}, DOI={10.1137/0216007}, journal={SIAM Journal on Computing}, author={Borodin, A. and Fich, F. and Meyer auf der Heide, Friedhelm and Upfal, E. and Wigderson, A.}, year={1987}, pages={97–99} }
LibreCat
| DOI
1987 | Journal Article | LibreCat-ID: 16773
@article{Meyer auf der Heide_Wigderson_1987, title={The Complexity of Parallel Sorting}, DOI={10.1137/0216008}, journal={SIAM Journal on Computing}, author={Meyer auf der Heide, Friedhelm and Wigderson, Avi}, year={1987}, pages={100–107} }
LibreCat
| DOI
1987 | Conference Paper | LibreCat-ID: 16916
@inproceedings{Domik_1987, title={Digital Rectification Method for Radar Images Applied on Huge Arrays}, number={Rep. 29}, booktitle={Proceedings of the First Int’l. Workshop on Image Rectification Tech. for Spaceborne Synthetic Aperture Radar}, author={Domik, Gitta}, year={1987}, pages={67–68} }
LibreCat
1987 | Conference Paper | LibreCat-ID: 15038
@inproceedings{Domik_1987, title={Methods and application of surface shape reconstruction from multiple SAR images}, booktitle={IGARSS’87-International Geoscience and Remote Sensing Symposium}, author={Domik, Gitta}, year={1987}, pages={1551–1555} }
LibreCat
1987 | Conference Paper | LibreCat-ID: 15050
@inproceedings{Leberl_Domik_Mercer_1987, title={Methods and accuracy of operational digital image mapping with aircraft SAR}, booktitle={1987 ASPRS ACSM Annual Convention}, author={Leberl, Franz and Domik, Gitta and Mercer, Bryan J}, year={1987}, pages={148–158} }
LibreCat
1986 | Book Chapter | LibreCat-ID: 19819
@inbook{Kleine Büning_Lettmann_1986, place={Berlin, Heidelberg}, title={Classes of first order formulas under various satisfiability definitions}, DOI={10.1007/3-540-16780-3_119}, booktitle={8th International Conference on Automated Deduction}, author={Kleine Büning, H. and Lettmann, Theodor}, year={1986} }
LibreCat
| DOI
1986 | Journal Article | LibreCat-ID: 21792
@article{Domik_Leberl_Cimino_1986, title={Multiple incidence angle SIR-B experiment over Argentina: generation of secondary image products}, volume={GE-24}, DOI={10.1109/TGRS.1986.289663}, number={4}, journal={IEEE Transactions on Geoscience and Remote Sensing}, publisher={IEEE}, author={Domik, Gitta and Leberl, Franz and Cimino, Jobea}, year={1986}, pages={492–497} }
LibreCat
| DOI
1986 | Conference Paper | LibreCat-ID: 21793
@inproceedings{Mercer_Lowry_Leberl_Domik_1986, title={Digital terrain mapping with STAR-1 SAR data}, booktitle={International Geoscience and Remote Sensing Symposium}, publisher={IGARSS}, author={Mercer, JB and Lowry, RT and Leberl, Franz and Domik, Gitta}, year={1986}, pages={645–650} }
LibreCat
1986 | Conference Paper | LibreCat-ID: 21794
@inproceedings{Domik_Leberl_Raggam_1986, title={Developing tools for digital radar image data evaluation}, volume={1}, booktitle={Remote sensing for resources development and environmental management; Proceedings of the Seventh International Symposium}, author={Domik, Gitta and Leberl, Franz and Raggam, J}, year={1986}, pages={117–119} }
LibreCat