David Western

University of Bristol, University of the West of England

Papers

5

Total Citations

50

H-Index

3

About

No biography available yet.

Research Focus

Computer science5 · 50 citations
Programming language4 · 49 citations
Artificial intelligence4 · 49 citations
Robot4 · 49 citations
Human–computer interaction3 · 37 citations
Code (set theory)3 · 37 citations
Microelectronics2 · 32 citations
Field (mathematics)2 · 32 citations
Formal verification2 · 32 citations
Embedded system2 · 32 citations
Functional verification2 · 32 citations
Process (computing)2 · 32 citations

Key Achievements

3
H-Index
5
Papers
50
Total Citations
10
Avg Citations/Paper
🏆 Most Cited Paper
Coverage-Driven Verification - An approach to verify code for robots that directly interact with humans
20 citations · 2015
📈 Most Prolific Year: 2015 (3 Papers)
🤝 Key Collaborators: 6
🏛 Institutions: University of Bristol, University of the West of England

Top Papers

  1. 1
    Coverage-Driven Verification - An approach to verify code for robots that directly interact with humans
    20 citations · 2015
  2. 2
    14 citations
  3. 3
    Coverage-Driven Verification —
    12 citations · 2015
  4. 4
    Model-Based, Coverage-Driven Verification and Validation of Code for Robots in Human-Robot Interactions.
    3 citations · 2015
  5. 5
    Change management: a systematic review on implementing robotic technology in healthcare
    1 citations · 2025

Key Collaborators

KEKerstin Eder4 shared papersDADejanira Araiza-Illan4 shared papersTPTony Pipe4 shared papersRBRana Barazi1 shared papersSOSeun Oguntoyinbo1 shared papersMLMarianthi Leon1 shared papers
Not generated yet