We stand with Ukraine  

Franz Wagner

Orcid: 0000-0002-0715-6118

According to our database1, Franz Wagner authored at least 4 papers between 1979 and 2023.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of five.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2023
River water segmentation in surveillance camera images: A comparative study of offline and online augmentation using 32 CNNs.
[BibTeX]
[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.
[BibTeX]
[DOI]
Franz Wagner
PhD thesis, 1982

1980
Ein Entwurf zur maschinellen Unterstützung von Korrekheitsbeweisen bei Simulationen.
[BibTeX]
[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.
[BibTeX]
[DOI]
Hans Langmaack
,
Wolfram-Manfred Lippe
,
Franz Wagner
Inf. Process. Lett., 1979


  Loading...