Science Explorer Interactive view Map
Researcher · Stanford University · United States

Margaret Smith

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

ORCID 0000-0001-7935-8627 OpenAlex
World rank
#934,498
of 1,633,909 ranked researchers
Rank in United States
#252,915
of 358,040
Works
17
Citations
86
Citations per work
5.1

What does Margaret Smith research?

Software: 19.4%Artificial Intelligence: 16.7%Computational Theory and Mathematics: 13.9%Food Science: 5.6%other fields: 44.4%19%top field
Software19.4%Artificial Intelligence16.7%Computational Theory and Mathematics13.9%Food Science5.6%other fields44.4%

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

  1. 1Software19% of their works
  2. 2Artificial Intelligence17% of their works
  3. 3Computational Theory and Mathematics14% of their works
  4. 4Food Science6% of their works
  5. 5Ecology, Evolution, Behavior and Systematics3% of their works
  6. 6Nature and Landscape Conservation3% of their works

Research topics

Which keywords describe Margaret Smith's research?

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

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 Checking82 topics
  2. Automated Testing51 topic
  3. Satisfiability Modulo Theories51 topic
  4. Software Fault Localization51 topic
  5. Symbolic Model Checker51 topic
  6. Formal Verification31 topic
  7. Static Analysis31 topic
  8. Architecture-Based Approach21 topic
  9. Autonomic Computing21 topic
  10. Self-Adaptive Systems21 topic
  11. Software Reliability Modeling21 topic
  12. Food Safety11 topic
  13. Food Supply Chain11 topic
  14. Grasses11 topic
  15. Hygiene Practices11 topic
  16. Phylogeny11 topic
  17. Traceability11 topic

Where does Margaret Smith work?

Margaret Smith's main affiliation in the publication record is Stanford University, United States.

How many publications and citations does Margaret Smith have?

Science Explorer counts 17 works and 86 citations for Margaret Smith, ranking #934,498 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.

Other researchers named Margaret Smith

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.