Science Explorer Back to mapMap
Discussion
Researcher · The University of Texas at Austin · United States

Robert S. Boyer

Robert S. Boyer publishes mostly in Artificial Intelligence, Computational Theory and Mathematics and Hardware and Architecture, on topics such as Logic, programming, and type systems, Logic, Reasoning, and Knowledge and Computability, Logic, AI Algorithms.

OpenAlex
World rank
#558,078
of 7,710,434 ranked researchers
Rank in United States
#192,649
of 1,627,098
Works
95
Citations
5.4k
Citations per work
57.1
h-index
26
i10-index 36Top 7.1% in Artificial Intelligence
Robert S. Boyer

What does Robert S. Boyer research?

Robert S. Boyer's work is mostly in Computer Science (73%), Economics, Econometrics and Finance (3%).

Physical Sciences: 70 works · 73.2% of their workComputer Science: 70 works · 73.2% of their workArtificial Intelligence: 36 works · 37.5% of their workComputational Theory and Mathematics: 19 works · 20.4% of their workHardware and Architecture: 6 works · 6.5% of their workSoftware: 4 works · 4.6% of their workComputer Networks and Communications: 4 works · 4.2% of their workEverything else: 23 works · 24.0% of their workSocial Sciences: 3 works · 2.8% of their workEconomics, Econometrics and Finance: 3 works · 2.8% of their workEconomics and Econometrics: 3 works · 2.8% of their workTHEIR WORKRobert S. Boyer95works
Physical Sciences73%Social Sciences3%

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
    1. Computer Science7073.2%
  2. Everything else2324.0%
    1. Economics, Econometrics and Finance32.8%
  1. 1Artificial Intelligence38% of their works
  2. 2Computational Theory and Mathematics20% of their works
  3. 3Hardware and Architecture6% of their works
  4. 4Software5% of their works
  5. 5Computer Networks and Communications4% of their works
  6. 6Economics and Econometrics3% of their works

Research topics

Which keywords describe Robert S. Boyer's research?

The keywords of their largest research topics: Model Checking, Formal Verification, Static Analysis, Temporal Logic, Answer Set Programming, Modal Logic, Algorithmic Information Theory and Computability.

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.

All 18 words, with their numbers
  1. Model Checking643 topics
  2. Formal Verification351 topic
  3. Static Analysis351 topic
  4. Temporal Logic292 topics
  5. Answer Set Programming171 topic
  6. Modal Logic171 topic
  7. Algorithmic Information Theory121 topic
  8. Computability121 topic
  9. Satisfiability Modulo Theories121 topic
  10. Symbolic Model Checker121 topic
  11. Parallel Computing101 topic
  12. Performance Optimization101 topic
  13. Automated Testing61 topic
  14. Software Fault Localization61 topic
  15. Compression51 topic
  16. Historical Sources51 topic
  17. Mathematics Education51 topic
  18. Suffix Arrays51 topic

Where does Robert S. Boyer work?

Robert S. Boyer's main affiliation in the publication record is The University of Texas at Austin, United States.

How many publications and citations does Robert S. Boyer have?

OpenAlex counts 95 works and 5,429 citations for Robert S. Boyer, an h-index of 26, ranking #558,078 of 7,710,434 researchers worldwide on the quality score.

Ranked on field-normalised 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 S. Boyer. Posts are plain text and can be reported.