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.

8669 Publications

1981 | Report | LibreCat-ID: 8184
Engels, Gregor, et al. Handling Errors and Exceptions in the Algebraic Specifications of Data Types. University of Osnabrück, 1981.

1981 | Report | LibreCat-ID: 8185
Pletat, Udo, et al. Operational Semantics of Algebraic Specifications with Conditional Equations. University of Dortmund, Department of Computer Science, 1981.

1982 | Conference Paper | LibreCat-ID: 7811
Engels, Gregor, and Wilhelm Schäfer. “Specification of a Programming Support Environment by Graph Grammars.” Proceedings of the Conference on Graphtheoretic Concepts in Computer Science (WG`82), München (Germany), Hanser, 1982, pp. 47–62.

1982 | Conference Paper | LibreCat-ID: 7812
Pletat, Udo, et al. “An Operational Approach to Conditional Algebraic Specifications.” Proceedings of the 7eme Colloque Sur Les Arbres En Algebre et En Programmation, Lille (France), vol. 82, 1982, pp. 254–70.

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:
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:
LibreCat | DOI

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,
LibreCat | DOI

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.

1984 | Journal Article | LibreCat-ID: 15055
Domik, Gitta. “Evaluation of Radar Stereo Viewability by Means of a Simulation Technique.” ESA IGARSS 84: Remote Sensing: From Res. towards Operational Use, vol. 2, 1984.

1984 | Journal Article | LibreCat-ID: 14995
Domik, Gitta, et al. “Radar Image Simulation and Its Application in Image Analysis.” Archives of the International Society of Photogrammetry and Remote Sensing, vol. 25, 1984, p. A3a.

Filters and Search Terms

year<=2030 AND year>=1980


Filter Publications

Display / Sort

Sorted by: Publishing Year
Citation Style: MLA

Export / Embed