Davide Bresolin
University of Verona, University of Padua, University of Bologna
Papers
10
Total Citations
119
H-Index
7
About
No biography available yet.
Research Focus
Computer science10 · 119 citations
Artificial intelligence8 · 96 citations
Robot5 · 70 citations
Formal verification6 · 66 citations
Engineering4 · 65 citations
Human–computer interaction3 · 63 citations
Robotics3 · 63 citations
Robotic surgery3 · 61 citations
Mathematics3 · 57 citations
Theoretical computer science5 · 56 citations
Medical robotics2 · 47 citations
Rehabilitation robotics2 · 47 citations
Key Achievements
7
H-Index
10
Papers
119
Total Citations
12
Avg Citations/Paper
🏆 Most Cited Paper
Robotic Surgery
33 citations · 2011
📈 Most Prolific Year: 2014 (3 Papers)
🤝 Key Collaborators: 11
🏛 Institutions: University of Verona, University of Padua, University of Bologna
Top Papers
- 1Robotic Surgery33 citations · 2011
- 2Open Problems in Verification and Refinement of Autonomous Robotic Systems16 citations · 2012
- 3Formal Verification of Medical CPS15 citations · 2018
- 4Robotic Surgery14 citations · 2011
- 5Formal verification of robotic surgery tasks by reachability analysis14 citations · 2015
- 6Parametric formal verification: the robotic paint spraying case study10 citations · 2017
- 7Formal Verification Applied to Robotic Surgery8 citations · 2014
- 8
- 9
- 10Fault Diagnosis of Hybrid Systems: an Onboard Camera Model2 citations · 2012
Key Collaborators
PFPaolo Fiorini9 shared papersRMRiccardo Muradore8 shared papersTVTiziano Villa8 shared papersLGLuca Geretti8 shared papersJRJoerg Raczkowsky1 shared papersLDLuigi Di Guglielmo1 shared papersLSLuzie Schreiter1 shared papersHWHeinz Woern1 shared papersLSLeonardo S. Mattos1 shared papersAGAndré Geraldes1 shared papersMCMarta Capiluppi1 shared papers
Not generated yet