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
Top fields papers by Michael R. Galarneau are about Top authors papers by Alexander S. Kiselyov are co-authored with Top journals papers by Yanjie Wu are published in Top authors papers by Xiangyu Tang are co-authored with Top countries impacted by papers by Sadeq A. Quraishi Top fields papers by Yaqiong Wang are about Top journals papers by Joreintje D. Mackenbach are published in Top fields papers by Paul E. Baer are about