Science Explorer Back to mapMap
Discussion
Researcher · Bangor University · United Kingdom

Anne Heyworth

Anne Heyworth publishes mostly in Computational Theory and Mathematics, Artificial Intelligence and Geometry and Topology, on topics such as semigroups and automata theory, Logic, programming, and type systems and Formal Methods in Verification.

OpenAlex
World rank
#5,816,171
of 7,710,434 ranked researchers
Rank in United Kingdom
#330,483
of 367,258
Works
23
Citations
73
Citations per work
3.2
h-index
5
i10-index 4Top 81% in Computational Theory and Mathematics
Anne Heyworth

What does Anne Heyworth research?

Anne Heyworth's work is mostly in Computer Science (75%), Mathematics (17%), Biochemistry, Genetics and Molecular Biology (1%).

Physical Sciences: 21 works · 92.7% of their workComputer Science: 17 works · 75.3% of their workComputational Theory and Mathematics: 11 works · 46.4% of their workArtificial Intelligence: 6 works · 24.6% of their workSoftware: 1 works · 4.3% of their workMathematics: 4 works · 17.4% of their workGeometry and Topology: 3 works · 11.6% of their workMathematical Physics: 1 works · 5.8% of their workEverything else: 1 works · 5.9% of their workLife Sciences: 0 works · 1.4% of their workBiochemistry, Genetics and Molecular Biology: 0 works · 1.4% of their workMolecular Biology: 0 works · 1.4% of their workTHEIR WORKAnne Heyworth23works
Life Sciences1%Physical Sciences93%

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 Science1775.3%
    2. Mathematics417.4%
  2. Everything else15.9%
    1. Biochemistry, Genetics and Molecular Biology01.4%
  1. 1Computational Theory and Mathematics46% of their works
  2. 2Artificial Intelligence25% of their works
  3. 3Geometry and Topology12% of their works
  4. 4Mathematical Physics6% of their works
  5. 5Software4% of their works
  6. 6Molecular Biology1% of their works

Research topics

Which keywords describe Anne Heyworth's research?

The keywords of their largest research topics: Automata, Model Checking, Formal Languages, Regular Expressions, Formal Verification, Static Analysis, Temporal Logic and Satisfiability Modulo Theories.

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 19 words, with their numbers
  1. Automata222 topics
  2. Model Checking203 topics
  3. Formal Languages151 topic
  4. Regular Expressions151 topic
  5. Formal Verification101 topic
  6. Static Analysis101 topic
  7. Temporal Logic102 topics
  8. Satisfiability Modulo Theories71 topic
  9. Symbolic Model Checker71 topic
  10. Knot Invariants61 topic
  11. Symplectic Topology61 topic
  12. Answer Set Programming31 topic
  13. Deformation Quantization31 topic
  14. Gröbner Bases31 topic
  15. Modal Logic31 topic
  16. Neural Machine Translation31 topic
  17. Poisson Manifolds31 topic
  18. Statistical Machine Translation31 topic
  19. Symbolic Computing31 topic

Where does Anne Heyworth work?

Anne Heyworth's main affiliation in the publication record is Bangor University, United Kingdom.

How many publications and citations does Anne Heyworth have?

OpenAlex counts 23 works and 73 citations for Anne Heyworth, an h-index of 5, ranking #5,816,171 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 Anne Heyworth. Posts are plain text and can be reported.