The Formal Termination Problem for Programs with Finite ALGOL 68-Modes. - Hans Langmaack; Wolfram-Manfred Lippe; Franz Wagner (Inf. Process. Lett., 1979)

Ein Entwurf zur maschinellen Unterstützung von Korrekheitsbeweisen bei Simulationen. - Wolfram-Manfred Lippe; Franz Wagner (GI Jahrestagung, 1980)

Korrektheitsuntersuchungen von Simulationen unter Verwendung von Term-Rewriting-Verfahren. - Franz Wagner (1982)

River water segmentation in surveillance camera images: A comparative study of offline and online augmentation using 32 CNNs. - Franz Wagner; Anette Eltner; Hans-Gerd Maas (Int. J. Appl. Earth Obs. Geoinformation, 2023)

Segmentation in Tomography Data: Exploring Data Augmentation for Supervised and Unsupervised Voxel Classification with Neural Networks. - Franz Wagner (2024)

Investigations into the Geometric Calibration and Systematic Effects of a Micro-CT System. - Matthias Hardner; Frank Liebold; Franz Wagner; Hans-Gerd Maas (Sensors, 2024)