David Walker
David Walker publishes mostly in Sociology and Political Science, Artificial Intelligence and Computational Theory and Mathematics, on topics such as Logic, programming, and type systems, Logic, Reasoning, and Knowledge and Religion, Society, and Development.
- World rank
- #393,059 of 1,633,909 ranked researchers
- Rank in United Kingdom
- #34,042 of 90,785
- Works
- 30
- Citations
- 127
- Citations per work
- 4.2
What does David Walker research?
Shares of their own output, by the field each of their topics belongs to. The grey slice is everything not listed.
- 1Sociology and Political Science16% of their works
- 2Artificial Intelligence16% of their works
- 3Computational Theory and Mathematics9% of their works
- 4Electrical and Electronic Engineering7% of their works
- 5Materials Chemistry7% of their works
- 6Health4% of their works
Research topics
Which keywords describe David Walker's research?
The keywords of their largest research topics: Model Checking, Religion, Temporal Logic, Automata, Formal Verification, Static Analysis, Answer Set Programming and Faith-Based Organizations.
- Symbolic Model Checker
- Satisfiability Modulo Theories
- Quantum Dots
- Formal Languages
- Social Services
- Public Sphere
- Faith-Based Organizations
- Static Analysis
- Automata
- Religion
- Model Checking
- Temporal Logic
- Formal Verification
- Answer Set Programming
- Modal Logic
- Secularism
- Ferroelectric Materials
- Lead-free Piezoceramics
- Regular Expressions
- Semiconductor
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 20 words, with their numbers
- Model Checking93 topics
- Religion62 topics
- Temporal Logic52 topics
- Automata42 topics
- Formal Verification41 topic
- Static Analysis41 topic
- Answer Set Programming31 topic
- Faith-Based Organizations31 topic
- Modal Logic31 topic
- Public Sphere31 topic
- Secularism31 topic
- Social Services31 topic
- Ferroelectric Materials21 topic
- Formal Languages21 topic
- Lead-free Piezoceramics21 topic
- Quantum Dots21 topic
- Regular Expressions21 topic
- Satisfiability Modulo Theories21 topic
- Semiconductor21 topic
- Symbolic Model Checker21 topic
Where does David Walker work?
David Walker's main affiliation in the publication record is University of Warwick, United Kingdom.
How many publications and citations does David Walker have?
Science Explorer counts 30 works and 127 citations for David Walker, ranking #393,059 of 1,633,909 researchers worldwide on the composite 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.
Other researchers named David Walker
- david-walker-princeton-university
- david-walker-lamont-doherty-earth-observatory
- david-walker-cardiff-university
- david-walker-university-college-london
- david-walker-university-college-london-united-kingdom
- david-walker-freeman-hospital
- david-walker-university-of-dundee
- david-walker-university-of-cambridge
- david-walker-university-of-nottingham
- david-walker-baxter-united-states
- david-walker-mayo-clinic
Papers, co-authors, who cited this work and researchers on the nearest topics are in the interactive view on the map. Is this your page? Request a correction or removal.