Science Explorer Back to mapMap
Discussion
Researcher · Kestrel Institute · United States

Allen Goldberg

Allen Goldberg publishes mostly in Artificial Intelligence, Computational Theory and Mathematics and Software, on topics such as Formal Methods in Verification, Logic, programming, and type systems and Software Testing and Debugging Techniques.

OpenAlex
World rank
#1,280,560
of 7,710,434 ranked researchers
Rank in United States
#407,919
of 1,627,098
Works
44
Citations
1.4k
Citations per work
31.6
h-index
17
i10-index 24Top 18% in Artificial Intelligence
Allen Goldberg

What does Allen Goldberg research?

Allen Goldberg's work is mostly in Computer Science (86%).

Physical Sciences: 38 works · 86.5% of their workComputer Science: 38 works · 86.5% of their workArtificial Intelligence: 12 works · 27.0% of their workComputational Theory and Mathematics: 8 works · 19.0% of their workSoftware: 7 works · 16.7% of their workComputer Networks and Communications: 5 works · 11.1% of their workHardware and Architecture: 3 works · 7.1% of their workInformation Systems: 2 works · 5.6% of their workEverything else: 6 works · 13.5% of their workTHEIR WORKAllen Goldberg44works
Physical Sciences86%

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 Science3886.5%
  2. Everything else613.5%
  1. 1Artificial Intelligence27% of their works
  2. 2Computational Theory and Mathematics19% of their works
  3. 3Software17% of their works
  4. 4Computer Networks and Communications11% of their works
  5. 5Hardware and Architecture7% of their works
  6. 6Information Systems6% of their works

Research topics

Which keywords describe Allen Goldberg's research?

The keywords of their largest research topics: Model Checking, Satisfiability Modulo Theories, Symbolic Model Checker, Formal Verification, Static Analysis, Automated Testing, Software Fault Localization and Autonomic Computing.

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 17 words, with their numbers
  1. Model Checking312 topics
  2. Satisfiability Modulo Theories181 topic
  3. Symbolic Model Checker181 topic
  4. Formal Verification131 topic
  5. Static Analysis131 topic
  6. Automated Testing121 topic
  7. Software Fault Localization121 topic
  8. Autonomic Computing101 topic
  9. Self-Adaptive Systems101 topic
  10. Architecture-Based Approach81 topic
  11. Software Reliability Modeling81 topic
  12. Security Policies61 topic
  13. Side-Channel Attacks61 topic
  14. Code Clone Detection51 topic
  15. Parallel Computing51 topic
  16. Performance Optimization51 topic
  17. Refactoring51 topic

Where does Allen Goldberg work?

Allen Goldberg's main affiliation in the publication record is Kestrel Institute, United States.

How many publications and citations does Allen Goldberg have?

OpenAlex counts 44 works and 1,391 citations for Allen Goldberg, an h-index of 17, ranking #1,280,560 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 Allen Goldberg. Posts are plain text and can be reported.