Robert K. Brayton
About
Robert K. Brayton has authored 230 papers that have received a total of 6.1k indexed citations.
This includes 134 papers in Hardware and Architecture, 129 papers in Electrical and Electronic Engineering and 124 papers in Computational Theory and Mathematics. The topics of these papers are Formal Methods in Verification (110 papers), VLSI and Analog Circuit Testing (100 papers) and Low-power high-performance VLSI design (81 papers). Robert K. Brayton is often cited by papers focused on Formal Methods in Verification (110 papers), VLSI and Analog Circuit Testing (100 papers) and Low-power high-performance VLSI design (81 papers) and collaborates with scholars based in United States, Canada and Switzerland. Robert K. Brayton's co-authors include Alberto Sangiovanni‐Vincentelli, Satrajit Chatterjee, Alan Mishchenko, Tiziano Villa and Timothy Kam and has published in prestigious journals such as Proceedings of the National Academy of Sciences, Brain Research and Proceedings of the IEEE
In The Last Decade
Explore authors with similar magnitude of impact
Top authors papers by Noor Azuan Abu Osman are co-authored with Top fields papers by Richard Tewksbury are about Top journals papers by Olle Björneholm are published in Top journals papers by Anna Chiara Frigo are published in Top fields papers by Lytt I. Gardner are about Top fields papers by Hideyuki Doi are about Top journals papers by Qing Li are published in Top fields papers by Giovanni Lombardi are about