Robert K. Brayton
Robert K. Brayton publishes mostly in Electrical and Electronic Engineering, Computational Theory and Mathematics and Hardware and Architecture, on topics such as Formal Methods in Verification, VLSI and Analog Circuit Testing and Low-power high-performance VLSI design.
- World rank
- #167,747 of 7,710,434 ranked researchers
- Rank in United States
- #62,847 of 1,627,098
- Works
- 592
- Citations
- 25k
- Citations per work
- 42.8
What does Robert K. Brayton research?
Robert K. Brayton's work is mostly in Computer Science (63%), Engineering (25%).
Their six largest subfields, inside their fields and domains; the grey slice is everything else they publish. The interactive view splits every one of their works down to single topics.
The fields and subfields, with their numbers
- Physical Sciences52087.9%
- Computer Science37262.9%
- Engineering14825.0%
- Everything else7212.1%
- 1Electrical and Electronic Engineering25% of their works
- 2Computational Theory and Mathematics25% of their works
- 3Hardware and Architecture24% of their works
- 4Artificial Intelligence7% of their works
- 5Software4% of their works
- 6Computer Networks and Communications3% of their works
Research topics
Which keywords describe Robert K. Brayton's research?
The keywords of their largest research topics: Model Checking, Automata, Satisfiability Modulo Theories, Symbolic Model Checker, FPGA, CMOS Technology, Embedded Cores and Test Data Compression.
- Regular Expressions
- Soft Errors
- Static Analysis
- Placement
- Reconfigurable Computing
- VLSI Circuits
- Test Data Compression
- CMOS Technology
- Symbolic Model Checker
- Automata
- Model Checking
- Satisfiability Modulo Theories
- FPGA
- Embedded Cores
- Low-Power
- High-Level Synthesis
- ASIC
- Formal Verification
- Radiation Effects
- Formal Languages
Size is their works in the topics tagged with each word, from their 8 largest topics. Each links to the topic it comes from most. The words come from the keyword list OpenAlex gives each topic, not from the text of the papers, so a word can appear that none of the papers uses.
All 20 words, with their numbers
- Model Checking3512 topics
- Automata3242 topics
- Satisfiability Modulo Theories2911 topic
- Symbolic Model Checker2911 topic
- FPGA2852 topics
- CMOS Technology2122 topics
- Embedded Cores2081 topic
- Test Data Compression2081 topic
- Low-Power1731 topic
- VLSI Circuits1731 topic
- High-Level Synthesis1511 topic
- Reconfigurable Computing1511 topic
- ASIC1341 topic
- Placement1341 topic
- Formal Verification601 topic
- Static Analysis601 topic
- Radiation Effects391 topic
- Soft Errors391 topic
- Formal Languages331 topic
- Regular Expressions331 topic
Where does Robert K. Brayton work?
Robert K. Brayton's main affiliation in the publication record is University of California, Berkeley, United States.
How many publications and citations does Robert K. Brayton have?
OpenAlex counts 592 works and 25,352 citations for Robert K. Brayton, an h-index of 75, ranking #167,747 of 7,710,434 researchers worldwide on the quality score.
Ranked on field-normalised citation excellence (50%), output (30%) and citations (20%). Counts come from OpenAlex author records, which occasionally merge different people who share a name or split one person into several.
Papers, co-authors, who cited this work and researchers on the nearest topics have tabs of their own, above. Is this your page? Claim it with your ORCID iD, or request a correction or removal.
Discussion
Ask a question or share a note about Robert K. Brayton. Keep it to the research: no personal attacks, advertising or links. Any reader can report a post, which collapses it for everyone until it is opened.