Science Explorer Back to mapMap
Discussion
Researcher · Cadence Design Systems (United States) · United States

Ken L. McMillan

Ken L. McMillan 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 Software Testing and Debugging Techniques.

OpenAlex
World rank
#1,423,679
of 7,710,434 ranked researchers
Rank in United States
#448,908
of 1,627,098
Works
25
Citations
1.2k
Citations per work
48.2
h-index
11
i10-index 12Top 39% in Computational Theory and Mathematics
Ken L. McMillan

What does Ken L. McMillan research?

Ken L. McMillan's work is mostly in Computer Science (85%), Engineering (3%), Decision Sciences (3%).

Physical Sciences: 22 works · 87.8% of their workComputer Science: 21 works · 84.8% of their workComputational Theory and Mathematics: 9 works · 34.8% of their workArtificial Intelligence: 6 works · 25.8% of their workSoftware: 5 works · 21.2% of their workHardware and Architecture: 1 works · 3.0% of their workEngineering: 1 works · 3.0% of their workBuilding and Construction: 1 works · 3.0% of their workEverything else: 2 works · 9.2% of their workSocial Sciences: 1 works · 3.0% of their workDecision Sciences: 1 works · 3.0% of their workManagement Science and Operations Research: 1 works · 3.0% of their workTHEIR WORKKen L. McMillan25works
Physical Sciences88%Social Sciences3%

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 Science2184.8%
    2. Engineering13.0%
  2. Everything else29.2%
    1. Decision Sciences13.0%
  1. 1Computational Theory and Mathematics35% of their works
  2. 2Artificial Intelligence26% of their works
  3. 3Software21% of their works
  4. 4Building and Construction3% of their works
  5. 5Hardware and Architecture3% of their works
  6. 6Management Science and Operations Research3% of their works

Research topics

Which keywords describe Ken L. McMillan's research?

The keywords of their largest research topics: Model Checking, Automata, Temporal Logic, Satisfiability Modulo Theories, Symbolic Model Checker, Formal Verification, Static Analysis and Automated Testing.

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. The words come from the keyword list OpenAlex gives each topic, not from the text of the papers, so a word can appear that none of the papers uses.

All 19 words, with their numbers
  1. Model Checking333 topics
  2. Automata202 topics
  3. Temporal Logic202 topics
  4. Satisfiability Modulo Theories181 topic
  5. Symbolic Model Checker181 topic
  6. Formal Verification131 topic
  7. Static Analysis131 topic
  8. Automated Testing81 topic
  9. Software Fault Localization81 topic
  10. Architecture-Based Approach31 topic
  11. Domain-Specific Languages31 topic
  12. Model-Driven Engineering31 topic
  13. Software Reliability Modeling31 topic
  14. Answer Set Programming21 topic
  15. BIM-GIS Integration21 topic
  16. CityGML21 topic
  17. Formal Languages21 topic
  18. Modal Logic21 topic
  19. Regular Expressions21 topic

Where does Ken L. McMillan work?

Ken L. McMillan's main affiliation in the publication record is Cadence Design Systems (United States), United States.

How many publications and citations does Ken L. McMillan have?

OpenAlex counts 25 works and 1,205 citations for Ken L. McMillan, an h-index of 11, ranking #1,423,679 of 7,710,434 researchers worldwide on the quality score.

Ranked on field-normalised citation 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 Ken L. McMillan. Keep it to the research: no personal attacks, advertising or links. Any reader can report a post, which collapses it for everyone until it is opened.