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

Derek Andrews

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.

OpenAlex
World rank
#5,909,467
of 7,710,434 ranked researchers
Rank in United Kingdom
#333,147
of 367,258
Works
45
Citations
228
Citations per work
5.1
h-index
7
i10-index 6Top 65% in Artificial Intelligence
Derek Andrews

What does Derek Andrews research?

Derek Andrews's work is mostly in Computer Science (74%).

Physical Sciences: 33 works · 74.3% of their workComputer Science: 33 works · 74.3% of their workArtificial Intelligence: 12 works · 27.5% of their workSoftware: 6 works · 13.8% of their workComputational Theory and Mathematics: 5 works · 11.9% of their workHardware and Architecture: 4 works · 9.2% of their workInformation Systems: 3 works · 6.4% of their workComputer Networks and Communications: 2 works · 5.5% of their workEverything else: 12 works · 25.7% of their workTHEIR WORKDerek Andrews45works
Physical Sciences74%

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 Science3374.3%
  2. Everything else1225.7%
  1. 1Artificial Intelligence28% of their works
  2. 2Software14% of their works
  3. 3Computational Theory and Mathematics12% of their works
  4. 4Hardware and Architecture9% of their works
  5. 5Information Systems6% of their works
  6. 6Computer Networks and Communications6% of their works

Research topics

Which keywords describe Derek Andrews's research?

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.

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 17 words, with their numbers
  1. Model Checking212 topics
  2. Formal Verification111 topic
  3. Static Analysis111 topic
  4. Satisfiability Modulo Theories101 topic
  5. Symbolic Model Checker101 topic
  6. Domain-Specific Languages71 topic
  7. Model-Driven Engineering71 topic
  8. Architecture-Based Approach61 topic
  9. Software Reliability Modeling61 topic
  10. Ontology51 topic
  11. Parallel Computing51 topic
  12. Performance Optimization51 topic
  13. Semantic Web51 topic
  14. High-Level Synthesis41 topic
  15. Reconfigurable Computing41 topic
  16. Neural Networks31 topic
  17. Self-Organizing Maps31 topic

Where does Derek Andrews work?

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

How many publications and citations does Derek Andrews have?

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.

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 Derek Andrews. Posts are plain text and can be reported.