Paul Gainer

University of Liverpool

论文数

3

总引用数

28

H-Index

3

关于

暂无简介。

研究焦点

Robot3 · 28 次引用
Artificial intelligence3 · 28 次引用
Computer science3 · 28 次引用
Model checking2 · 21 次引用
Software engineering2 · 21 次引用
Human–computer interaction2 · 17 次引用
Software2 · 17 次引用
Ant colony1 · 11 次引用
Software deployment1 · 11 次引用
Probabilistic logic1 · 11 次引用
Complement (music)1 · 11 次引用
Ant colony optimization algorithms1 · 11 次引用

主要成就

3
H 指数
3
论文
28
总引用数
9
篇均引用
🏆 最高被引论文
Probabilistic Model Checking of Ant-Based Positionless Swarming
11 次引用 · 2016
📈 最高产年份: 2016 (1 论文)
🤝 主要合作者: 8
🏛 所属机构: University of Liverpool

代表论文

  1. 1
    Probabilistic Model Checking of Ant-Based Positionless Swarming
    11 次引用 · 2016
  2. 2
    CRutoN: Automatic Verification of a Robotic Assistant’s Behaviours
    10 次引用 · 2017
  3. 3
    Use and usability of software verification methods to detect behaviour interference when teaching an assistive home companion robot: A proof-of-concept study
    7 次引用 · 2021

主要合作者

CDClare Dixon3 篇合著论文MWMatt Webster2 篇合著论文KDKerstin Dautenhahn2 篇合著论文UHUllrich Hustadt2 篇合著论文MFMichael Fisher2 篇合著论文DSDag Sverre Syrdal1 篇合著论文JSJoe Saunders1 篇合著论文KLKheng Lee Koay1 篇合著论文
尚未生成