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

Software Specification by Graph Grammars
M. Nagl, G. Engels, R. Gall, W. Schäfer, in: Proceedings of the 2nd International Workshop on Graph-Grammars and Their Application to Computer Science, Osnabrück (Germany), Springer, Berlin/Heidelberg, 1983, pp. 267–287.

Software Specification Using Graph Grammars
G. Engels, R. Gall, M. Nagl, W. Schäfer, Computing 31 (1983) 317–346.

An Operational Semantics for Specifications of Abstract Data Types with Error Handling
G. Engels, U. Pletat, H.-D. Ehrich, Acta Informatica 9 (1983) 235–254.

Efficiency of universal parallel computers
F. Meyer auf der Heide, Acta Informatica (1983) 269–296.

A lower time bound for the knapsack problem on random access machines
P. Klein, F. Meyer auf der Heide, Acta Informatica (1983) 385–395.

Infinite cube-connected cycles
F. Meyer auf der Heide, Information Processing Letters (1983) 1–2.

A polynomial linear search algorithm for the n-dimensional knapsack problem
F. Meyer auf der Heide, in: Proceedings of the Fifteenth Annual ACM Symposium on Theory of Computing  - STOC ’83, 1983.

Efficiency of universal parallel computers
F. Meyer auf der Heide, in: Lecture Notes in Computer Science, Berlin/Heidelberg, 1983.

Radar Image Simulation and its Application in Image Analysis
G. Domik, F. Leberl, M. Kobrick, in: International Archives of Photogrammetry and Remote Sensing, Rio de Janeiro, Brazil, 1984, pp. 99–108.