Science Explorer Back to mapMap
Discussion
Researcher · University of Sheffield · United Kingdom

L. V. Atkinson

L. V. Atkinson publishes mostly in Artificial Intelligence, Hardware and Architecture and Computational Theory and Mathematics, on topics such as Logic, programming, and type systems, Parallel Computing and Optimization Techniques and Formal Methods in Verification.

OpenAlex
World rank
#5,855,092
of 7,710,434 ranked researchers
Rank in United Kingdom
#331,624
of 367,258
Works
19
Citations
122
Citations per work
6.4
h-index
5
i10-index 3Top 82% in Artificial Intelligence
L. V. Atkinson

What does L. V. Atkinson research?

L. V. Atkinson's work is mostly in Computer Science (75%), Psychology (5%).

Physical Sciences: 14 works · 74.6% of their workComputer Science: 14 works · 74.6% of their workArtificial Intelligence: 7 works · 34.9% of their workHardware and Architecture: 3 works · 16.3% of their workComputational Theory and Mathematics: 3 works · 14.0% of their workComputer Networks and Communications: 1 works · 4.7% of their workInformation Systems: 1 works · 4.7% of their workEverything else: 4 works · 20.7% of their workSocial Sciences: 1 works · 4.7% of their workPsychology: 1 works · 4.7% of their workDevelopmental and Educational Psychology: 1 works · 4.7% of their workTHEIR WORKL. V. Atkinson19works
Physical Sciences75%Social Sciences5%

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 Science1474.6%
  2. Everything else420.7%
    1. Psychology14.7%
  1. 1Artificial Intelligence35% of their works
  2. 2Hardware and Architecture16% of their works
  3. 3Computational Theory and Mathematics14% of their works
  4. 4Information Systems5% of their works
  5. 5Developmental and Educational Psychology5% of their works
  6. 6Computer Networks and Communications5% of their works

Research topics

Which keywords describe L. V. Atkinson's research?

The keywords of their largest research topics: Model Checking, Formal Verification, Parallel Computing, Static Analysis, GPU Computing, Performance Optimization, Satisfiability Modulo Theories and Symbolic Model Checker.

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 Checking122 topics
  2. Formal Verification91 topic
  3. Parallel Computing92 topics
  4. Static Analysis91 topic
  5. GPU Computing71 topic
  6. Performance Optimization71 topic
  7. Satisfiability Modulo Theories31 topic
  8. Symbolic Model Checker31 topic
  9. Compression21 topic
  10. Matrix Computations21 topic
  11. Numerical Linear Algebra21 topic
  12. Suffix Arrays21 topic
  13. Cryptography11 topic
  14. Error-Correcting Codes11 topic
  15. Neural Networks11 topic
  16. Python11 topic
  17. Scientific Computing11 topic
  18. Word Representation11 topic

Where does L. V. Atkinson work?

L. V. Atkinson's main affiliation in the publication record is University of Sheffield, United Kingdom.

How many publications and citations does L. V. Atkinson have?

OpenAlex counts 19 works and 122 citations for L. V. Atkinson, an h-index of 5, ranking #5,855,092 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 L. V. Atkinson. Posts are plain text and can be reported.