Richard Stocker

University of Liverpool, Middlesex University

Papers

3

Total Citations

34

H-Index

3

About

No biography available yet.

Research Focus

Robot3 · 34 citations
Human–computer interaction3 · 34 citations
Artificial intelligence3 · 34 citations
Computer science3 · 34 citations
Teamwork2 · 25 citations
Economics1 · 16 citations
Management1 · 16 citations
Formal specification1 · 9 citations
Exploit1 · 9 citations
Formal semantics (linguistics)1 · 9 citations
Formal methods1 · 9 citations
Distributed computing1 · 9 citations

Key Achievements

3
H-Index
3
Papers
34
Total Citations
11
Avg Citations/Paper
🏆 Most Cited Paper
Verifying Brahms Human-Robot Teamwork Models
16 citations · 2012
📈 Most Prolific Year: 2012 (1 Papers)
🤝 Key Collaborators: 8
🏛 Institutions: University of Liverpool, Middlesex University

Top Papers

  1. 1
    Verifying Brahms Human-Robot Teamwork Models
    16 citations · 2012
  2. 2
    A Formal Semantics for Brahms
    9 citations · 2011
  3. 3
    Implementing Virtual Pheromones in BDI Robots Using MQTT and Jason (Short Paper)
    9 citations · 2016

Key Collaborators

CDClare Dixon2 shared papersLALouise A. Dennis2 shared papersMFMichael Fisher2 shared papersMSMaarten Sierhuis1 shared papersFRFranco Raimondi1 shared papersFPFilippo Palumbo1 shared papersMBMichele Bottone1 shared papersGPGiuseppe Primiero1 shared papers
Not generated yet