Franz Wagner

Orcid: 0000-0002-0715-6118

According to our database¹, Franz Wagner authored at least 5 papers between 1979 and 2024.

Collaborative distances:

Dijkstra number² of four.
Erdős number³ of five.

Timeline

Legend:

Book

In proceedings

Article

PhD thesis

Dataset

Other

Links

On csauthors.net:

Bibliography

2024

Investigations into the Geometric Calibration and Systematic Effects of a Micro-CT System.

[BibT_eX]

[DOI]

Sensors, August, 2024

2023

River water segmentation in surveillance camera images: A comparative study of offline and online augmentation using 32 CNNs.

[BibT_eX]

[DOI]

Franz Wagner

Anette Eltner

Hans-Gerd Maas

Int. J. Appl. Earth Obs. Geoinformation, May, 2023

1982

Korrektheitsuntersuchungen von Simulationen unter Verwendung von Term-Rewriting-Verfahren.

[BibT_eX]

[DOI]

Franz Wagner

PhD thesis, 1982

1980

Ein Entwurf zur maschinellen Unterstützung von Korrekheitsbeweisen bei Simulationen.

[BibT_eX]

[DOI]

Wolfram-Manfred Lippe

Franz Wagner

Proceedings of the GI - 10. Jahrestagung, Saarbrücken, 30. September, 1980

1979

The Formal Termination Problem for Programs with Finite ALGOL 68-Modes.

[BibT_eX]

[DOI]

Hans Langmaack

Wolfram-Manfred Lippe

Franz Wagner

Inf. Process. Lett., 1979

Franz Wagner

Timeline

Legend:

Links

On csauthors.net:

Bibliography

Loading...