Question 1

What does L. V. Atkinson research?

Accepted Answer

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.

Question 2

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

Accepted Answer

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.

Question 3

Where does L. V. Atkinson work?

Accepted Answer

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

Question 4

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

Accepted Answer

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.

Question 5

Is L. V. Atkinson's h-index high?

Accepted Answer

An h-index of 5 is at or above that of 26% of the 146,054 ranked researchers whose main subfield is Artificial Intelligence, which is in the top 82%.