Question 1

What does Derek Andrews research?

Accepted Answer

Derek Andrews publishes mostly in Artificial Intelligence, Software and Computational Theory and Mathematics, on topics such as Logic, programming, and type systems, Formal Methods in Verification and Model-Driven Software Engineering Techniques.

Question 2

Which keywords describe Derek Andrews's research?

Accepted Answer

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

Question 3

Where does Derek Andrews work?

Accepted Answer

Derek Andrews's main affiliation in the publication record is University of Leicester, United Kingdom.

Question 4

How many publications and citations does Derek Andrews have?

Accepted Answer

OpenAlex counts 45 works and 228 citations for Derek Andrews, an h-index of 7, ranking #5,909,467 of 7,710,434 researchers worldwide on the quality score.

Question 5

Is Derek Andrews's h-index high?

Accepted Answer

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