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.

8693 Publications


1981 | Report | LibreCat-ID: 8184
@book{Engels_Pletat_Ehrich_1981, title={Handling Errors and Exceptions in the Algebraic Specifications of Data Types}, publisher={University of Osnabrück}, author={Engels, Gregor and Pletat, Udo and Ehrich, Hans-Dietrich}, year={1981} }
LibreCat
 

1981 | Report | LibreCat-ID: 8185
@book{Pletat_Engels_Ehrich_1981, title={Operational Semantics of Algebraic Specifications with Conditional Equations}, publisher={University of Dortmund, Department of Computer Science}, author={Pletat, Udo and Engels, Gregor and Ehrich, Hans-Dietrich}, year={1981} }
LibreCat
 

1982 | Conference Paper | LibreCat-ID: 7811
@inproceedings{Engels_Schäfer_1982, place={München/Leipzig}, title={Specification of a Programming Support Environment by Graph Grammars}, booktitle={Proceedings of the conference on Graphtheoretic Concepts in Computer Science (WG`82), München (Germany)}, publisher={Hanser}, author={Engels, Gregor and Schäfer, Wilhelm}, year={1982}, pages={47–62} }
LibreCat
 

1982 | Conference Paper | LibreCat-ID: 7812
@inproceedings{Pletat_Engels_Ehrich_1982, title={An Operational Approach to Conditional Algebraic Specifications}, volume={82}, booktitle={Proceedings of the 7eme Colloque sur les Arbres en Algebre et en Programmation, Lille (France)}, author={Pletat, Udo and Engels, Gregor and Ehrich, Hans-Dietrich}, year={1982}, pages={254–270} }
LibreCat
 

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
 

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 | 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
 

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: 15055
@article{Domik_1984, title={Evaluation of radar stereo viewability by means of a simulation technique}, volume={2}, journal={ESA IGARSS 84: Remote Sensing: From Res. towards Operational Use,}, author={Domik, Gitta}, year={1984} }
LibreCat
 

1984 | Journal Article | LibreCat-ID: 14995
@article{Domik_Leberl_Kobrick_1984, title={Radar image simulation and its application in image analysis}, volume={25}, journal={Archives of the International Society of Photogrammetry and Remote Sensing}, author={Domik, Gitta and Leberl, Franz and Kobrick, M}, year={1984}, pages={A3a} }
LibreCat
 

1985 | Conference Paper | LibreCat-ID: 7813
@inproceedings{Engels_Schäfer_1985, place={Berlin/Heidelberg}, series={LNCS}, title={Graph Grammar Engineering: A Method Used for the Development of an Integrated Programming Support Environment}, volume={186}, booktitle={Proceedings of the International Joint Conference on Theory and Practice of Software Development (TAPSOFT 1985), Berlin (Germany)}, publisher={Springer}, author={Engels, Gregor and Schäfer, Wilhelm}, year={1985}, pages={179–193}, collection={LNCS} }
LibreCat
 

1985 | Journal Article | LibreCat-ID: 15314
@article{Leberl_Kobrick_undefined_1985, title={Mapping with aircraft and satellite radar images}, volume={11}, number={66}, journal={The Photogrammetric Record}, publisher={Wiley Online Library}, author={Leberl, FW and Kobrick, M and undefined, undefined}, year={1985}, pages={647–665} }
LibreCat
 

1985 | Conference Paper | LibreCat-ID: 7814
@inproceedings{Engels_Schäfer_1985, place={Florenz}, title={The Design of an Adaptive and Portable Programming Support Environment}, booktitle={Proceedings of the International Computing Symposium, Amsterdam (The Netherlands)}, author={Engels, Gregor and Schäfer, Wilhelm}, year={1985} }
LibreCat
 

1985 | Journal Article | LibreCat-ID: 15048
@article{Raggam_Triebnig_Buchroithner_Domik_Leberl_1985, title={Radargrammetric aspects of SAR data evaluation}, journal={Thematic Applications of SAR data}, author={Raggam, J and Triebnig, Gerhard and Buchroithner, MF and Domik, G and Leberl, Franz}, year={1985}, pages={57} }
LibreCat
 

1985 | Journal Article | LibreCat-ID: 15315
@article{Domik_1985, title={Radar image simulation as a tool to analyze topographic effects on geometry and radiometry of radar imagery}, journal={Machine processing of remotely sensed data- Quantifying global process: Models, sensor systems, and analytical methods}, author={Domik, Gitta}, year={1985}, pages={248–253} }
LibreCat
 

1985 | Conference Paper | LibreCat-ID: 15316
@inproceedings{Rott_Domik_MStzler_Miller_1985, title={Towards a SAR system for snow and land ice applications}, booktitle={ESA Proceedings of a Workshop on Thematic Applications of SAR DATA p 29-39(SEE N 86-28488 19-42)}, author={Rott, H and Domik, Gitta and MStzler, C and Miller, H}, year={1985} }
LibreCat
 

1986 | Conference Paper | LibreCat-ID: 8256
@inproceedings{Engels_Sandbrink_1986, place={Bautzen}, title={Experiences with a Hybrid-Interpreter Based on Incremental Compilation Techniques}, volume={12}, booktitle={Proceedings of the Workshop on Compiler Compilers and Incremental Compilation Techniques, Bautzen}, publisher={Berlin(Ost): Akademie der Wissenschaften der DDR}, author={Engels, Gregor and Sandbrink, Andrea}, year={1986}, pages={172–184} }
LibreCat
 

1986 | Journal Article | LibreCat-ID: 14895
@article{Leberl_Domik-Kienegger_Rrggam_Kobrick_1986, title={Radar stereomapping techniques and application to SIR-B images of Mt. Shasta}, number={4}, journal={IEEE Transactions on Geoscience and Remote Sensing}, publisher={IEEE}, author={Leberl, Franz W and Domik-Kienegger, Gitta and Rrggam, Johannes and Kobrick, Michael}, year={1986}, pages={473–481} }
LibreCat
 

1986 | Journal Article | LibreCat-ID: 15254
@article{Leberl_Domik_Raggam_Cimino_Kobrick_1986, title={Radargrammetric Experiments with Space Shuttle SIR-B Imagery}, journal={International archives of photogrammetry and remote sensing= Archives internationales de photogramm{\’e}trie et de t{\’e}l{\’e}d{\’e}tection= Internationales Archiv der Photogrammetrie und Fernerkundung}, author={Leberl, Franz and Domik, Gitta and Raggam, J and Cimino, J and Kobrick, M}, year={1986}, pages={333–344} }
LibreCat
 

1986 | Conference Paper | LibreCat-ID: 15317
@inproceedings{Domik_Leberl_Raggam_1986, title={Developing tools for digital radar image data evaluation}, volume={1}, booktitle={IN: Remote sensing for resources development and environmental management; Proceedings of the Seventh International Symposium, Enschede, Netherlands, Aug. 25-29, 1986. Volume 1 (A88-41961 17-43). Rotterdam, AA Balkema, 1986, p. 117-119. ESA-NASA-supported research.}, author={Domik, Gitta and Leberl, Franz and Raggam, J}, year={1986}, pages={117–119} }
LibreCat
 

Filters and Search Terms

year<=2030 AND year>=1980

Search

Filter Publications

Display / Sort

Sorted by: Publishing Year
Citation Style: BibTeX

Export / Embed