Boris Konev

University of Liverpool, Merseytravel

Papers

4

Total Citations

83

H-Index

4

About

No biography available yet.

Research Focus

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

Key Achievements

4
H-Index
4
Papers
83
Total Citations
21
Avg Citations/Paper
🏆 Most Cited Paper
TRP++ 2.0: A Temporal Resolution Prover
62 citations · 2003
📈 Most Prolific Year: 2003 (1 Papers)
🤝 Key Collaborators: 5
🏛 Institutions: University of Liverpool, Merseytravel

Top Papers

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

Key Collaborators

RWR.A. Williams2 shared papersFCFrans Coenen2 shared papersALAlexei Lisitsa1 shared papersMFMichael Fisher1 shared papersUHUllrich Hustadt1 shared papers
Not generated yet