论文数
20
总引用数
471
H-Index
8
关于
暂无简介。
研究焦点
Computer science20 · 471 次引用
Programming language15 · 401 次引用
Formal verification10 · 386 次引用
Software engineering12 · 381 次引用
Formal methods10 · 377 次引用
Artificial intelligence9 · 355 次引用
Robot8 · 353 次引用
Robotics6 · 335 次引用
Rotation formalisms in three dimensions3 · 282 次引用
Correctness2 · 278 次引用
Certification1 · 264 次引用
Formal specification1 · 264 次引用
主要成就
8
H 指数
20
论文
471
总引用数
24
篇均引用
🏆 最高被引论文
Formal Specification and Verification of Autonomous Robotic Systems
264 次引用 · 2019
📈 最高产年份: 2021 (6 论文)
🤝 主要合作者: 45
🏛 所属机构: University of Liverpool, National University of Ireland, Maynooth, University of Manchester
代表论文
- 1
- 2
- 3
- 4
- 5
- 6
- 7
- 8
- 9
- 10
主要合作者
MFMichael Fisher11 篇合著论文MLMatt Luckcuck10 篇合著论文LALouise A. Dennis10 篇合著论文CDClare Dixon9 篇合著论文RCRafael C. Cardoso8 篇合著论文AFAngelo Ferrando4 篇合著论文GKGeorgios Kourtis4 篇合著论文MWMatt Webster4 篇合著论文ALAlexei Lisitsa3 篇合著论文AMAnastasia Mavridou3 篇合著论文MBMatthew Bradbury2 篇合著论文FPFabio Papacchini2 篇合著论文YGYang Gao2 篇合著论文CMCarsten Maple2 篇合著论文NMNikos Mavrakis2 篇合著论文HYHu Yuan2 篇合著论文TPTom Pressburger1 篇合著论文SESalih Ergün1 篇合著论文SLShan Luo1 篇合著论文ATAl Tariq Sheik1 篇合著论文
尚未生成