Science Explorer Interactive view Map
Researcher · United States Naval Research Laboratory · United States

Constance Heitmeyer

Constance Heitmeyer publishes mostly in Software, Artificial Intelligence and General Health Professions, on topics such as Formal Methods in Verification, Software Testing and Debugging Techniques and Software Reliability and Analysis Research.

ORCID 0000-0001-7942-9309 OpenAlex
World rank
#95,545
of 1,633,909 ranked researchers
Rank in United States
#41,943
of 358,040
Works
33
Citations
192
Citations per work
5.8

What does Constance Heitmeyer research?

Software: 23.1%Artificial Intelligence: 15.4%General Health Professions: 10.3%Computational Theory and Mathematics: 10.3%other fields: 40.9%23%top field
Software23.1%Artificial Intelligence15.4%General Health Professions10.3%Computational Theory and Mathematics10.3%other fields40.9%

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

  1. 1Software23% of their works
  2. 2Artificial Intelligence15% of their works
  3. 3General Health Professions10% of their works
  4. 4Computational Theory and Mathematics10% of their works
  5. 5Information Systems5% of their works
  6. 6Philosophy5% of their works

Research topics

Which keywords describe Constance Heitmeyer's research?

The keywords of their largest research topics: Model Checking, Automated Testing, Satisfiability Modulo Theories, Software Fault Localization, Symbolic Model Checker, Architecture-Based Approach, Software Reliability Modeling and Domain-Specific Languages.

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 Checking62 topics
  2. Automated Testing41 topic
  3. Satisfiability Modulo Theories41 topic
  4. Software Fault Localization41 topic
  5. Symbolic Model Checker41 topic
  6. Architecture-Based Approach31 topic
  7. Software Reliability Modeling31 topic
  8. Domain-Specific Languages21 topic
  9. Formal Verification21 topic
  10. Healthcare Legislation21 topic
  11. Information Security21 topic
  12. Model-Driven Engineering21 topic
  13. Patient Rights21 topic
  14. Policy Compliance21 topic
  15. Security Policies21 topic
  16. Side-Channel Attacks21 topic
  17. Static Analysis21 topic

Where does Constance Heitmeyer work?

Constance Heitmeyer's main affiliation in the publication record is United States Naval Research Laboratory, United States.

How many publications and citations does Constance Heitmeyer have?

Science Explorer counts 33 works and 192 citations for Constance Heitmeyer, ranking #95,545 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.