论文数
16
总引用数
161
H-Index
8
关于
暂无简介。
研究焦点
Computer science16 · 161 次引用
Artificial intelligence16 · 161 次引用
Robot14 · 154 次引用
Human–computer interaction10 · 99 次引用
Programming language10 · 85 次引用
Process (computing)4 · 47 次引用
Code (set theory)6 · 47 次引用
Correctness4 · 41 次引用
Task (project management)5 · 41 次引用
Software engineering5 · 41 次引用
Systems engineering4 · 37 次引用
Mathematics2 · 36 次引用
主要成就
8
H 指数
16
论文
161
总引用数
10
篇均引用
🏆 最高被引论文
Symmetry Reduction Enables Model Checking of More Complex Emergent Behaviours of Swarm Navigation Algorithms
31 次引用 · 2015
📈 最高产年份: 2015 (4 论文)
🤝 主要合作者: 19
🏛 所属机构: University of Bristol, Agency for Science, Technology and Research, Tecnológico de Monterrey, University of Sheffield, Johnson & Johnson (Singapore)
代表论文
- 1
- 2
- 3
- 4
- 5
- 6
- 7Coverage-Driven Verification —12 次引用 · 2015
- 8
- 9Safe and Trustworthy Human-Robot Interaction5 次引用 · 2018
- 10
主要合作者
KEKerstin Eder12 篇合著论文TPTony Pipe7 篇合著论文DWDavid Western4 篇合著论文ARArthur Richards2 篇合著论文JLJonathan Lawry2 篇合著论文JMJeremy Morse1 篇合著论文PPPedro Ponce1 篇合著论文MFMichael Fisher1 篇合著论文JMJeremy Morse1 篇合著论文FHFang Hongchao1 篇合著论文TJTony J. Dodd1 篇合著论文LSLeong Shin1 篇合著论文SSSatragni Sarkar1 篇合著论文JIJoanna Isabelle Olszewska1 篇合著论文SCSérgio Campos1 篇合著论文LRLaura R. Antuña1 篇合著论文ADAlberto de San Bernabé1 篇合著论文KLKevin Leahy1 篇合著论文SRSigne Redfield1 篇合著论文
尚未生成