Engels, Gregor, Udo Pletat, and Hans-Dietrich Ehrich. Handling Errors and Exceptions in the Algebraic Specifications of Data Types. University of Osnabrück, 1981.

Pletat, Udo, Gregor Engels, and Hans-Dietrich Ehrich. Operational Semantics of Algebraic Specifications with Conditional Equations. University of Dortmund, Department of Computer Science, 1981.

Meyer auf der Heide, Friedhelm, and Anton Rollik. “Random Access Machines and Straight-Line Programs.”https://doi.org/10.1007/3-540-10854-8_29__In Fundamentals of Computation Theory. Berlin, Heidelberg, 1981.https://doi.org/10.1007/3-540-10854-8_29 .

Meyer auf der Heide, Friedhelm. “Time-Processor Trade-Offs for Universal Parallel Computers.”https://doi.org/10.1007/3-540-10856-4_111__In Lecture Notes in Computer Science. Berlin, Heidelberg, 1981.https://doi.org/10.1007/3-540-10856-4_111 .

Meyer auf der Heide, Friedhelm. “A Comparison of Two Variations of a Pebble Game on Graphs.”https://doi.org/10.1016/s0304-3975(81)80004-7__Theoretical Computer Science, 1981, 315–22.https://doi.org/10.1016/s0304-3975(81)80004-7 .

Böcker, Joachim. Ein Kreiskriterium für Mehrgrößensysteme und seine Anwendung auf mechanische Schwingungssysteme. Institut für Regelungstechnik, TU Berlin, 1981.

Engels, Gregor, and Wilhelm Schäfer. “Specification of a Programming Support Environment by Graph Grammars.” In Proceedings of the Conference on Graphtheoretic Concepts in Computer Science (WG), München (Germany), 47–62. München/Leipzig: Hanser, 1982.

Pletat, Udo, Gregor Engels, and Hans-Dietrich Ehrich. “An Operational Approach to Conditional Algebraic Specifications.” In Proceedings of the 7eme Colloque Sur Les Arbres En Algebre et En Programmation, Lille (France), 82:254–70, 1982.

Böcker, Joachim. Untersuchungen zur L_inf-Stabilität für eine Klasse nichtlinearer Regelungssysteme. Institut für Regelungstechnik, TU Berlin, 1982.

Nagl, Manfred, Gregor Engels, Rupert Gall, and Wilhelm Schäfer. “Software Specification by Graph Grammars.”https://doi.org/dx.doi.org/10.1007/BFb0000113__In Proceedings of the 2nd International Workshop on Graph-Grammars and Their Application to Computer Science, Osnabrück (Germany), 153:267–87. LNCS. Berlin/Heidelberg: Springer, 1983.https://doi.org/dx.doi.org/10.1007/BFb0000113 .

Engels, Gregor, Rupert Gall, Manfred Nagl, and Wilhelm Schäfer. “Software Specification Using Graph Grammars.”http://dx.doi.org/10.1007/BF02251236__Computing 31, no. 4 (1983): 317–46.http://dx.doi.org/10.1007/BF02251236 .

Engels, Gregor, Udo Pletat, and Hans-Dietrich Ehrich. “An Operational Semantics for Specifications of Abstract Data Types with Error Handling.”http://dx.doi.org/10.1007/BF00265557__Acta Informatica 9, no. 3 (1983): 235–54.http://dx.doi.org/10.1007/BF00265557 .

Meyer auf der Heide, Friedhelm. “Efficiency of Universal Parallel Computers.”https://doi.org/10.1007/bf00265559__Acta Informatica, 1983, 269–96.https://doi.org/10.1007/bf00265559 .

Klein, Peter, and Friedhelm Meyer auf der Heide. “A Lower Time Bound for the Knapsack Problem on Random Access Machines.”https://doi.org/10.1007/bf00290735__Acta Informatica, 1983, 385–95.https://doi.org/10.1007/bf00290735 .

Meyer auf der Heide, Friedhelm. “Infinite Cube-Connected Cycles.”https://doi.org/10.1016/0020-0190(83)90001-7__Information Processing Letters, 1983, 1–2.https://doi.org/10.1016/0020-0190(83)90001-7 .

Meyer auf der Heide, Friedhelm. “A Polynomial Linear Search Algorithm for the N-Dimensional Knapsack Problem.”https://doi.org/10.1145/800061.808734__In Proceedings of the Fifteenth Annual ACM Symposium on Theory of Computing  - STOC ’83, 1983.https://doi.org/10.1145/800061.808734 .

Meyer auf der Heide, Friedhelm. “Efficiency of Universal Parallel Computers.”https://doi.org/10.1007/bfb0036483__In Lecture Notes in Computer Science. Berlin/Heidelberg, 1983.https://doi.org/10.1007/bfb0036483 .

Domik, Gitta, F. Leberl, and M. Kobrick. “Radar Image Simulation and Its Application in Image Analysis.” In International Archives of Photogrammetry and Remote Sensing, 25A:99–108. ISPRS 1984, XVth Congress, Rio de Janeiro, 1984. Rio de Janeiro, Brazil, 1984.

Domik, Gitta, F. Leberl, and J. Raggam. “Rectification of Radar Images Using Stereo- Derived Height Models and Simulations.” In XVth Congress of the International Society for Photogrammetry and Remote Sensing, 25A:109–116. Rio de Janeiro, 1984.

Domik, Gitta. “Evaluation of Radar Stereo Viewability by Means of a Simulation Technique.” In ESA IGARSS 84: Remote Sensing: From Res. towards Operational Use, Vol. 2, 1984.