Davide Bresolin

University of Verona, University of Padua, University of Bologna

论文数

10

总引用数

119

H-Index

7

关于

暂无简介。

研究焦点

Computer science10 · 119 次引用
Artificial intelligence8 · 96 次引用
Robot5 · 70 次引用
Formal verification6 · 66 次引用
Engineering4 · 65 次引用
Human–computer interaction3 · 63 次引用
Robotics3 · 63 次引用
Robotic surgery3 · 61 次引用
Mathematics3 · 57 次引用
Theoretical computer science5 · 56 次引用
Medical robotics2 · 47 次引用
Rehabilitation robotics2 · 47 次引用

主要成就

7
H 指数
10
论文
119
总引用数
12
篇均引用
🏆 最高被引论文
Robotic Surgery
33 次引用 · 2011
📈 最高产年份: 2014 (3 论文)
🤝 主要合作者: 11
🏛 所属机构: University of Verona, University of Padua, University of Bologna

代表论文

  1. 1
    Robotic Surgery
    33 次引用 · 2011
  2. 2
    Open Problems in Verification and Refinement of Autonomous Robotic Systems
    16 次引用 · 2012
  3. 3
    Formal Verification of Medical CPS
    15 次引用 · 2018
  4. 4
    Robotic Surgery
    14 次引用 · 2011
  5. 5
    Formal verification of robotic surgery tasks by reachability analysis
    14 次引用 · 2015
  6. 6
    Parametric formal verification: the robotic paint spraying case study
    10 次引用 · 2017
  7. 7
    Formal Verification Applied to Robotic Surgery
    8 次引用 · 2014
  8. 8
    Application of contract-based verification techniques for hybrid automata to surgical robotic systems
    4 次引用 · 2014
  9. 9
    Verification of Robotic Surgery Tasks by Reachability Analysis: A Comparison of Tools
    3 次引用 · 2014
  10. 10
    Fault Diagnosis of Hybrid Systems: an Onboard Camera Model
    2 次引用 · 2012

主要合作者

PFPaolo Fiorini9 篇合著论文RMRiccardo Muradore8 篇合著论文TVTiziano Villa8 篇合著论文LGLuca Geretti8 篇合著论文JRJoerg Raczkowsky1 篇合著论文LDLuigi Di Guglielmo1 篇合著论文LSLuzie Schreiter1 篇合著论文HWHeinz Woern1 篇合著论文LSLeonardo S. Mattos1 篇合著论文AGAndré Geraldes1 篇合著论文MCMarta Capiluppi1 篇合著论文
尚未生成