Science Explorer Back to mapMap
Discussion
Researcher · Kestrel Institute · United States

Stephen J. Westfold

Stephen J. Westfold publishes mostly in Artificial Intelligence, Computer Networks and Communications and Hardware and Architecture, on topics such as Logic, programming, and type systems, Formal Methods in Verification and Model-Driven Software Engineering Techniques.

OpenAlex
World rank
#4,039,052
of 7,710,434 ranked researchers
Rank in United States
#1,099,581
of 1,627,098
Works
27
Citations
324
Citations per work
12.0
h-index
9
i10-index 9Top 49% in Artificial Intelligence
Stephen J. Westfold

What does Stephen J. Westfold research?

Stephen J. Westfold's work is mostly in Computer Science (79%), Engineering (5%).

Physical Sciences: 23 works · 83.9% of their workComputer Science: 21 works · 78.6% of their workArtificial Intelligence: 9 works · 33.3% of their workComputer Networks and Communications: 4 works · 13.3% of their workHardware and Architecture: 3 works · 12.0% of their workComputational Theory and Mathematics: 3 works · 10.7% of their workSoftware: 3 works · 9.3% of their workEngineering: 1 works · 5.3% of their workIndustrial and Manufacturing Engineering: 1 works · 5.3% of their workEverything else: 4 works · 16.1% of their workTHEIR WORKStephen J.Westfold27works
Physical Sciences84%

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 Science2178.6%
    2. Engineering15.3%
  2. Everything else416.1%
  1. 1Artificial Intelligence33% of their works
  2. 2Computer Networks and Communications13% of their works
  3. 3Hardware and Architecture12% of their works
  4. 4Computational Theory and Mathematics11% of their works
  5. 5Software9% of their works
  6. 6Industrial and Manufacturing Engineering5% of their works

Research topics

Which keywords describe Stephen J. Westfold's research?

The keywords of their largest research topics: Model Checking, Temporal Logic, Formal Verification, Static Analysis, Satisfiability Modulo Theories, Symbolic Model Checker, Domain-Specific Languages and Model-Driven Engineering.

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 Checking183 topics
  2. Temporal Logic102 topics
  3. Formal Verification81 topic
  4. Static Analysis81 topic
  5. Satisfiability Modulo Theories71 topic
  6. Symbolic Model Checker71 topic
  7. Domain-Specific Languages61 topic
  8. Model-Driven Engineering61 topic
  9. Hard Real-Time Systems51 topic
  10. Scheduling Algorithms51 topic
  11. Heuristic Search41 topic
  12. Planning Systems41 topic
  13. Answer Set Programming31 topic
  14. Modal Logic31 topic
  15. Parallel Computing31 topic
  16. Performance Optimization31 topic
  17. Security Policies31 topic
  18. Side-Channel Attacks31 topic

Where does Stephen J. Westfold work?

Stephen J. Westfold's main affiliation in the publication record is Kestrel Institute, United States.

How many publications and citations does Stephen J. Westfold have?

OpenAlex counts 27 works and 324 citations for Stephen J. Westfold, an h-index of 9, ranking #4,039,052 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 Stephen J. Westfold. Posts are plain text and can be reported.