Keith H. Randall
About
Keith H. Randall has authored 19 papers that have received a total of 1.4k indexed citations.
This includes 9 papers in Hardware and Architecture, 6 papers in Computer Networks and Communications and 6 papers in Computational Theory and Mathematics. The topics of these papers are Parallel Computing and Optimization Techniques (8 papers), Formal Methods in Verification (5 papers) and Logic, programming, and type systems (5 papers). Keith H. Randall is often cited by papers focused on Parallel Computing and Optimization Techniques (8 papers), Formal Methods in Verification (5 papers) and Logic, programming, and type systems (5 papers) and collaborates with scholars based in United States, France and Singapore. Keith H. Randall's co-authors include Charles E. Leiserson, Matteo Frigo, Christopher F. Joerg, M.M.J. Treacy and Robert D. Blumofe and has published in prestigious journals such as Journal of Applied Crystallography, Microporous and Mesoporous Materials and Crystal Growth & Design
In The Last Decade
Explore authors with similar magnitude of impact
Top journals papers by Margarida Machado are published in Top fields papers by Daniel Simon are about Top journals papers by Shanshan Niu are published in Top authors papers by Pingjun Ying are co-authored with Top journals papers by R F Thompson are published in Top fields papers by Xiujun Yue are about Top authors papers by Francina Lozada are co-authored with Top authors papers by Ingrid M. Lubbers are co-authored with