David Western

University of Bristol, University of the West of England

论文数

5

总引用数

50

H-Index

3

关于

暂无简介。

研究焦点

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

主要成就

3
H 指数
5
论文
50
总引用数
10
篇均引用
🏆 最高被引论文
Coverage-Driven Verification - An approach to verify code for robots that directly interact with humans
20 次引用 · 2015
📈 最高产年份: 2015 (3 论文)
🤝 主要合作者: 6
🏛 所属机构: University of Bristol, University of the West of England

代表论文

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

主要合作者

KEKerstin Eder4 篇合著论文DADejanira Araiza-Illan4 篇合著论文TPTony Pipe4 篇合著论文RBRana Barazi1 篇合著论文SOSeun Oguntoyinbo1 篇合著论文MLMarianthi Leon1 篇合著论文

联系与链接

可合作
内容已生成 · 13 天前