David F. Cooper
David F. Cooper publishes mostly in Artificial Intelligence, Software and Education, on topics such as Formal Methods in Verification, Model-Driven Software Engineering Techniques and Logic, programming, and type systems.
- World rank
- #3,410,015 of 7,710,434 ranked researchers
- Rank in United Kingdom
- #226,464 of 367,258
- Works
- 51
- Citations
- 3.8k
- Citations per work
- 75.4
What does David F. Cooper research?
David F. Cooper's work is mostly in Computer Science (32%), Social Sciences (7%), Arts and Humanities (6%).
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
- Everything else2854.4%
- Physical Sciences1631.9%
- Computer Science1631.9%
- Social Sciences713.7%
- Social Sciences47.3%
- Arts and Humanities36.4%
- 1Artificial Intelligence10% of their works
- 2Software10% of their works
- 3Education7% of their works
- 4Signal Processing6% of their works
- 5Music6% of their works
- 6Computational Theory and Mathematics6% of their works
Research topics
Which keywords describe David F. Cooper's research?
The keywords of their largest research topics: Machine Learning, Model Checking, Deep Learning, Domain-Specific Languages, Model-Driven Engineering, Satisfiability Modulo Theories, Symbolic Model Checker and Formal Verification.
- Security Policies
- Music Information Retrieval
- Code Clone Detection
- Android Malware
- Music Generation
- Formal Verification
- Satisfiability Modulo Theories
- Domain-Specific Languages
- Model Checking
- Machine Learning
- Deep Learning
- Model-Driven Engineering
- Symbolic Model Checker
- Interactive Evolutionary Computation
- Static Analysis
- Audio Signal Classification
- Detection
- Refactoring
- Side-Channel Attacks
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. The words come from the keyword list OpenAlex gives each topic, not from the text of the papers, so a word can appear that none of the papers uses.
All 19 words, with their numbers
- Machine Learning103 topics
- Model Checking92 topics
- Deep Learning62 topics
- Domain-Specific Languages51 topic
- Model-Driven Engineering51 topic
- Satisfiability Modulo Theories51 topic
- Symbolic Model Checker51 topic
- Formal Verification41 topic
- Interactive Evolutionary Computation41 topic
- Music Generation41 topic
- Static Analysis41 topic
- Android Malware31 topic
- Audio Signal Classification31 topic
- Code Clone Detection31 topic
- Detection31 topic
- Music Information Retrieval31 topic
- Refactoring31 topic
- Security Policies31 topic
- Side-Channel Attacks31 topic
Where does David F. Cooper work?
David F. Cooper's main affiliation in the publication record is Plastic Logic (United Kingdom), United Kingdom.
How many publications and citations does David F. Cooper have?
OpenAlex counts 51 works and 3,843 citations for David F. Cooper, an h-index of 14, ranking #3,410,015 of 7,710,434 researchers worldwide on the quality score.
Ranked on field-normalised citation 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 David F. Cooper. Keep it to the research: no personal attacks, advertising or links. Any reader can report a post, which collapses it for everyone until it is opened.