Friedrich L. Bauer

Revised report on the algorithmic language ALGOL 60

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

Computing, Computer Science, Mathematics +3

Report on the algorithmic language ALGOL 60

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

Computing, Computer Science, Algorithms +4

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

Computing, Computer Engineering, Computer Science +13

Norms and exclusion theorems

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

Social Sciences, Jurisprudence, Set Theory +4

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

Computing, Computer Science, Formal Methods +9