Science Explorer Interactive view Map
Researcher · The University of Texas at Austin · United States

E. Allen Emerson

E. Allen Emerson publishes mostly in Computational Theory and Mathematics, Artificial Intelligence and Software, on topics such as Formal Methods in Verification, Logic, programming, and type systems and semigroups and automata theory.

OpenAlex
World rank
#15,494
of 1,633,909 ranked researchers
Rank in United States
#7,415
of 358,040
Works
42
Citations
1.4k
Citations per work
33.7

What does E. Allen Emerson research?

Computational Theory and Mathematics: 40.0%Artificial Intelligence: 28.9%Software: 15.6%Control and Systems Engineering: 4.4%other fields: 11.1%40%top field
Computational Theory and Mathematics40.0%Artificial Intelligence28.9%Software15.6%Control and Systems Engineering4.4%other fields11.1%

Shares of their own output, by the field each of their topics belongs to. The grey slice is everything not listed.

  1. 1Computational Theory and Mathematics40% of their works
  2. 2Artificial Intelligence29% of their works
  3. 3Software16% of their works
  4. 4Control and Systems Engineering4% of their works
  5. 5Hardware and Architecture4% of their works
  6. 6Computer Networks and Communications4% of their works

Research topics

Which keywords describe E. Allen Emerson's research?

The keywords of their largest research topics: Model Checking, Automata, Satisfiability Modulo Theories, Symbolic Model Checker, Formal Verification, Static Analysis, Formal Languages and Regular Expressions.

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 Checking222 topics
  2. Automata172 topics
  3. Satisfiability Modulo Theories121 topic
  4. Symbolic Model Checker121 topic
  5. Formal Verification101 topic
  6. Static Analysis101 topic
  7. Formal Languages51 topic
  8. Regular Expressions51 topic
  9. Domain-Specific Languages31 topic
  10. Model-Driven Engineering31 topic
  11. Architecture-Based Approach21 topic
  12. Automated Testing21 topic
  13. Software Fault Localization21 topic
  14. Software Reliability Modeling21 topic
  15. Neural Machine Translation11 topic
  16. Olefin Metathesis11 topic
  17. Ruthenium Catalysts11 topic
  18. Statistical Machine Translation11 topic

Where does E. Allen Emerson work?

E. Allen Emerson's main affiliation in the publication record is The University of Texas at Austin, United States.

How many publications and citations does E. Allen Emerson have?

Science Explorer counts 42 works and 1,417 citations for E. Allen Emerson, ranking #15,494 of 1,633,909 researchers worldwide on the composite 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 are in the interactive view on the map. Is this your page? Request a correction or removal.