Paul Gainer

University of Liverpool

Papers

3

Total Citations

28

H-Index

3

About

No biography available yet.

Research Focus

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

Key Achievements

3
H-Index
3
Papers
28
Total Citations
9
Avg Citations/Paper
🏆 Most Cited Paper
Probabilistic Model Checking of Ant-Based Positionless Swarming
11 citations · 2016
📈 Most Prolific Year: 2016 (1 Papers)
🤝 Key Collaborators: 8
🏛 Institutions: University of Liverpool

Top Papers

  1. 1
    Probabilistic Model Checking of Ant-Based Positionless Swarming
    11 citations · 2016
  2. 2
    CRutoN: Automatic Verification of a Robotic Assistant’s Behaviours
    10 citations · 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 citations · 2021

Key Collaborators

CDClare Dixon3 shared papersMWMatt Webster2 shared papersKDKerstin Dautenhahn2 shared papersUHUllrich Hustadt2 shared papersMFMichael Fisher2 shared papersDSDag Sverre Syrdal1 shared papersJSJoe Saunders1 shared papersKLKheng Lee Koay1 shared papers
Not generated yet