Tiziano Villa
Papers
10
Total Citations
120
H-Index
7
About
No biography available yet.
Research Focus
Computer science10 · 120 citations
Artificial intelligence7 · 93 citations
Robot5 · 69 citations
Formal verification6 · 66 citations
Human–computer interaction4 · 66 citations
Engineering3 · 63 citations
Robotics3 · 63 citations
Robotic surgery3 · 61 citations
Mathematics3 · 57 citations
Theoretical computer science5 · 56 citations
Medical robotics2 · 47 citations
Field (mathematics)2 · 47 citations
Key Achievements
7
H-Index
10
Papers
120
Total Citations
12
Avg Citations/Paper
🏆 Most Cited Paper
Robotic Surgery
33 citations · 2011
📈 Most Prolific Year: 2011 (2 Papers)
🤝 Key Collaborators: 39
🏛 Institutions: University of Verona
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
- 10Process-driven Collision Prediction in Human-Robot Work Environments3 citations · 2022
Key Collaborators
LGLuca Geretti10 shared papersPFPaolo Fiorini8 shared papersDBDavide Bresolin8 shared papersRMRiccardo Muradore8 shared papersNBNicola Bombieri2 shared papersDQDavide Quaglia2 shared papersEMEnrico Martini2 shared papersMBMichele Boldo2 shared papersSCStefano Centomo2 shared papersISI. Siviero1 shared papersGMGloria Menegaz1 shared papersFPFederica Paci1 shared papersSFSilvia Francesca Storti1 shared papersFFFranco Fummi1 shared papersECEttore Cinquetti1 shared papersGPGraziano Pravadelli1 shared papersFCFederico Cunico1 shared papersLCLuigi Capogrosso1 shared papersFGFederico Girella1 shared papersNZNicola Zannone1 shared papers
Not generated yet