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.

8644 Publications


1981 | Report | LibreCat-ID: 8184
Engels G, Pletat U, Ehrich H-D. Handling Errors and Exceptions in the Algebraic Specifications of Data Types. University of Osnabrück; 1981.
LibreCat
 

1981 | Report | LibreCat-ID: 8185
Pletat U, Engels G, Ehrich H-D. Operational Semantics of Algebraic Specifications with Conditional Equations. University of Dortmund, Department of Computer Science; 1981.
LibreCat
 

1982 | Conference Paper | LibreCat-ID: 7811
Engels G, Schäfer W. Specification of a Programming Support Environment by Graph Grammars. In: Proceedings of the Conference on Graphtheoretic Concepts in Computer Science (WG`82), München (Germany). München/Leipzig: Hanser; 1982:47-62.
LibreCat
 

1982 | Conference Paper | LibreCat-ID: 7812
Pletat U, Engels G, Ehrich H-D. An Operational Approach to Conditional Algebraic Specifications. In: Proceedings of the 7eme Colloque Sur Les Arbres En Algebre et En Programmation, Lille (France). Vol 82. ; 1982:254-270.
LibreCat
 

1983 | Journal Article | LibreCat-ID: 7412
Engels G, Pletat U, Ehrich H-D. An Operational Semantics for Specifications of Abstract Data Types with Error Handling. Acta Informatica. 1983;9(3):235-254. doi:http://dx.doi.org/10.1007/BF00265557
LibreCat | DOI
 

1983 | Journal Article | LibreCat-ID: 7411
Engels G, Gall R, Nagl M, Schäfer W. Software Specification Using Graph Grammars. Computing. 1983;31(4):317-346. doi:http://dx.doi.org/10.1007/BF02251236
LibreCat | DOI
 

1983 | Conference Paper | LibreCat-ID: 8255
Nagl M, Engels G, Gall R, Schäfer W. Software Specification by Graph Grammars. In: Proceedings of the 2nd International Workshop on Graph-Grammars and Their Application to Computer Science, Osnabrück (Germany). Vol 153. LNCS. Berlin/Heidelberg: Springer; 1983:267-287. doi:dx.doi.org/10.1007/BFb0000113
LibreCat | DOI
 

1984 | Journal Article | LibreCat-ID: 15124
Domik G, Kobrick M, Leberl F. Analyse von Radarbildern mittels digitaler Hoehenmodelle. Bildmessung und luftbildwesen. 1984;52(5):249-263.
LibreCat
 

1984 | Journal Article | LibreCat-ID: 15055
Domik G. Evaluation of radar stereo viewability by means of a simulation technique. ESA IGARSS 84: Remote Sensing: From Res towards Operational Use,. 1984;2.
LibreCat
 

1984 | Journal Article | LibreCat-ID: 14995
Domik G, Leberl F, Kobrick M. Radar image simulation and its application in image analysis. Archives of the International Society of Photogrammetry and Remote Sensing. 1984;25:A3a.
LibreCat
 

1985 | Conference Paper | LibreCat-ID: 7813
Engels G, Schäfer W. Graph Grammar Engineering: A Method Used for the Development of an Integrated Programming Support Environment. In: Proceedings of the International Joint Conference on Theory and Practice of Software Development (TAPSOFT 1985), Berlin (Germany). Vol 186. LNCS. Berlin/Heidelberg: Springer; 1985:179-193.
LibreCat
 

1985 | Conference Paper | LibreCat-ID: 7814
Engels G, Schäfer W. The Design of an Adaptive and Portable Programming Support Environment. In: Proceedings of the International Computing Symposium, Amsterdam (The Netherlands). Florenz; 1985.
LibreCat
 

1985 | Journal Article | LibreCat-ID: 15048
Raggam J, Triebnig G, Buchroithner M, Domik G, Leberl F. Radargrammetric aspects of SAR data evaluation. Thematic Applications of SAR data. 1985:57.
LibreCat
 

1986 | Conference Paper | LibreCat-ID: 8256
Engels G, Sandbrink A. Experiences with a Hybrid-Interpreter Based on Incremental Compilation Techniques. In: Proceedings of the Workshop on Compiler Compilers and Incremental Compilation Techniques, Bautzen. Vol 12. Bautzen: Berlin(Ost): Akademie der Wissenschaften der DDR; 1986:172-184.
LibreCat
 

1986 | Journal Article | LibreCat-ID: 14895
Leberl FW, Domik-Kienegger G, Rrggam J, Kobrick M. Radar stereomapping techniques and application to SIR-B images of Mt. Shasta. IEEE Transactions on Geoscience and Remote Sensing. 1986;(4):473-481.
LibreCat
 

1986 | Journal Article | LibreCat-ID: 15254
Leberl F, Domik G, Raggam J, Cimino J, Kobrick M. Radargrammetric Experiments with Space Shuttle SIR-B Imagery. 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. 1986:333-344.
LibreCat
 

1986 | Dissertation | LibreCat-ID: 7588
Engels G. Graphen Als Zentrale Datenstrukturen in Einer Software-Entwicklungsumgebung.; 1986.
LibreCat
 

1986 | Journal Article | LibreCat-ID: 11880
Oerder M, Ascheid G, Haeb-Umbach R, Meyr H. An all digital implementation of a receiver for bandwidth-efficient communication. Signal Processing: Theories and Applications. 1986.
LibreCat
 

1986 | Report | LibreCat-ID: 13022
Hellebrand S. Deformation Dicker Punkte Und Netze von Quadriken. Universität Regensburg, Fakultät für Mathematik, Regensburg, Germany; 1986.
LibreCat
 

1986 | Conference Paper | LibreCat-ID: 15179
Mercer J, Lowry R, Leberl F, Domik G. Digital terrain mapping with STAR-1 SAR data. In: International Geoscienee and Remote Sensing Symposium. ; 1986:645-650.
LibreCat
 

Search

Filter Publications

Display / Sort

Sorted by: Publishing Year
Citation Style: AMA

Export / Embed