Friedrich L. Bauer
About
Friedrich L. Bauer has authored 102 papers that have received a total of 2.5k indexed citations.
This includes 32 papers in Computational Theory and Mathematics, 22 papers in Artificial Intelligence and 8 papers in Applied Mathematics. The topics of these papers are Matrix Theory and Algorithms (12 papers), Logic, programming, and type systems (11 papers) and Formal Methods in Verification (7 papers). Friedrich L. Bauer is often cited by papers focused on Matrix Theory and Algorithms (12 papers), Logic, programming, and type systems (11 papers) and Formal Methods in Verification (7 papers) and collaborates with scholars based in Germany, United States and The Netherlands. Friedrich L. Bauer's co-authors include K. Samelson, A. S. Householder, Hans Wössner, J. H. Wegstein and A. van Wijngaarden and has published in prestigious journals such as Communications of the ACM, Mathematics of Computation and SIAM Journal on Numerical Analysis.
In The Last Decade
Explore authors with similar magnitude of impact
Breakdown of academic impact, for papers by F. Sandhofer Breakdown of academic impact, for papers by Bindu Krishnan Breakdown of academic impact, for papers by Qi Pan Breakdown of academic impact, for papers by Tao Xu Breakdown of academic impact, for papers by Takayoshi Ikeda Breakdown of academic impact, for papers by L.P. Purohit Breakdown of academic impact, for papers by Heather L. Evans Breakdown of academic impact, for papers by Paul Maropoulos