Science Explorer Back to mapMap
Discussion
Researcher · University of Missouri–St. Louis · United States

Gerald E. Peterson

Gerald E. Peterson publishes mostly in Artificial Intelligence, Applied Mathematics and Computational Theory and Mathematics, on topics such as Logic, programming, and type systems, Logic, Reasoning, and Knowledge and Formal Methods in Verification.

OpenAlex
World rank
#4,571,294
of 7,710,434 ranked researchers
Rank in United States
#1,211,823
of 1,627,098
Works
31
Citations
663
Citations per work
21.4
h-index
9
i10-index 9Top 49% in Artificial Intelligence
Gerald E. Peterson

What does Gerald E. Peterson research?

Gerald E. Peterson's work is mostly in Computer Science (43%), Mathematics (29%).

Physical Sciences: 22 works · 71.5% of their workComputer Science: 13 works · 42.9% of their workArtificial Intelligence: 8 works · 26.0% of their workComputational Theory and Mathematics: 4 works · 13.0% of their workComputer Networks and Communications: 1 works · 3.9% of their workMathematics: 9 works · 28.6% of their workApplied Mathematics: 4 works · 13.0% of their workMathematical Physics: 3 works · 9.1% of their workGeometry and Topology: 2 works · 6.5% of their workEverything else: 9 works · 28.5% of their workTHEIR WORKGerald E.Peterson31works
Physical Sciences72%

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 Science1342.9%
    2. Mathematics928.6%
  2. Everything else928.5%
  1. 1Artificial Intelligence26% of their works
  2. 2Applied Mathematics13% of their works
  3. 3Computational Theory and Mathematics13% of their works
  4. 4Mathematical Physics9% of their works
  5. 5Geometry and Topology6% of their works
  6. 6Computer Networks and Communications4% of their works

Research topics

Which keywords describe Gerald E. Peterson's research?

The keywords of their largest research topics: Model Checking, Temporal Logic, Formal Verification, Static Analysis, Answer Set Programming, Modal Logic, Satisfiability Modulo Theories and Symbolic Model Checker.

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 Checking193 topics
  2. Temporal Logic102 topics
  3. Formal Verification91 topic
  4. Static Analysis91 topic
  5. Answer Set Programming51 topic
  6. Modal Logic51 topic
  7. Satisfiability Modulo Theories51 topic
  8. Symbolic Model Checker51 topic
  9. Approximation Theorems31 topic
  10. Geometry31 topic
  11. Hyperbolic31 topic
  12. Mathematical Physics31 topic
  13. Nonlocal31 topic
  14. Partial Differential Equations31 topic
  15. Statistical Convergence31 topic
  16. p-adic31 topic
  17. Neural Networks21 topic
  18. Self-Organizing Maps21 topic

Where does Gerald E. Peterson work?

Gerald E. Peterson's main affiliation in the publication record is University of Missouri–St. Louis, United States.

How many publications and citations does Gerald E. Peterson have?

OpenAlex counts 31 works and 663 citations for Gerald E. Peterson, an h-index of 9, ranking #4,571,294 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 Gerald E. Peterson. Posts are plain text and can be reported.