Davide Bresolin

University of Verona, University of Padua, University of Bologna

论文数

9

总引用数

105

H-Index

6

关于

暂无简介。

研究焦点

Computer science9 · 105 次引用
Artificial intelligence7 · 82 次引用
Formal verification6 · 66 次引用
Robot4 · 56 次引用
Theoretical computer science5 · 56 次引用
Engineering3 · 51 次引用
Human–computer interaction2 · 49 次引用
Robotics2 · 49 次引用
Robotic surgery2 · 47 次引用
Model checking5 · 44 次引用
Mathematics2 · 43 次引用
Formal methods3 · 41 次引用

主要成就

6
H 指数
9
论文
105
总引用数
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
    Formal verification of robotic surgery tasks by reachability analysis
    14 次引用 · 2015
  5. 5
    Parametric formal verification: the robotic paint spraying case study
    10 次引用 · 2017
  6. 6
    Formal Verification Applied to Robotic Surgery
    8 次引用 · 2014
  7. 7
    Application of contract-based verification techniques for hybrid automata to surgical robotic systems
    4 次引用 · 2014
  8. 8
    Verification of Robotic Surgery Tasks by Reachability Analysis: A Comparison of Tools
    3 次引用 · 2014
  9. 9
    Fault Diagnosis of Hybrid Systems: an Onboard Camera Model
    2 次引用 · 2012

主要合作者

PFPaolo Fiorini8 篇合著论文RMRiccardo Muradore7 篇合著论文TVTiziano Villa7 篇合著论文LGLuca Geretti7 篇合著论文JRJoerg Raczkowsky1 篇合著论文LDLuigi Di Guglielmo1 篇合著论文LSLuzie Schreiter1 篇合著论文HWHeinz Woern1 篇合著论文LSLeonardo S. Mattos1 篇合著论文AGAndré Geraldes1 篇合著论文MCMarta Capiluppi1 篇合著论文

联系与链接

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