Boris Konev

University of Liverpool, Merseytravel

论文数

4

总引用数

83

H-Index

4

关于

暂无简介。

研究焦点

Computer science4 · 83 次引用
Artificial intelligence3 · 77 次引用
Robot3 · 77 次引用
Programming language2 · 68 次引用
Temporal logic2 · 68 次引用
Theoretical computer science2 · 68 次引用
Gas meter prover1 · 62 次引用
Robotics1 · 62 次引用
Resolution (logic)1 · 62 次引用
Mathematics1 · 62 次引用
Automated theorem proving1 · 62 次引用
Software engineering1 · 62 次引用

主要成就

4
H 指数
4
论文
83
总引用数
21
篇均引用
🏆 最高被引论文
TRP++ 2.0: A Temporal Resolution Prover
62 次引用 · 2003
📈 最高产年份: 2003 (1 论文)
🤝 主要合作者: 5
🏛 所属机构: University of Liverpool, Merseytravel

代表论文

  1. 1
    TRP++ 2.0: A Temporal Resolution Prover
    62 次引用 · 2003
  2. 2
    Multi-agent Environment Exploration with AR.Drones
    10 次引用 · 2014
  3. 3
    Temporal Verification of Fault-Tolerant Protocols
    6 次引用 · 2009
  4. 4
    Scalable distributed collaborative tracking and mapping with Micro Aerial Vehicles
    5 次引用 · 2015

主要合作者

RWR.A. Williams2 篇合著论文FCFrans Coenen2 篇合著论文ALAlexei Lisitsa1 篇合著论文MFMichael Fisher1 篇合著论文UHUllrich Hustadt1 篇合著论文

联系与链接

可合作
内容已生成 · 13 天前