Concepedia

Friedrich L. Bauer

FL

39

Publications

3.8K

Citations

27

H-Index

1959

Active since

Affiliations

Johannes Gutenberg University Mainz(Current)

Oak Ridge National Laboratory

Technical University of Munich

Munich University of Applied Sciences

Friedrich L. Bauer is an author at Johannes Gutenberg University Mainz specializing in engineering, computer science, and formal methods.

Top concepts

EngineeringComputer ScienceFormal MethodsProgram AnalysisSoftware AnalysisAutomated ReasoningSoftware EngineeringSoftware DesignLanguageLinguistics

Publications per year

1959–2007

39

Publications

39

Revised report on the algorithmic language ALGOL 60

John Backus, Friedrich L. Bauer, J. Green et al. · Communications of the ACM · 1963 · 906 citations · Full text

Engineering, Algorithmic Library, Large-scale Datasets +16

Report on the algorithmic language ALGOL 60

John Backus, Friedrich L. Bauer, J. Green et al. · Communications of the ACM · 1960 · 494 citations · Full text

Proceedings of the 4th international conference on Software engineering

Friedrich L. Bauer, Leon G. Stucki, M. M. Lehman · International Conference on Software Engineering · 1979 · 391 citations

Automated Software Engineering, Empirical Software Engineering Research, Engineering +7

Norms and exclusion theorems

Friedrich L. Bauer, C. T. Fike · Numerische Mathematik · 1960 · 372 citations

Exclusion Theorems, Norm (Mathematics), Extremal Set Theory +1

Formal program construction by transformations-computer-aided, intuition-guided programming

Friedrich L. Bauer, Bernhard Möller, H. Partsch et al. · IEEE Transactions on Software Engineering · 1989 · 139 citations

Engineering, Software Systems, Software Engineering +21

Rows per page

1–5 of 39