Richard Stocker

University of Liverpool, Middlesex University

论文数

3

总引用数

34

H-Index

3

关于

暂无简介。

研究焦点

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

主要成就

3
H 指数
3
论文
34
总引用数
11
篇均引用
🏆 最高被引论文
Verifying Brahms Human-Robot Teamwork Models
16 次引用 · 2012
📈 最高产年份: 2012 (1 论文)
🤝 主要合作者: 8
🏛 所属机构: University of Liverpool, Middlesex University

代表论文

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

主要合作者

CDClare Dixon2 篇合著论文LALouise A. Dennis2 篇合著论文MFMichael Fisher2 篇合著论文MSMaarten Sierhuis1 篇合著论文FRFranco Raimondi1 篇合著论文FPFilippo Palumbo1 篇合著论文MBMichele Bottone1 篇合著论文GPGiuseppe Primiero1 篇合著论文
尚未生成