Science Explorer Back to mapMap
Discussion
Researcher · Kansas State University · United States

William J. Hankley

William J. Hankley 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 Engineering Techniques and Practices.

OpenAlex
World rank
#4,501,755
of 7,710,434 ranked researchers
Rank in United States
#1,197,681
of 1,627,098
Works
24
Citations
97
Citations per work
4.0
h-index
7
i10-index 3Top 64% in Computational Theory and Mathematics
William J. Hankley

What does William J. Hankley research?

William J. Hankley's work is mostly in Computer Science (59%).

Physical Sciences: 14 works · 58.8% of their workComputer Science: 14 works · 58.8% of their workComputational Theory and Mathematics: 4 works · 15.7% of their workArtificial Intelligence: 3 works · 13.7% of their workSoftware: 2 works · 9.8% of their workInformation Systems: 2 works · 7.8% of their workComputer Vision and Pattern Recognition: 1 works · 5.9% of their workHardware and Architecture: 1 works · 5.9% of their workEverything else: 10 works · 41.2% of their workTHEIR WORKWilliam J.Hankley24works
Physical Sciences59%

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 Science1458.8%
  2. Everything else1041.2%
  1. 1Computational Theory and Mathematics16% of their works
  2. 2Artificial Intelligence14% of their works
  3. 3Software10% of their works
  4. 4Information Systems8% of their works
  5. 5Hardware and Architecture6% of their works
  6. 6Computer Vision and Pattern Recognition6% of their works

Research topics

Which keywords describe William J. Hankley's research?

The keywords of their largest research topics: Model Checking, Satisfiability Modulo Theories, Symbolic Model Checker, Requirements Engineering, Formal Verification, Static Analysis, Agile Software Development and Empirical Studies.

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 Checking102 topics
  2. Satisfiability Modulo Theories61 topic
  3. Symbolic Model Checker61 topic
  4. Requirements Engineering52 topics
  5. Formal Verification41 topic
  6. Static Analysis41 topic
  7. Agile Software Development31 topic
  8. Empirical Studies31 topic
  9. Autonomic Computing21 topic
  10. Computational Thinking21 topic
  11. Deadlock Prevention21 topic
  12. Fragmented Objects21 topic
  13. Hard Real-Time Systems21 topic
  14. Petri Nets21 topic
  15. Programming Education21 topic
  16. Reconstruction21 topic
  17. Scheduling Algorithms21 topic
  18. Self-Adaptive Systems21 topic

Where does William J. Hankley work?

William J. Hankley's main affiliation in the publication record is Kansas State University, United States.

How many publications and citations does William J. Hankley have?

OpenAlex counts 24 works and 97 citations for William J. Hankley, an h-index of 7, ranking #4,501,755 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 William J. Hankley. Posts are plain text and can be reported.