Simon Miles
论文数
3
总引用数
21
H-Index
2
关于
暂无简介。
研究焦点
Computer science3 · 21 次引用
Artificial intelligence2 · 16 次引用
Theoretical computer science2 · 16 次引用
Correctness2 · 16 次引用
Focus (optics)2 · 16 次引用
Formal verification2 · 16 次引用
TRACE (psycholinguistics)2 · 16 次引用
Swarm robotics2 · 16 次引用
Machine learning2 · 16 次引用
Multi-agent system1 · 14 次引用
Model checking1 · 14 次引用
Programming language1 · 14 次引用
主要成就
2
H 指数
3
论文
21
总引用数
7
篇均引用
🏆 最高被引论文
Quantitative Analysis of Multiagent Systems Through Statistical Model Checking
14 次引用 · 2015
📈 最高产年份: 2018 (2 论文)
🤝 主要合作者: 3
🏛 所属机构: King's College London
代表论文
- 1
- 2
- 3
主要合作者
尚未生成