Friedrich L. Bauer - Concepedia

Author

Friedrich L. Bauer

Also Known As

Bauer, F., Bauer, F.L., Bauer, Friedrich, F. L. BAUER, F. L. Bauer, F.L. Bauer, FRIEDRICH L. BAUER, Friedrich Bauer, Friedrich L Bauer, Friedrich L. Bauer

600

Publications

Citations

H-Index

Concepts

All Affiliations

Johannes Gutenberg University Mainz Oak Ridge National Laboratory Technical University of Munich Munich University of Applied Sciences

About

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

Top Concepts

#	Concept	H-Index	Publications	Citations
1	Engineering	21	26	2.5K
2	Language Studies	8	8	1.2K
3	Business	1	1	27
4	Health Sciences	1	1	47
5	Social Sciences	1	1	19

Friedrich L. Bauer

Publications

3.8K

Citations

H-Index

Page 1

	Year	Citations
Revised report on the algorithmic language ALGOL 60 John Backus, Friedrich L. Bauer, J. Green, Communications of the ACM EngineeringAlgorithmic LibraryLarge-scale DatasetsCorpus LinguisticsNatural Language Processing	1963	906
Report on the algorithmic language ALGOL 60 John Backus, Friedrich L. Bauer, J. Green, Communications of the ACM	1960	494
Proceedings of the 4th international conference on Software engineering Friedrich L. Bauer, Leon G. Stucki, M. M. Lehman International Conference on Software Engineering Automated Software EngineeringEmpirical Software Engineering ResearchEngineeringProgram AnalysisSoftware Engineering	1979	391
Norms and exclusion theorems Friedrich L. Bauer, C. T. Fike Numerische Mathematik Exclusion TheoremsNorm (Mathematics)Extremal Set TheoryFunctional Analysis	1960	372
Formal program construction by transformations-computer-aided, intuition-guided programming Friedrich L. Bauer, Bernhard Möller, H. Partsch, IEEE Transactions on Software Engineering EngineeringSoftware SystemsSoftware EngineeringSoftware AnalysisFormal Verification	1989	139
Revised report on the algorithmic languageAlgol 60 John Backus, Friedrich L. Bauer, J. Green, Numerische Mathematik Combinatorics On WordAlgorithmic LibraryAlgorithmic Languagealgol 60Automated ReasoningComputational Linguistics	1962	113
Report on the algorithmic language ALGOL 60 John Backus, Friedrich L. Bauer, J. Green, Numerische Mathematik EngineeringAlgorithmic LibraryAutomated ReasoningProgram AnalysisAlgorithm Design	1960	109
Computational Graphs and Rounding Error Friedrich L. Bauer SIAM Journal on Numerical Analysis Mathematical ProgrammingComputational Complexity TheoryEngineeringComputational GraphsComputational Complexity	1974	102
Sequential formula translation K. Samelson, Friedrich L. Bauer Communications of the ACM Translation StudiesEngineeringComputational ComplexityFormal VerificationSoftware Analysis	1983	101
On the field of values subordinate to a norm Friedrich L. Bauer Numerische Mathematik Social NormNorm (Mathematics)Value TheoryNormative Issue	1962	99

Page 1