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 authors papers by Patricia Limousin‐Dowsey are co-authored with Top countries impacted by papers by Jay M. Griffith Top authors papers by Joe Don Heath are co-authored with Top countries impacted by papers by Rachel Louie Top fields papers by Lauren Branchini are about Top countries impacted by papers by Luisa Andruzzi Top fields papers by Atsuko Kinoshita are about Top countries impacted by papers by Zhouyu Tong