The unit-clause proof procedure with equality. - Geerd-Rüdiger Hoffmann; Gerd Veenker (Computing, 1971)

Support of File Editing Using Networks. - Geerd-R. Hoffmann; Gordon Lee (Prax. Inf.verarb. Kommun., 1980)

Special Considerations for a Cray Installation. - Geerd-R. Hoffmann (Prax. Inf.verarb. Kommun., 1982)

Die Entwicklung der Rechnerkonfiguation im EZMW. - Geerd-R. Hoffmann (GI-Fachgespräch über Rechenzentren, 1983)

Supercomputer als Mehrprozessoranlage -Erfahrungen und Ergebnisse-. - Geerd-R. Hoffmann (GI-Fachgespräch über Rechenzentren, 1985)

A comparative study of libraries for parallel processing. - David F. Snelling; Geerd-R. Hoffmann (Parallel Comput., 1988)

ECFILE-Datenhaltung in einem verteilten Rechensystem. - Geerd-R. Hoffmann (GI-Fachgespräch über Rechenzentren, 1989)

Weather Forecasting and Parallel Processing: a View from ECMWF. - Geerd-R. Hoffmann (Int. J. High Speed Comput., 1993)

High-Performance Computing and Networking for Numerical Weather Prediction. - Geerd-R. Hoffmann (HPCN, 1994)